1 #LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
11 \font_typewriter default
12 \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
75 in TeX-code as in this example.
83 \begin_layout CopyrightYear
87 \begin_layout Copyrightdata
96 \begin_layout Plain Layout
105 This work was supported by ...
109 \begin_layout Plain Layout
119 \begin_layout Subtitle
128 \begin_layout Plain Layout
142 \begin_layout Plain Layout
153 \begin_layout Plain Layout
160 smith@cs.princeton.edu
161 \begin_inset Newline newline
164 anagnostopoulos@cs.princeton.edu
165 \begin_inset Note Note
168 \begin_layout Plain Layout
169 At least one autor is required.
172 \begin_layout Plain Layout
173 The Author field expects 3 infos that are separated by
174 \begin_inset Quotes eld
182 \begin_inset Quotes erd
185 in TeX-code as in these examples.
198 \begin_layout Plain Layout
205 Washington University in St.
207 \begin_inset Newline newline
210 Department of Electrical and Computer Engineering
211 \begin_inset Newline newline
214 3301 S Dearborn Street
215 \begin_inset Newline newline
223 \begin_layout Plain Layout
230 flymuffin@cs.wustl.edu
233 \begin_layout Abstract
234 This paper is a demonstration of the Lyx template for the ACM alternate
236 It works quite well and makes writing an ACM paper so much easier.
239 \begin_layout Standard
243 \begin_layout Plain Layout
247 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
250 \begin_layout Plain Layout
254 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
261 \begin_inset Note Note
264 \begin_layout Plain Layout
271 has 3 mandatory + 1 optional arguments
280 Algorithms, Performance, Design
283 \begin_layout Keywords
284 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
285 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
288 \begin_layout Section
292 \begin_layout Standard
293 Bla bla, as listed in
294 \begin_inset CommandInset citation
296 key "Parkin2005,LComp2004"
303 \begin_layout Subsection
307 \begin_layout Enumerate
311 \begin_layout Enumerate
315 \begin_layout Subsubsection
319 \begin_layout Standard
323 \begin_layout Acknowledgments
324 We would like to thank ...
327 \begin_layout Section
332 \begin_layout Standard
333 Appendix, only when needed, can also be started behind the bibliography.
336 \begin_layout Section*
340 \begin_layout Standard
341 You can use either BibTeX:
342 \begin_inset Note Note
345 \begin_layout Plain Layout
346 The following bibliography styles are allowed:
354 (use then the document class option
366 \begin_layout Standard
367 \begin_inset CommandInset bibtex
369 bibfiles "../examples/biblioExample"
370 options "bibtotoc,plainnat"
377 \begin_layout Section*
378 ---------------------
381 \begin_layout Standard
383 Or plain bibliography:
386 \begin_layout Bibliography
387 \begin_inset CommandInset bibitem
403 Appel, and Roberto Virga.
407 \begin_layout Plain Layout
416 A stratified semantics of general references embeddable in higher-order
421 \begin_layout Plain Layout
432 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
436 \begin_inset Note Note
439 \begin_layout Plain Layout
440 Reference parts have to be separated by
454 \begin_layout Bibliography
455 \begin_inset CommandInset bibitem
470 \begin_layout Plain Layout
479 Foundational proof-carrying code.
483 \begin_layout Plain Layout
494 Symposium on Logic in Computer Science (LICS ’01)