mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-11 13:46:43 +00:00
4a75fe0310
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@26703 a592a061-630c-0410-9148-cb99ea01b6c8
392 lines
5.3 KiB
Plaintext
392 lines
5.3 KiB
Plaintext
#LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
|
||
\lyxformat 341
|
||
\begin_document
|
||
\begin_header
|
||
\textclass sigplanconf
|
||
\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
|
||
|
||
\graphics default
|
||
\float_placement tbh
|
||
\paperfontsize default
|
||
\spacing single
|
||
\use_hyperref false
|
||
\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
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
}{
|
||
\end_layout
|
||
|
||
\end_inset
|
||
|
||
June 12--15, 2005, Chicago, Illinois, USA.
|
||
\begin_inset Note Note
|
||
status open
|
||
|
||
\begin_layout Plain Layout
|
||
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
|
||
|
||
in TeX-code as in this example.
|
||
\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
|
||
\begin_inset ERT
|
||
status collapsed
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
|
||
\backslash
|
||
thanks{
|
||
\end_layout
|
||
|
||
\end_inset
|
||
|
||
This work was supported by ...
|
||
\begin_inset ERT
|
||
status collapsed
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
}
|
||
\end_layout
|
||
|
||
\end_inset
|
||
|
||
|
||
\end_layout
|
||
|
||
\begin_layout Subtitle
|
||
Subtitle
|
||
\end_layout
|
||
|
||
\begin_layout Author
|
||
Suzi Smith
|
||
\begin_inset ERT
|
||
status collapsed
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
|
||
\backslash
|
||
and
|
||
\end_layout
|
||
|
||
\end_inset
|
||
|
||
Paul C.
|
||
Anagnostopoulos
|
||
\begin_inset ERT
|
||
status collapsed
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
}{
|
||
\end_layout
|
||
|
||
\end_inset
|
||
|
||
Princeton University
|
||
\begin_inset ERT
|
||
status collapsed
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
}{
|
||
\end_layout
|
||
|
||
\end_inset
|
||
|
||
smith@cs.princeton.edu
|
||
\begin_inset Newline newline
|
||
\end_inset
|
||
|
||
anagnostopoulos@cs.princeton.edu
|
||
\begin_inset Note Note
|
||
status open
|
||
|
||
\begin_layout Plain Layout
|
||
At least one autor is required.
|
||
\end_layout
|
||
|
||
\begin_layout Plain Layout
|
||
The Author field expects 3 infos that are separated by
|
||
\begin_inset Quotes eld
|
||
\end_inset
|
||
|
||
|
||
\series bold
|
||
}{
|
||
\series default
|
||
|
||
\begin_inset Quotes erd
|
||
\end_inset
|
||
|
||
in TeX-code as in these examples.
|
||
\end_layout
|
||
|
||
\end_inset
|
||
|
||
|
||
\end_layout
|
||
|
||
\begin_layout Author
|
||
Fred Flymuffin
|
||
\begin_inset ERT
|
||
status collapsed
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
}{
|
||
\end_layout
|
||
|
||
\end_inset
|
||
|
||
Washington University in St.
|
||
Louis
|
||
\begin_inset Newline newline
|
||
\end_inset
|
||
|
||
Department of Electrical and Computer Engineering
|
||
\begin_inset Newline newline
|
||
\end_inset
|
||
|
||
3301 S Dearborn Street
|
||
\begin_inset Newline newline
|
||
\end_inset
|
||
|
||
St.
|
||
Louis, XX 60616, USA
|
||
\begin_inset ERT
|
||
status collapsed
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
}{
|
||
\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
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
|
||
\backslash
|
||
category{B.2.4}{Arithmetic and Logic Structures}{High-Speed Arithmetic}
|
||
\end_layout
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
|
||
\backslash
|
||
category{B.7.1}{Integrated Circuits}{Types and Design Styles}[algorithms implement
|
||
ed into hardware]
|
||
\end_layout
|
||
|
||
\end_inset
|
||
|
||
|
||
\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
|
||
This is the introduction to this paper.
|
||
\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
|
||
|
||
\begin_layout Bibliography
|
||
\begin_inset CommandInset bibitem
|
||
LatexCommand bibitem
|
||
key "ahmed02"
|
||
|
||
\end_inset
|
||
|
||
Amal
|
||
\begin_inset space ~
|
||
\end_inset
|
||
|
||
J.
|
||
Ahmed, Andrew
|
||
\begin_inset space ~
|
||
\end_inset
|
||
|
||
W.
|
||
Appel, and Roberto Virga.
|
||
\begin_inset ERT
|
||
status collapsed
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
|
||
\backslash
|
||
newblock
|
||
\end_layout
|
||
|
||
\end_inset
|
||
|
||
A stratified semantics of general references embeddable in higher-order
|
||
logic.
|
||
\begin_inset ERT
|
||
status collapsed
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
|
||
\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.
|
||
\end_layout
|
||
|
||
\begin_layout Bibliography
|
||
\begin_inset CommandInset bibitem
|
||
LatexCommand bibitem
|
||
key "appel01:fpcc"
|
||
|
||
\end_inset
|
||
|
||
Andrew
|
||
\begin_inset space ~
|
||
\end_inset
|
||
|
||
W.
|
||
Appel.
|
||
\begin_inset ERT
|
||
status collapsed
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
|
||
\backslash
|
||
newblock
|
||
\end_layout
|
||
|
||
\end_inset
|
||
|
||
Foundational proof-carrying code.
|
||
\begin_inset ERT
|
||
status collapsed
|
||
|
||
\begin_layout Plain Layout
|
||
|
||
|
||
\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
|