lib/templates/ACM-sigplan.lyx

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