lib/templates/ACM-sigplan.lyx

   1 #LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
   2 \lyxformat 341
   3 \begin_document
   4 \begin_header
   5 \textclass sigplanconf
   6 \options natbib
   7 \language english
   8 \inputencoding default
   9 \font_roman default
  10 \font_sans default
  11 \font_typewriter default
  12 \font_default_family default
  13 \font_sc false
  14 \font_osf false
  15 \font_sf_scale 100
  16 \font_tt_scale 100
  17
  18 \graphics default
  19 \float_placement tbh
  20 \paperfontsize default
  21 \spacing single
  22 \use_hyperref false
  23 \papersize default
  24 \use_geometry false
  25 \use_amsmath 1
  26 \use_esint 0
  27 \cite_engine basic
  28 \use_bibtopic false
  29 \paperorientation portrait
  30 \secnumdepth 3
  31 \tocdepth 3
  32 \paragraph_separation indent
  33 \defskip medskip
  34 \quotes_language english
  35 \papercolumns 2
  36 \papersides 1
  37 \paperpagestyle default
  38 \tracking_changes false
  39 \output_changes false
  40 \author ""
  41 \author ""
  42 \end_header
  43
  44 \begin_body
  45
  46 \begin_layout Conference
  47 PLDI ’05
  48 \begin_inset ERT
  49 status collapsed
  50
  51 \begin_layout Plain Layout
  52
  53 }{
  54 \end_layout
  55
  56 \end_inset
  57
  58 June 12--15, 2005, Chicago, Illinois, USA.
  59 \begin_inset Note Note
  60 status open
  61
  62 \begin_layout Plain Layout
  63 The Conference expects 2 infos that are separated by
  64 \begin_inset Quotes eld
  65 \end_inset
  66
  67
  68 \series bold
  69 }{
  70 \series default
  71
  72 \begin_inset Quotes erd
  73 \end_inset
  74
  75  in TeX code.
  76 \end_layout
  77
  78 \end_inset
  79
  80
  81 \end_layout
  82
  83 \begin_layout CopyrightYear
  84 2005
  85 \end_layout
  86
  87 \begin_layout Copyrightdata
  88 1-59593-057-4/05/0004
  89 \end_layout
  90
  91 \begin_layout Title
  92 Example ACM Paper
  93 \begin_inset ERT
  94 status collapsed
  95
  96 \begin_layout Plain Layout
  97
  98
  99 \backslash
 100 thanks{
 101 \end_layout
 102
 103 \end_inset
 104
 105 This work was supported by ...
 106 \begin_inset ERT
 107 status collapsed
 108
 109 \begin_layout Plain Layout
 110
 111 }
 112 \end_layout
 113
 114 \end_inset
 115
 116
 117 \end_layout
 118
 119 \begin_layout Subtitle
 120 Subtitle
 121 \end_layout
 122
 123 \begin_layout Author
 124 Suzi Smith
 125 \begin_inset ERT
 126 status collapsed
 127
 128 \begin_layout Plain Layout
 129
 130
 131 \backslash
 132 and
 133 \end_layout
 134
 135 \end_inset
 136
 137  Paul C.
 138  Anagnostopoulos
 139 \begin_inset ERT
 140 status collapsed
 141
 142 \begin_layout Plain Layout
 143
 144 }{
 145 \end_layout
 146
 147 \end_inset
 148
 149 Princeton University
 150 \begin_inset ERT
 151 status collapsed
 152
 153 \begin_layout Plain Layout
 154
 155 }{
 156 \end_layout
 157
 158 \end_inset
 159
 160 smith@cs.princeton.edu
 161 \begin_inset Newline newline
 162 \end_inset
 163
 164 anagnostopoulos@cs.princeton.edu
 165 \begin_inset Note Note
 166 status open
 167
 168 \begin_layout Plain Layout
 169 At least one autor is required.
 170  The Author field expects 3 infos that are separated by
 171 \begin_inset Quotes eld
 172 \end_inset
 173
 174
 175 \series bold
 176 }{
 177 \series default
 178
 179 \begin_inset Quotes erd
 180 \end_inset
 181
 182  in TeX code.
 183 \end_layout
 184
 185 \end_inset
 186
 187
 188 \end_layout
 189
 190 \begin_layout Author
 191 Fred Flymuffin
 192 \begin_inset ERT
 193 status collapsed
 194
 195 \begin_layout Plain Layout
 196
 197 }{
 198 \end_layout
 199
 200 \end_inset
 201
 202 Washington University in St.
 203  Louis
 204 \begin_inset Newline newline
 205 \end_inset
 206
 207 Department of Electrical and Computer Engineering
 208 \begin_inset Newline newline
 209 \end_inset
 210
 211 3301 S Dearborn Street
 212 \begin_inset Newline newline
 213 \end_inset
 214
 215 St.
 216  Louis, XX 60616, USA
 217 \begin_inset ERT
 218 status collapsed
 219
 220 \begin_layout Plain Layout
 221
 222 }{
 223 \end_layout
 224
 225 \end_inset
 226
 227 flymuffin@cs.wustl.edu
 228 \end_layout
 229
 230 \begin_layout Abstract
 231 This paper is a demonstration of the Lyx template for the ACM alternate
 232  latex style file.
 233  It works quite well and makes writing an ACM paper so much easier.
 234 \end_layout
 235
 236 \begin_layout Standard
 237 \begin_inset ERT
 238 status open
 239
 240 \begin_layout Plain Layout
 241
 242
 243 \backslash
 244 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
 245 \end_layout
 246
 247 \begin_layout Plain Layout
 248
 249
 250 \backslash
 251 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
 252 ed into hardware]
 253 \end_layout
 254
 255 \end_inset
 256
 257
 258 \begin_inset Note Note
 259 status open
 260
 261 \begin_layout Plain Layout
 262
 263 \series bold
 264
 265 \backslash
 266 category
 267 \series default
 268  has 3 mandatory + 1 optional arguments
 269 \end_layout
 270
 271 \end_inset
 272
 273
 274 \end_layout
 275
 276 \begin_layout Terms
 277 Algorithms, Performance, Design
 278 \end_layout
 279
 280 \begin_layout Keywords
 281 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
 282  Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
 283 \end_layout
 284
 285 \begin_layout Section
 286 Introduction
 287 \end_layout
 288
 289 \begin_layout Standard
 290 Bla bla, as listed in
 291 \begin_inset CommandInset citation
 292 LatexCommand cite
 293 key "Parkin2005,LComp2004"
 294
 295 \end_inset
 296
 297 .
 298 \end_layout
 299
 300 \begin_layout Subsection
 301 Subsection
 302 \end_layout
 303
 304 \begin_layout Enumerate
 305 test
 306 \end_layout
 307
 308 \begin_layout Enumerate
 309 test
 310 \end_layout
 311
 312 \begin_layout Subsubsection
 313 Subsubsection
 314 \end_layout
 315
 316 \begin_layout Standard
 317 Bla, bla
 318 \end_layout
 319
 320 \begin_layout Acknowledgments
 321 We would like to thank ...
 322 \end_layout
 323
 324 \begin_layout Section
 325 \start_of_appendix
 326 First appendix
 327 \end_layout
 328
 329 \begin_layout Standard
 330 Appendix, only when needed, can also be started behind the bibliography.
 331 \end_layout
 332
 333 \begin_layout Section*
 334 -----------------
 335 \end_layout
 336
 337 \begin_layout Standard
 338 You can use either BibTeX:
 339 \begin_inset Note Note
 340 status open
 341
 342 \begin_layout Plain Layout
 343 The following bibliography styles are allowed:
 344 \family sans
 345 none
 346 \family default
 347  or
 348 \family sans
 349 plainnat
 350 \family default
 351  (use then the document class option
 352 \family sans
 353 natbib
 354 \family default
 355 )
 356 \end_layout
 357
 358 \end_inset
 359
 360
 361 \end_layout
 362
 363 \begin_layout Standard
 364 \begin_inset CommandInset bibtex
 365 LatexCommand bibtex
 366 bibfiles "../examples/biblioExample"
 367 options "bibtotoc,plainnat"
 368
 369 \end_inset
 370
 371
 372 \end_layout
 373
 374 \begin_layout Section*
 375 ---------------------
 376 \end_layout
 377
 378 \begin_layout Standard
 379 \noindent
 380 Or plain bibliography:
 381 \end_layout
 382
 383 \begin_layout Bibliography
 384 \begin_inset CommandInset bibitem
 385 LatexCommand bibitem
 386 key "ahmed02"
 387
 388 \end_inset
 389
 390 Amal
 391 \begin_inset space ~
 392 \end_inset
 393
 394 J.
 395  Ahmed, Andrew
 396 \begin_inset space ~
 397 \end_inset
 398
 399 W.
 400  Appel, and Roberto Virga.
 401 \begin_inset ERT
 402 status collapsed
 403
 404 \begin_layout Plain Layout
 405
 406
 407 \backslash
 408 newblock
 409 \end_layout
 410
 411 \end_inset
 412
 413  A stratified semantics of general references embeddable in higher-order
 414  logic.
 415 \begin_inset ERT
 416 status collapsed
 417
 418 \begin_layout Plain Layout
 419
 420
 421 \backslash
 422 newblock
 423 \end_layout
 424
 425 \end_inset
 426
 427  I
 428 \emph on
 429 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
 430  (LICS 2002)
 431 \emph default
 432 , July 2002.
 433 \begin_inset Note Note
 434 status open
 435
 436 \begin_layout Plain Layout
 437 Reference parts have to be separated by
 438 \series bold
 439
 440 \backslash
 441 newblock
 442 \series default
 443 .
 444 \end_layout
 445
 446 \end_inset
 447
 448
 449 \end_layout
 450
 451 \begin_layout Bibliography
 452 \begin_inset CommandInset bibitem
 453 LatexCommand bibitem
 454 key "appel01:fpcc"
 455
 456 \end_inset
 457
 458 Andrew
 459 \begin_inset space ~
 460 \end_inset
 461
 462 W.
 463  Appel.
 464 \begin_inset ERT
 465 status collapsed
 466
 467 \begin_layout Plain Layout
 468
 469
 470 \backslash
 471 newblock
 472 \end_layout
 473
 474 \end_inset
 475
 476  Foundational proof-carrying code.
 477 \begin_inset ERT
 478 status collapsed
 479
 480 \begin_layout Plain Layout
 481
 482
 483 \backslash
 484 newblock
 485 \end_layout
 486
 487 \end_inset
 488
 489  In
 490 \emph on
 491 Symposium on Logic in Computer Science (LICS ’01)
 492 \emph default
 493 , pages 247--258.
 494  IEEE, 2001.
 495 \end_layout
 496
 497 \end_body
 498 \end_document