1 #LyX 2.1.0svn created this file. For more info see http://www.lyx.org/
7 \use_default_options false
9 \language_package default
10 \inputencoding default
13 \font_typewriter default
14 \font_default_family default
21 \paperfontsize default
32 \paperorientation portrait
35 \paragraph_separation indent
37 \quotes_language english
40 \paperpagestyle default
41 \tracking_changes false
50 \begin_layout Conference
55 \begin_layout Plain Layout
62 June 12--15, 2005, Chicago, Illinois, USA.
63 \begin_inset Note Note
66 \begin_layout Plain Layout
67 The Conference expects 2 infos that are separated by
68 \begin_inset Quotes eld
76 \begin_inset Quotes erd
87 \begin_layout CopyrightYear
91 \begin_layout Copyrightdata
100 \begin_layout Plain Layout
101 This work was supported by ...
109 \begin_layout Subtitle
118 \begin_layout Plain Layout
132 \begin_layout Plain Layout
143 \begin_layout Plain Layout
150 smith@cs.princeton.edu
151 \begin_inset Newline newline
154 anagnostopoulos@cs.princeton.edu
155 \begin_inset Note Note
158 \begin_layout Plain Layout
159 At least one autor is required.
160 The Author field expects 3 infos that are separated by
161 \begin_inset Quotes eld
169 \begin_inset Quotes erd
185 \begin_layout Plain Layout
192 Washington University in St.
194 \begin_inset Newline newline
197 Department of Electrical and Computer Engineering
198 \begin_inset Newline newline
201 3301 S Dearborn Street
202 \begin_inset Newline newline
210 \begin_layout Plain Layout
217 flymuffin@cs.wustl.edu
220 \begin_layout Abstract
221 This paper is a demonstration of the Lyx template for the ACM alternate
223 It works quite well and makes writing an ACM paper so much easier.
226 \begin_layout Standard
230 \begin_layout Plain Layout
234 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
237 \begin_layout Plain Layout
241 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
248 \begin_inset Note Note
251 \begin_layout Plain Layout
258 has 3 mandatory + 1 optional arguments
267 Algorithms, Performance, Design
270 \begin_layout Keywords
271 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
272 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
275 \begin_layout Section
279 \begin_layout Standard
280 Bla bla, as listed in
281 \begin_inset CommandInset citation
283 key "Parkin2005,LComp2004"
290 \begin_layout Subsection
294 \begin_layout Enumerate
298 \begin_layout Enumerate
302 \begin_layout Subsubsection
306 \begin_layout Standard
310 \begin_layout Acknowledgments
311 We would like to thank ...
314 \begin_layout Section
319 \begin_layout Standard
320 Appendix, only when needed, can also be started behind the bibliography.
323 \begin_layout Section*
327 \begin_layout Standard
328 You can use either BibTeX:
329 \begin_inset Note Note
332 \begin_layout Plain Layout
333 The following bibliography styles are allowed:
341 (use then the document class option
353 \begin_layout Standard
354 \begin_inset CommandInset bibtex
356 bibfiles "../examples/biblioExample"
357 options "bibtotoc,plainnat"
364 \begin_layout Section*
365 ---------------------
368 \begin_layout Standard
370 Or plain bibliography:
373 \begin_layout Bibliography
374 \begin_inset CommandInset bibitem
390 Appel, and Roberto Virga.
394 \begin_layout Plain Layout
403 A stratified semantics of general references embeddable in higher-order
408 \begin_layout Plain Layout
419 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
423 \begin_inset Note Note
426 \begin_layout Plain Layout
427 Reference parts have to be separated by
441 \begin_layout Bibliography
442 \begin_inset CommandInset bibitem
457 \begin_layout Plain Layout
466 Foundational proof-carrying code.
470 \begin_layout Plain Layout
481 Symposium on Logic in Computer Science (LICS ’01)