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 \language english
   7 \inputencoding default
   8 \font_roman default
   9 \font_sans default
  10 \font_typewriter default
  11 \font_default_family default
  12 \font_sc false
  13 \font_osf false
  14 \font_sf_scale 100
  15 \font_tt_scale 100
  16
  17 \graphics default
  18 \float_placement tbh
  19 \paperfontsize default
  20 \spacing single
  21 \use_hyperref false
  22 \papersize default
  23 \use_geometry false
  24 \use_amsmath 1
  25 \use_esint 0
  26 \cite_engine basic
  27 \use_bibtopic false
  28 \paperorientation portrait
  29 \secnumdepth 3
  30 \tocdepth 3
  31 \paragraph_separation indent
  32 \defskip medskip
  33 \quotes_language english
  34 \papercolumns 2
  35 \papersides 1
  36 \paperpagestyle default
  37 \tracking_changes false
  38 \output_changes false
  39 \author ""
  40 \author ""
  41 \end_header
  42
  43 \begin_body
  44
  45 \begin_layout Conference
  46 PLDI ’05
  47 \begin_inset ERT
  48 status collapsed
  49
  50 \begin_layout Plain Layout
  51
  52 }{
  53 \end_layout
  54
  55 \end_inset
  56
  57 June 12--15, 2005, Chicago, Illinois, USA.
  58 \begin_inset Note Note
  59 status open
  60
  61 \begin_layout Plain Layout
  62 The Conference expects 2 infos that are separated by
  63 \begin_inset Quotes eld
  64 \end_inset
  65
  66
  67 \series bold
  68 }{
  69 \series default
  70
  71 \begin_inset Quotes erd
  72 \end_inset
  73
  74  in TeX-code as in this example.
  75 \end_layout
  76
  77 \end_inset
  78
  79
  80 \end_layout
  81
  82 \begin_layout CopyrightYear
  83 2005
  84 \end_layout
  85
  86 \begin_layout Copyrightdata
  87 1-59593-057-4/05/0004
  88 \end_layout
  89
  90 \begin_layout Title
  91 Example ACM Paper
  92 \begin_inset ERT
  93 status collapsed
  94
  95 \begin_layout Plain Layout
  96
  97
  98 \backslash
  99 thanks{
 100 \end_layout
 101
 102 \end_inset
 103
 104 This work was supported by ...
 105 \begin_inset ERT
 106 status collapsed
 107
 108 \begin_layout Plain Layout
 109
 110 }
 111 \end_layout
 112
 113 \end_inset
 114
 115
 116 \end_layout
 117
 118 \begin_layout Subtitle
 119 Subtitle
 120 \end_layout
 121
 122 \begin_layout Author
 123 Suzi Smith
 124 \begin_inset ERT
 125 status collapsed
 126
 127 \begin_layout Plain Layout
 128
 129
 130 \backslash
 131 and
 132 \end_layout
 133
 134 \end_inset
 135
 136  Paul C.
 137  Anagnostopoulos
 138 \begin_inset ERT
 139 status collapsed
 140
 141 \begin_layout Plain Layout
 142
 143 }{
 144 \end_layout
 145
 146 \end_inset
 147
 148 Princeton University
 149 \begin_inset ERT
 150 status collapsed
 151
 152 \begin_layout Plain Layout
 153
 154 }{
 155 \end_layout
 156
 157 \end_inset
 158
 159 smith@cs.princeton.edu
 160 \begin_inset Newline newline
 161 \end_inset
 162
 163 anagnostopoulos@cs.princeton.edu
 164 \begin_inset Note Note
 165 status open
 166
 167 \begin_layout Plain Layout
 168 At least one autor is required.
 169 \end_layout
 170
 171 \begin_layout Plain Layout
 172 The Author field expects 3 infos that are separated by
 173 \begin_inset Quotes eld
 174 \end_inset
 175
 176
 177 \series bold
 178 }{
 179 \series default
 180
 181 \begin_inset Quotes erd
 182 \end_inset
 183
 184  in TeX-code as in these examples.
 185 \end_layout
 186
 187 \end_inset
 188
 189
 190 \end_layout
 191
 192 \begin_layout Author
 193 Fred Flymuffin
 194 \begin_inset ERT
 195 status collapsed
 196
 197 \begin_layout Plain Layout
 198
 199 }{
 200 \end_layout
 201
 202 \end_inset
 203
 204 Washington University in St.
 205  Louis
 206 \begin_inset Newline newline
 207 \end_inset
 208
 209 Department of Electrical and Computer Engineering
 210 \begin_inset Newline newline
 211 \end_inset
 212
 213 3301 S Dearborn Street
 214 \begin_inset Newline newline
 215 \end_inset
 216
 217 St.
 218  Louis, XX 60616, USA
 219 \begin_inset ERT
 220 status collapsed
 221
 222 \begin_layout Plain Layout
 223
 224 }{
 225 \end_layout
 226
 227 \end_inset
 228
 229 flymuffin@cs.wustl.edu
 230 \end_layout
 231
 232 \begin_layout Abstract
 233 This paper is a demonstration of the Lyx template for the ACM alternate
 234  latex style file.
 235  It works quite well and makes writing an ACM paper so much easier.
 236 \end_layout
 237
 238 \begin_layout Standard
 239 \begin_inset ERT
 240 status open
 241
 242 \begin_layout Plain Layout
 243
 244
 245 \backslash
 246 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
 247 \end_layout
 248
 249 \begin_layout Plain Layout
 250
 251
 252 \backslash
 253 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
 254 ed into hardware]
 255 \end_layout
 256
 257 \end_inset
 258
 259
 260 \end_layout
 261
 262 \begin_layout Terms
 263 Algorithms, Performance, Design
 264 \end_layout
 265
 266 \begin_layout Keywords
 267 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
 268  Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
 269 \end_layout
 270
 271 \begin_layout Section
 272 Introduction
 273 \end_layout
 274
 275 \begin_layout Standard
 276 This is the introduction to this paper.
 277 \end_layout
 278
 279 \begin_layout Acknowledgments
 280 We would like to thank ...
 281 \end_layout
 282
 283 \begin_layout Section
 284 \start_of_appendix
 285 First appendix
 286 \end_layout
 287
 288 \begin_layout Standard
 289 Appendix, only when needed, can also be started behind the bibliography.
 290 \end_layout
 291
 292 \begin_layout Bibliography
 293 \begin_inset CommandInset bibitem
 294 LatexCommand bibitem
 295 key "ahmed02"
 296
 297 \end_inset
 298
 299 Amal
 300 \begin_inset space ~
 301 \end_inset
 302
 303 J.
 304  Ahmed, Andrew
 305 \begin_inset space ~
 306 \end_inset
 307
 308 W.
 309  Appel, and Roberto Virga.
 310 \begin_inset ERT
 311 status collapsed
 312
 313 \begin_layout Plain Layout
 314
 315
 316 \backslash
 317 newblock
 318 \end_layout
 319
 320 \end_inset
 321
 322  A stratified semantics of general references embeddable in higher-order
 323  logic.
 324 \begin_inset ERT
 325 status collapsed
 326
 327 \begin_layout Plain Layout
 328
 329
 330 \backslash
 331 newblock
 332 \end_layout
 333
 334 \end_inset
 335
 336  I
 337 \emph on
 338 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
 339  (LICS 2002)
 340 \emph default
 341 , July 2002.
 342 \end_layout
 343
 344 \begin_layout Bibliography
 345 \begin_inset CommandInset bibitem
 346 LatexCommand bibitem
 347 key "appel01:fpcc"
 348
 349 \end_inset
 350
 351 Andrew
 352 \begin_inset space ~
 353 \end_inset
 354
 355 W.
 356  Appel.
 357 \begin_inset ERT
 358 status collapsed
 359
 360 \begin_layout Plain Layout
 361
 362
 363 \backslash
 364 newblock
 365 \end_layout
 366
 367 \end_inset
 368
 369  Foundational proof-carrying code.
 370 \begin_inset ERT
 371 status collapsed
 372
 373 \begin_layout Plain Layout
 374
 375
 376 \backslash
 377 newblock
 378 \end_layout
 379
 380 \end_inset
 381
 382  In
 383 \emph on
 384 Symposium on Logic in Computer Science (LICS ’01)
 385 \emph default
 386 , pages 247--258.
 387  IEEE, 2001.
 388 \end_layout
 389
 390 \end_body
 391 \end_document