1 #LyX 1.6.0 created this file. For more info see http://www.lyx.org/
7 \use_default_options false
12 \font_typewriter default
13 \font_default_family default
20 \paperfontsize default
29 \paperorientation portrait
32 \paragraph_separation indent
34 \quotes_language english
37 \paperpagestyle default
38 \tracking_changes false
46 \begin_layout Conference
51 \begin_layout Plain Layout
58 June 12--15, 2005, Chicago, Illinois, USA.
59 \begin_inset Note Note
62 \begin_layout Plain Layout
63 The Conference expects 2 infos that are separated by
64 \begin_inset Quotes eld
72 \begin_inset Quotes erd
83 \begin_layout CopyrightYear
87 \begin_layout Copyrightdata
96 \begin_layout Plain Layout
97 This work was supported by ...
105 \begin_layout Subtitle
114 \begin_layout Plain Layout
128 \begin_layout Plain Layout
139 \begin_layout Plain Layout
146 smith@cs.princeton.edu
147 \begin_inset Newline newline
150 anagnostopoulos@cs.princeton.edu
151 \begin_inset Note Note
154 \begin_layout Plain Layout
155 At least one autor is required.
156 The Author field expects 3 infos that are separated by
157 \begin_inset Quotes eld
165 \begin_inset Quotes erd
181 \begin_layout Plain Layout
188 Washington University in St.
190 \begin_inset Newline newline
193 Department of Electrical and Computer Engineering
194 \begin_inset Newline newline
197 3301 S Dearborn Street
198 \begin_inset Newline newline
206 \begin_layout Plain Layout
213 flymuffin@cs.wustl.edu
216 \begin_layout Abstract
217 This paper is a demonstration of the Lyx template for the ACM alternate
219 It works quite well and makes writing an ACM paper so much easier.
222 \begin_layout Standard
226 \begin_layout Plain Layout
230 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
233 \begin_layout Plain Layout
237 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
244 \begin_inset Note Note
247 \begin_layout Plain Layout
254 has 3 mandatory + 1 optional arguments
263 Algorithms, Performance, Design
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
271 \begin_layout Section
275 \begin_layout Standard
276 Bla bla, as listed in
277 \begin_inset CommandInset citation
279 key "Parkin2005,LComp2004"
286 \begin_layout Subsection
290 \begin_layout Enumerate
294 \begin_layout Enumerate
298 \begin_layout Subsubsection
302 \begin_layout Standard
306 \begin_layout Acknowledgments
307 We would like to thank ...
310 \begin_layout Section
315 \begin_layout Standard
316 Appendix, only when needed, can also be started behind the bibliography.
319 \begin_layout Section*
323 \begin_layout Standard
324 You can use either BibTeX:
325 \begin_inset Note Note
328 \begin_layout Plain Layout
329 The following bibliography styles are allowed:
337 (use then the document class option
349 \begin_layout Standard
350 \begin_inset CommandInset bibtex
352 bibfiles "../examples/biblioExample"
353 options "bibtotoc,plainnat"
360 \begin_layout Section*
361 ---------------------
364 \begin_layout Standard
366 Or plain bibliography:
369 \begin_layout Bibliography
370 \begin_inset CommandInset bibitem
386 Appel, and Roberto Virga.
390 \begin_layout Plain Layout
399 A stratified semantics of general references embeddable in higher-order
404 \begin_layout Plain Layout
415 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
419 \begin_inset Note Note
422 \begin_layout Plain Layout
423 Reference parts have to be separated by
437 \begin_layout Bibliography
438 \begin_inset CommandInset bibitem
453 \begin_layout Plain Layout
462 Foundational proof-carrying code.
466 \begin_layout Plain Layout
477 Symposium on Logic in Computer Science (LICS ’01)