1 #LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
10 \font_typewriter default
11 \font_default_family default
19 \paperfontsize default
28 \paperorientation portrait
31 \paragraph_separation indent
33 \quotes_language english
36 \paperpagestyle default
37 \tracking_changes false
45 \begin_layout Conference
50 \begin_layout Plain Layout
57 June 12--15, 2005, Chicago, Illinois, USA.
58 \begin_inset Note Note
61 \begin_layout Plain Layout
62 The Conference expects 2 infos that are separated by
63 \begin_inset Quotes eld
71 \begin_inset Quotes erd
74 in TeX-code as in this example.
82 \begin_layout CopyrightYear
86 \begin_layout Copyrightdata
95 \begin_layout Plain Layout
104 This work was supported by ...
108 \begin_layout Plain Layout
118 \begin_layout Subtitle
127 \begin_layout Plain Layout
141 \begin_layout Plain Layout
152 \begin_layout Plain Layout
159 smith@cs.princeton.edu
160 \begin_inset Newline newline
163 anagnostopoulos@cs.princeton.edu
164 \begin_inset Note Note
167 \begin_layout Plain Layout
168 At least one autor is required.
171 \begin_layout Plain Layout
172 The Author field expects 3 infos that are separated by
173 \begin_inset Quotes eld
181 \begin_inset Quotes erd
184 in TeX-code as in these examples.
197 \begin_layout Plain Layout
204 Washington University in St.
206 \begin_inset Newline newline
209 Department of Electrical and Computer Engineering
210 \begin_inset Newline newline
213 3301 S Dearborn Street
214 \begin_inset Newline newline
222 \begin_layout Plain Layout
229 flymuffin@cs.wustl.edu
232 \begin_layout Abstract
233 This paper is a demonstration of the Lyx template for the ACM alternate
235 It works quite well and makes writing an ACM paper so much easier.
238 \begin_layout Standard
242 \begin_layout Plain Layout
246 category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
249 \begin_layout Plain Layout
253 category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
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 This is the introduction to this paper.
279 \begin_layout Acknowledgments
280 We would like to thank ...
283 \begin_layout Section
288 \begin_layout Standard
289 Appendix, only when needed, can also be started behind the bibliography.
292 \begin_layout Bibliography
293 \begin_inset CommandInset bibitem
309 Appel, and Roberto Virga.
313 \begin_layout Plain Layout
322 A stratified semantics of general references embeddable in higher-order
327 \begin_layout Plain Layout
338 n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
344 \begin_layout Bibliography
345 \begin_inset CommandInset bibitem
360 \begin_layout Plain Layout
369 Foundational proof-carrying code.
373 \begin_layout Plain Layout
384 Symposium on Logic in Computer Science (LICS ’01)