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
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.
170 The Author field expects 3 infos that are separated by
171 \begin_inset Quotes eld
179 \begin_inset Quotes erd
195 \begin_layout Plain Layout
202 Washington University in St.
204 \begin_inset Newline newline
207 Department of Electrical and Computer Engineering
208 \begin_inset Newline newline
211 3301 S Dearborn Street
212 \begin_inset Newline newline
220 \begin_layout Plain Layout
227 flymuffin@cs.wustl.edu
230 \begin_layout Abstract
231 This paper is a demonstration of the Lyx template for the ACM alternate
233 It works quite well and makes writing an ACM paper so much easier.
236 \begin_layout Standard
240 \begin_layout Plain Layout
244 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
247 \begin_layout Plain Layout
251 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
258 \begin_inset Note Note
261 \begin_layout Plain Layout
268 has 3 mandatory + 1 optional arguments
277 Algorithms, Performance, Design
280 \begin_layout Keywords
281 Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
282 Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
285 \begin_layout Section
289 \begin_layout Standard
290 Bla bla, as listed in
291 \begin_inset CommandInset citation
293 key "Parkin2005,LComp2004"
300 \begin_layout Subsection
304 \begin_layout Enumerate
308 \begin_layout Enumerate
312 \begin_layout Subsubsection
316 \begin_layout Standard
320 \begin_layout Acknowledgments
321 We would like to thank ...
324 \begin_layout Section
329 \begin_layout Standard
330 Appendix, only when needed, can also be started behind the bibliography.
333 \begin_layout Section*
337 \begin_layout Standard
338 You can use either BibTeX:
339 \begin_inset Note Note
342 \begin_layout Plain Layout
343 The following bibliography styles are allowed:
351 (use then the document class option
363 \begin_layout Standard
364 \begin_inset CommandInset bibtex
366 bibfiles "../examples/biblioExample"
367 options "bibtotoc,plainnat"
374 \begin_layout Section*
375 ---------------------
378 \begin_layout Standard
380 Or plain bibliography:
383 \begin_layout Bibliography
384 \begin_inset CommandInset bibitem
400 Appel, and Roberto Virga.
404 \begin_layout Plain Layout
413 A stratified semantics of general references embeddable in higher-order
418 \begin_layout Plain Layout
429 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
433 \begin_inset Note Note
436 \begin_layout Plain Layout
437 Reference parts have to be separated by
451 \begin_layout Bibliography
452 \begin_inset CommandInset bibitem
467 \begin_layout Plain Layout
476 Foundational proof-carrying code.
480 \begin_layout Plain Layout
491 Symposium on Logic in Computer Science (LICS ’01)