1 #LyX 1.6.0svn 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
21 \paperfontsize default
30 \paperorientation portrait
33 \paragraph_separation indent
35 \quotes_language english
38 \paperpagestyle default
39 \tracking_changes false
47 \begin_layout Conference
52 \begin_layout Plain Layout
59 June 12--15, 2005, Chicago, Illinois, USA.
60 \begin_inset Note Note
63 \begin_layout Plain Layout
64 The Conference expects 2 infos that are separated by
65 \begin_inset Quotes eld
73 \begin_inset Quotes erd
84 \begin_layout CopyrightYear
88 \begin_layout Copyrightdata
97 \begin_layout Plain Layout
98 This work was supported by ...
106 \begin_layout Subtitle
115 \begin_layout Plain Layout
129 \begin_layout Plain Layout
140 \begin_layout Plain Layout
147 smith@cs.princeton.edu
148 \begin_inset Newline newline
151 anagnostopoulos@cs.princeton.edu
152 \begin_inset Note Note
155 \begin_layout Plain Layout
156 At least one autor is required.
157 The Author field expects 3 infos that are separated by
158 \begin_inset Quotes eld
166 \begin_inset Quotes erd
182 \begin_layout Plain Layout
189 Washington University in St.
191 \begin_inset Newline newline
194 Department of Electrical and Computer Engineering
195 \begin_inset Newline newline
198 3301 S Dearborn Street
199 \begin_inset Newline newline
207 \begin_layout Plain Layout
214 flymuffin@cs.wustl.edu
217 \begin_layout Abstract
218 This paper is a demonstration of the Lyx template for the ACM alternate
220 It works quite well and makes writing an ACM paper so much easier.
223 \begin_layout Standard
227 \begin_layout Plain Layout
231 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
234 \begin_layout Plain Layout
238 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
245 \begin_inset Note Note
248 \begin_layout Plain Layout
255 has 3 mandatory + 1 optional arguments
264 Algorithms, Performance, Design
267 \begin_layout Keywords
268 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
269 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
272 \begin_layout Section
276 \begin_layout Standard
277 Bla bla, as listed in
278 \begin_inset CommandInset citation
280 key "Parkin2005,LComp2004"
287 \begin_layout Subsection
291 \begin_layout Enumerate
295 \begin_layout Enumerate
299 \begin_layout Subsubsection
303 \begin_layout Standard
307 \begin_layout Acknowledgments
308 We would like to thank ...
311 \begin_layout Section
316 \begin_layout Standard
317 Appendix, only when needed, can also be started behind the bibliography.
320 \begin_layout Section*
324 \begin_layout Standard
325 You can use either BibTeX:
326 \begin_inset Note Note
329 \begin_layout Plain Layout
330 The following bibliography styles are allowed:
338 (use then the document class option
350 \begin_layout Standard
351 \begin_inset CommandInset bibtex
353 bibfiles "../examples/biblioExample"
354 options "bibtotoc,plainnat"
361 \begin_layout Section*
362 ---------------------
365 \begin_layout Standard
367 Or plain bibliography:
370 \begin_layout Bibliography
371 \begin_inset CommandInset bibitem
387 Appel, and Roberto Virga.
391 \begin_layout Plain Layout
400 A stratified semantics of general references embeddable in higher-order
405 \begin_layout Plain Layout
416 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
420 \begin_inset Note Note
423 \begin_layout Plain Layout
424 Reference parts have to be separated by
438 \begin_layout Bibliography
439 \begin_inset CommandInset bibitem
454 \begin_layout Plain Layout
463 Foundational proof-carrying code.
467 \begin_layout Plain Layout
478 Symposium on Logic in Computer Science (LICS ’01)