2008-10-03 20:08:29 +00:00
|
|
|
|
#LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
|
2008-10-26 01:53:45 +00:00
|
|
|
|
\lyxformat 344
|
2008-10-03 19:47:42 +00:00
|
|
|
|
\begin_document
|
|
|
|
|
\begin_header
|
|
|
|
|
\textclass sigplanconf
|
2008-10-06 22:38:30 +00:00
|
|
|
|
\options natbib
|
2008-10-26 01:53:45 +00:00
|
|
|
|
\use_default_options false
|
2008-10-03 19:47:42 +00:00
|
|
|
|
\language english
|
|
|
|
|
\inputencoding default
|
|
|
|
|
\font_roman default
|
|
|
|
|
\font_sans default
|
|
|
|
|
\font_typewriter default
|
|
|
|
|
\font_default_family default
|
|
|
|
|
\font_sc false
|
|
|
|
|
\font_osf false
|
|
|
|
|
\font_sf_scale 100
|
|
|
|
|
\font_tt_scale 100
|
2008-10-03 20:08:29 +00:00
|
|
|
|
|
2008-10-03 19:47:42 +00:00
|
|
|
|
\graphics default
|
|
|
|
|
\float_placement tbh
|
|
|
|
|
\paperfontsize default
|
|
|
|
|
\spacing single
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\use_hyperref false
|
2008-10-03 19:47:42 +00:00
|
|
|
|
\papersize default
|
|
|
|
|
\use_geometry false
|
|
|
|
|
\use_amsmath 1
|
|
|
|
|
\use_esint 0
|
|
|
|
|
\cite_engine basic
|
|
|
|
|
\use_bibtopic false
|
|
|
|
|
\paperorientation portrait
|
|
|
|
|
\secnumdepth 3
|
|
|
|
|
\tocdepth 3
|
|
|
|
|
\paragraph_separation indent
|
|
|
|
|
\defskip medskip
|
|
|
|
|
\quotes_language english
|
|
|
|
|
\papercolumns 2
|
|
|
|
|
\papersides 1
|
|
|
|
|
\paperpagestyle default
|
|
|
|
|
\tracking_changes false
|
|
|
|
|
\output_changes false
|
|
|
|
|
\author ""
|
|
|
|
|
\author ""
|
|
|
|
|
\end_header
|
|
|
|
|
|
|
|
|
|
\begin_body
|
|
|
|
|
|
|
|
|
|
\begin_layout Conference
|
|
|
|
|
PLDI ’05
|
|
|
|
|
\begin_inset ERT
|
|
|
|
|
status collapsed
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
}{
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
June 12--15, 2005, Chicago, Illinois, USA.
|
|
|
|
|
\begin_inset Note Note
|
|
|
|
|
status open
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
The Conference expects 2 infos that are separated by
|
|
|
|
|
\begin_inset Quotes eld
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\series bold
|
|
|
|
|
}{
|
|
|
|
|
\series default
|
|
|
|
|
|
|
|
|
|
\begin_inset Quotes erd
|
|
|
|
|
\end_inset
|
|
|
|
|
|
2008-10-07 00:44:22 +00:00
|
|
|
|
in TeX code.
|
2008-10-03 19:47:42 +00:00
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout CopyrightYear
|
|
|
|
|
2005
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Copyrightdata
|
|
|
|
|
1-59593-057-4/05/0004
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Title
|
|
|
|
|
Example ACM Paper
|
2008-10-26 01:53:45 +00:00
|
|
|
|
\begin_inset Foot
|
|
|
|
|
status open
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
This work was supported by ...
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Subtitle
|
|
|
|
|
Subtitle
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Author
|
|
|
|
|
Suzi Smith
|
|
|
|
|
\begin_inset ERT
|
|
|
|
|
status collapsed
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\backslash
|
|
|
|
|
and
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
Paul C.
|
|
|
|
|
Anagnostopoulos
|
|
|
|
|
\begin_inset ERT
|
|
|
|
|
status collapsed
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
}{
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
Princeton University
|
|
|
|
|
\begin_inset ERT
|
|
|
|
|
status collapsed
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
}{
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
smith@cs.princeton.edu
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_inset Newline newline
|
|
|
|
|
\end_inset
|
|
|
|
|
|
2008-10-03 19:47:42 +00:00
|
|
|
|
anagnostopoulos@cs.princeton.edu
|
|
|
|
|
\begin_inset Note Note
|
|
|
|
|
status open
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
At least one autor is required.
|
2008-10-07 00:44:22 +00:00
|
|
|
|
The Author field expects 3 infos that are separated by
|
2008-10-03 19:47:42 +00:00
|
|
|
|
\begin_inset Quotes eld
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\series bold
|
|
|
|
|
}{
|
|
|
|
|
\series default
|
|
|
|
|
|
|
|
|
|
\begin_inset Quotes erd
|
|
|
|
|
\end_inset
|
|
|
|
|
|
2008-10-07 00:44:22 +00:00
|
|
|
|
in TeX code.
|
2008-10-03 19:47:42 +00:00
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Author
|
|
|
|
|
Fred Flymuffin
|
|
|
|
|
\begin_inset ERT
|
|
|
|
|
status collapsed
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
}{
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
Washington University in St.
|
|
|
|
|
Louis
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_inset Newline newline
|
|
|
|
|
\end_inset
|
|
|
|
|
|
2008-10-03 19:47:42 +00:00
|
|
|
|
Department of Electrical and Computer Engineering
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_inset Newline newline
|
|
|
|
|
\end_inset
|
|
|
|
|
|
2008-10-03 19:47:42 +00:00
|
|
|
|
3301 S Dearborn Street
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_inset Newline newline
|
|
|
|
|
\end_inset
|
|
|
|
|
|
2008-10-03 19:47:42 +00:00
|
|
|
|
St.
|
|
|
|
|
Louis, XX 60616, USA
|
|
|
|
|
\begin_inset ERT
|
|
|
|
|
status collapsed
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
}{
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
flymuffin@cs.wustl.edu
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Abstract
|
|
|
|
|
This paper is a demonstration of the Lyx template for the ACM alternate
|
|
|
|
|
latex style file.
|
|
|
|
|
It works quite well and makes writing an ACM paper so much easier.
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
|
\begin_inset ERT
|
|
|
|
|
status open
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\backslash
|
|
|
|
|
category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
|
|
|
|
|
\end_layout
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\backslash
|
|
|
|
|
category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
|
|
|
|
|
ed into hardware]
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
2008-10-06 22:38:30 +00:00
|
|
|
|
\begin_inset Note Note
|
|
|
|
|
status open
|
|
|
|
|
|
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
|
|
|
|
\series bold
|
|
|
|
|
|
|
|
|
|
\backslash
|
|
|
|
|
category
|
|
|
|
|
\series default
|
|
|
|
|
has 3 mandatory + 1 optional arguments
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
2008-10-03 19:47:42 +00:00
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Terms
|
|
|
|
|
Algorithms, Performance, Design
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Keywords
|
|
|
|
|
Carry Propagate Addition, Ling Adder, Reed Adder, Carry-Skip Adder, Hybrid
|
|
|
|
|
Adder, Pseudo-Complements, Domino Logic, Conditional Sum Adder
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
|
Introduction
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Standard
|
2008-10-06 22:38:30 +00:00
|
|
|
|
Bla bla, as listed in
|
|
|
|
|
\begin_inset CommandInset citation
|
|
|
|
|
LatexCommand cite
|
|
|
|
|
key "Parkin2005,LComp2004"
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
.
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Subsection
|
|
|
|
|
Subsection
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Enumerate
|
|
|
|
|
test
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Enumerate
|
|
|
|
|
test
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Subsubsection
|
|
|
|
|
Subsubsection
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
|
Bla, bla
|
2008-10-03 19:47:42 +00:00
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Acknowledgments
|
|
|
|
|
We would like to thank ...
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
|
\start_of_appendix
|
|
|
|
|
First appendix
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
|
Appendix, only when needed, can also be started behind the bibliography.
|
|
|
|
|
\end_layout
|
|
|
|
|
|
2008-10-06 22:38:30 +00:00
|
|
|
|
\begin_layout Section*
|
|
|
|
|
-----------------
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
|
You can use either BibTeX:
|
|
|
|
|
\begin_inset Note Note
|
|
|
|
|
status open
|
|
|
|
|
|
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
The following bibliography styles are allowed:
|
|
|
|
|
\family sans
|
|
|
|
|
none
|
|
|
|
|
\family default
|
|
|
|
|
or
|
|
|
|
|
\family sans
|
|
|
|
|
plainnat
|
|
|
|
|
\family default
|
|
|
|
|
(use then the document class option
|
|
|
|
|
\family sans
|
|
|
|
|
natbib
|
|
|
|
|
\family default
|
|
|
|
|
)
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
|
\begin_inset CommandInset bibtex
|
|
|
|
|
LatexCommand bibtex
|
|
|
|
|
bibfiles "../examples/biblioExample"
|
|
|
|
|
options "bibtotoc,plainnat"
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Section*
|
|
|
|
|
---------------------
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
|
\noindent
|
|
|
|
|
Or plain bibliography:
|
|
|
|
|
\end_layout
|
|
|
|
|
|
2008-10-03 19:47:42 +00:00
|
|
|
|
\begin_layout Bibliography
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_inset CommandInset bibitem
|
|
|
|
|
LatexCommand bibitem
|
2008-10-03 19:47:42 +00:00
|
|
|
|
key "ahmed02"
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
Amal
|
|
|
|
|
\begin_inset space ~
|
|
|
|
|
\end_inset
|
|
|
|
|
|
2008-10-03 19:47:42 +00:00
|
|
|
|
J.
|
2008-10-03 20:08:29 +00:00
|
|
|
|
Ahmed, Andrew
|
|
|
|
|
\begin_inset space ~
|
|
|
|
|
\end_inset
|
|
|
|
|
|
2008-10-03 19:47:42 +00:00
|
|
|
|
W.
|
|
|
|
|
Appel, and Roberto Virga.
|
|
|
|
|
\begin_inset ERT
|
|
|
|
|
status collapsed
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\backslash
|
|
|
|
|
newblock
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
A stratified semantics of general references embeddable in higher-order
|
|
|
|
|
logic.
|
|
|
|
|
\begin_inset ERT
|
|
|
|
|
status collapsed
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\backslash
|
|
|
|
|
newblock
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
I
|
|
|
|
|
\emph on
|
|
|
|
|
n Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
|
|
|
|
|
(LICS 2002)
|
|
|
|
|
\emph default
|
|
|
|
|
, July 2002.
|
2008-10-06 22:38:30 +00:00
|
|
|
|
\begin_inset Note Note
|
|
|
|
|
status open
|
|
|
|
|
|
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
Reference parts have to be separated by
|
|
|
|
|
\series bold
|
|
|
|
|
|
|
|
|
|
\backslash
|
|
|
|
|
newblock
|
|
|
|
|
\series default
|
|
|
|
|
.
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
2008-10-03 19:47:42 +00:00
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\begin_layout Bibliography
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_inset CommandInset bibitem
|
|
|
|
|
LatexCommand bibitem
|
2008-10-03 19:47:42 +00:00
|
|
|
|
key "appel01:fpcc"
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
Andrew
|
|
|
|
|
\begin_inset space ~
|
|
|
|
|
\end_inset
|
|
|
|
|
|
2008-10-03 19:47:42 +00:00
|
|
|
|
W.
|
|
|
|
|
Appel.
|
|
|
|
|
\begin_inset ERT
|
|
|
|
|
status collapsed
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\backslash
|
|
|
|
|
newblock
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
Foundational proof-carrying code.
|
|
|
|
|
\begin_inset ERT
|
|
|
|
|
status collapsed
|
|
|
|
|
|
2008-10-03 20:08:29 +00:00
|
|
|
|
\begin_layout Plain Layout
|
2008-10-03 19:47:42 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\backslash
|
|
|
|
|
newblock
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
In
|
|
|
|
|
\emph on
|
|
|
|
|
Symposium on Logic in Computer Science (LICS ’01)
|
|
|
|
|
\emph default
|
|
|
|
|
, pages 247--258.
|
|
|
|
|
IEEE, 2001.
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
|
|
\end_body
|
|
|
|
|
\end_document
|