writing
This commit is contained in:
232
src/main.tex
232
src/main.tex
@@ -196,108 +196,49 @@ submission.
|
|||||||
|
|
||||||
This template can be found on the conference website.
|
This template can be found on the conference website.
|
||||||
|
|
||||||
\subsection{Figures}
|
\section{Syntax}
|
||||||
\label{ssec:figures}
|
\label{sec:syntax}
|
||||||
|
|
||||||
All figures should be centered on the column (or page, if the figure spans both
|
|
||||||
columns). Figure captions (in italic) should follow each figure and have the
|
|
||||||
format given in Figure~\ref{fft_plot}. Vectorial figures are preferred (e.g.,
|
|
||||||
Postscript, PDF, etc.). Also, in order to provide a better readability, figure
|
|
||||||
text font size should be at least identical to footnote font size. If bitmap
|
|
||||||
figures are used, please make sure that the resolution is enough for print
|
|
||||||
quality. Figure~\ref{ftt_plot2} illustrates an example of a figure spanning two
|
|
||||||
columns.
|
|
||||||
|
|
||||||
\begin{figure}[ht]
|
\begin{figure}[ht]
|
||||||
\centerline{\includegraphics[scale=0.7]{counter.pdf}}
|
\begin{equation*}
|
||||||
\caption{\label{fft_plot}{\it \F{} counter.}}
|
\begin{aligned}
|
||||||
|
\tau ::=&\quad R_a \quad & a \in \mathbb{N}\\
|
||||||
|
|&\quad I_n \quad &n \in \mathbb{N} \\\
|
||||||
|
|&\quad \tau \rightarrow \tau \quad &a,b \in \mathbb{N}\\
|
||||||
|
% |&\quad \langle \tau \rangle
|
||||||
|
\end{aligned}
|
||||||
|
\end{equation*}
|
||||||
|
\caption{\label{fig:syntax_ty}{\it Syntax of the $\lambda_{mmm}$.}}
|
||||||
\end{figure}
|
\end{figure}
|
||||||
|
|
||||||
\begin{figure*}[ht]
|
|
||||||
\center
|
|
||||||
\includegraphics[width=5in]{TwoColumnSine2}
|
|
||||||
\caption{\label{ftt_plot2}{\it A figure spanning two columns, as mentioned in
|
|
||||||
Sec. \ref{ssec:figures}.}}
|
|
||||||
\end{figure*}
|
|
||||||
|
|
||||||
\subsection{Tables}
|
where equation (\ref{fig:syntax_ty}) is a one pole filter with frequency response:
|
||||||
|
|
||||||
As for figures, all tables should be centered on the column (or page, if the
|
\begin{figure}[ht]
|
||||||
table spans both columns). Table captions should be in italic, precede each
|
\begin{equation*}
|
||||||
table and have the format given in Table~\ref{tab:example}.
|
\begin{align}
|
||||||
|
v \; ::= & \quad R \\
|
||||||
|
| & \quad \lambda x:\tau.e \quad & [lambda]\\
|
||||||
|
|& \quad fix \; x.e \quad & [fixpoint]\\
|
||||||
|
|& \quad feed \; x.e \quad & [feed] \\
|
||||||
|
\end{aligned}
|
||||||
|
\end{equation*}
|
||||||
|
\caption{\label{fig:syntax_ty}{\it Syntax of the $\lambda_{mmm}$.}}
|
||||||
|
\end{figure}
|
||||||
|
|
||||||
\begin{table}[ht]
|
\section{Semantics}
|
||||||
\caption{\itshape Basic trigonometric values.}
|
\label{sec:semantics}
|
||||||
\centering
|
|
||||||
\begin{tabular}{|c|c|}
|
|
||||||
\hline
|
|
||||||
$\mathrm{angle}\,(\theta, \mathrm{rad})$ & $\sin \theta$ \\\hline
|
|
||||||
$\frac{\pi}{2}$ & $1$ \\
|
|
||||||
$\pi$ & $0$ \\
|
|
||||||
$\frac{3\pi}{2}$ & $-1$ \\
|
|
||||||
$2\pi$ & $0$ \\\hline
|
|
||||||
\end{tabular}
|
|
||||||
%
|
|
||||||
\label{tab:example}
|
|
||||||
\end{table}
|
|
||||||
|
|
||||||
\begin{table*}[ht]
|
|
||||||
\caption{{\it Basic trigonometric values, spanning two columns.}}
|
|
||||||
\centering
|
|
||||||
\begin{tabular}{|c|c|c|c|c|c|c|}\hline
|
|
||||||
$\mathrm{angle}\, (\theta, \mathrm{rad})$ & $\sin \theta$ & $\cos \theta $ & $(\sin \theta)/2 $ & $(\cos \theta) /2 $ & $(\sin \theta)/3 $ & $(\cos \theta)/3$ \\\hline
|
|
||||||
$\frac{\pi}{2}$ & $1$ & $0$ & $1/2$ & $0$ & $1/3$ & $0$ \\
|
|
||||||
$\pi$ & $0$ & $-1$ & $0$ & $-1/2$ & $0$ & $-1/3$\\
|
|
||||||
$\frac{3\pi}{2}$ & $-1$ & $0$ & $-1/2$ & $0$ & $-1/3$ & $0$ \\
|
|
||||||
$2\pi$ & $0$ & $1$ & $0$ & $1/2$ & $0$ & $1/3$ \\\hline
|
|
||||||
\end{tabular}
|
|
||||||
%
|
|
||||||
\label{tab:example2}
|
|
||||||
\end{table*}
|
|
||||||
|
|
||||||
\subsection{Equations}
|
\section{VM Model and Instruction Set}
|
||||||
|
\label{sec:vm}
|
||||||
|
|
||||||
Equations should be placed on separate lines and numbered:
|
\section{Discussion}
|
||||||
|
\label{sec:discussion}
|
||||||
|
|
||||||
\begin{equation}
|
|
||||||
y(n)=b_0x(n)-a_1y(n-1)
|
|
||||||
\label{eq1}
|
|
||||||
\end{equation}
|
|
||||||
where equation (\ref{eq1}) is a one pole filter with frequency response:
|
|
||||||
\begin{equation}
|
|
||||||
H(e^{j \omega T}) = \frac{b_0}{1+a_1e^{-j \omega T}}
|
|
||||||
\label{eq2}
|
|
||||||
\end{equation}
|
|
||||||
|
|
||||||
\subsection{Code}
|
|
||||||
|
|
||||||
Code can be listed in a block:
|
|
||||||
|
|
||||||
\begin{lstlisting}
|
|
||||||
process = _;
|
|
||||||
\end{lstlisting}
|
|
||||||
\noindent
|
|
||||||
or directly in-lined in the body of the text: \lstinline{process = 1;}.
|
|
||||||
|
|
||||||
\subsection{Page Numbers}
|
|
||||||
|
|
||||||
Page numbers will be added to the document in the post-processing stage, so
|
|
||||||
{\em please leave the numbering as is}.
|
|
||||||
|
|
||||||
\subsection{Reviewing}
|
|
||||||
|
|
||||||
Submissions should not be anonymous for reviewing.
|
|
||||||
|
|
||||||
\subsection{References}
|
|
||||||
|
|
||||||
The references will be numbered in order of appearance \cite{Orlarey2009},
|
|
||||||
\cite{Smith2012}, \cite{Graef2012} and \cite{Michon2011}. Please avoid listing
|
|
||||||
references that do not appear in the text.
|
|
||||||
|
|
||||||
\subsubsection{Reference Format}
|
|
||||||
|
|
||||||
The reference format is the standard IEEE one. We recommend to use BibTeX to
|
|
||||||
create the reference list.
|
|
||||||
|
|
||||||
\section{Conclusions}
|
\section{Conclusions}
|
||||||
|
|
||||||
@@ -316,119 +257,4 @@ Many thanks to the great number of anonymous reviewers!
|
|||||||
\bibliographystyle{IEEEbib}
|
\bibliographystyle{IEEEbib}
|
||||||
\bibliography{IFC-24} % requires file IFC-24.bib
|
\bibliography{IFC-24} % requires file IFC-24.bib
|
||||||
|
|
||||||
\section{Appendix: Margin Check}
|
|
||||||
|
|
||||||
This section shows the column margins for the text. \bigskip\newline
|
|
||||||
|
|
||||||
Lorem ipsum dolor sit amet, consectetur adipisici elit, sed eiusmod tempor
|
|
||||||
incidunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis
|
|
||||||
nostrud exercitation ullamco laboris nisi ut aliquid ex ea commodi consequat.
|
|
||||||
Quis aute iure reprehenderit in voluptate velit esse cillum dolore eu fugiat
|
|
||||||
nulla pariatur. Excepteur sint obcaecat cupiditat non proident, sunt in culpa
|
|
||||||
qui officia deserunt mollit anim id est laborum.
|
|
||||||
|
|
||||||
Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie
|
|
||||||
consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan
|
|
||||||
et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis
|
|
||||||
dolore te feugait nulla facilisi. Lorem ipsum dolor sit amet, consectetuer
|
|
||||||
adipiscing elit, sed diam nonummy nibh euismod tincidunt ut laoreet dolore
|
|
||||||
magna aliquam erat volutpat.
|
|
||||||
|
|
||||||
Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit
|
|
||||||
lobortis nisl ut aliquip ex ea commodo consequat. Duis autem vel eum iriure
|
|
||||||
dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore
|
|
||||||
eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui
|
|
||||||
blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla
|
|
||||||
facilisi.
|
|
||||||
|
|
||||||
Nam liber tempor cum soluta nobis eleifend option congue nihil imperdiet doming
|
|
||||||
id quod mazim placerat facer possim assum. Lorem ipsum dolor sit amet,
|
|
||||||
consectetuer adipiscing elit, sed diam nonummy nibh euismod tincidunt ut
|
|
||||||
laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis
|
|
||||||
nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea
|
|
||||||
commodo consequat.
|
|
||||||
|
|
||||||
Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie
|
|
||||||
consequat, vel illum dolore eu feugiat nulla facilisis.
|
|
||||||
|
|
||||||
At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd
|
|
||||||
gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum
|
|
||||||
dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor
|
|
||||||
invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua. At vero
|
|
||||||
eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no
|
|
||||||
sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit
|
|
||||||
amet, consetetur sadipscing elitr, At accusam aliquyam diam diam dolore dolores
|
|
||||||
duo eirmod eos erat, et nonumy sed tempor et et invidunt justo labore Stet
|
|
||||||
clita ea et gubergren, kasd magna no rebum. sanctus sea sed takimata ut vero
|
|
||||||
voluptua. est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet,
|
|
||||||
consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore
|
|
||||||
et dolore magna aliquyam erat.
|
|
||||||
|
|
||||||
Consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore
|
|
||||||
et dolore magna aliquyam erat, sed diam voluptua. At vero eos et accusam et
|
|
||||||
justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata
|
|
||||||
sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, consetetur
|
|
||||||
sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore
|
|
||||||
magna aliquyam erat, sed diam voluptua. At vero eos et accusam et justo duo
|
|
||||||
dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est
|
|
||||||
Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, consetetur sadipscing
|
|
||||||
elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam
|
|
||||||
erat, sed diam voluptua. At vero eos et accusam et justo duo dolores et ea
|
|
||||||
rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor
|
|
||||||
sit amet.
|
|
||||||
|
|
||||||
Lorem ipsum dolor sit amet, consectetur adipisici elit, sed eiusmod tempor
|
|
||||||
incidunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis
|
|
||||||
nostrud exercitation ullamco laboris nisi ut aliquid ex ea commodi consequat.
|
|
||||||
Quis aute iure reprehenderit in voluptate velit esse cillum dolore eu fugiat
|
|
||||||
nulla pariatur. Excepteur sint obcaecat cupiditat non proident, sunt in culpa
|
|
||||||
qui officia deserunt mollit anim id est laborum.
|
|
||||||
|
|
||||||
|
|
||||||
Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie
|
|
||||||
consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan
|
|
||||||
et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis
|
|
||||||
dolore te feugait nulla facilisi. Lorem ipsum dolor sit amet, consectetuer
|
|
||||||
adipiscing elit, sed diam nonummy nibh euismod tincidunt ut laoreet dolore
|
|
||||||
magna aliquam erat volutpat.
|
|
||||||
|
|
||||||
Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit
|
|
||||||
lobortis nisl ut aliquip ex ea commodo consequat. Duis autem vel eum iriure
|
|
||||||
dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore
|
|
||||||
eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui
|
|
||||||
blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla
|
|
||||||
facilisi.
|
|
||||||
|
|
||||||
Nam liber tempor cum soluta nobis eleifend option congue nihil imperdiet doming
|
|
||||||
id quod mazim placerat facer possim assum. Lorem ipsum dolor sit amet,
|
|
||||||
consectetuer adipiscing elit, sed diam nonummy nibh euismod tincidunt ut
|
|
||||||
laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis
|
|
||||||
nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea
|
|
||||||
commodo consequat.
|
|
||||||
|
|
||||||
Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie
|
|
||||||
consequat, vel illum dolore eu feugiat nulla facilisis.
|
|
||||||
|
|
||||||
At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd
|
|
||||||
gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum
|
|
||||||
dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor
|
|
||||||
invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua. At vero
|
|
||||||
eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no
|
|
||||||
sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet,
|
|
||||||
consetetur sadipscing elitr, At accusam aliquyam diam diam dolore dolores duo
|
|
||||||
eirmod eos erat, et nonumy sed tempor et et invidunt justo labore Stet clita ea
|
|
||||||
et gubergren, kasd magna no rebum. sanctus sea sed takimata ut vero voluptua.
|
|
||||||
est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, consetetur
|
|
||||||
sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore
|
|
||||||
magna aliquyam erat.
|
|
||||||
|
|
||||||
Consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore
|
|
||||||
et dolore magna aliquyam erat, sed diam voluptua. At vero eos et accusam et
|
|
||||||
justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata
|
|
||||||
sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, consetetur
|
|
||||||
sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore
|
|
||||||
magna aliquyam erat, sed diam voluptua. At vero eos et accusam et justo duo
|
|
||||||
dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est
|
|
||||||
Lorem ipsum dolor sit amet.
|
|
||||||
|
|
||||||
\end{document}
|
\end{document}
|
||||||
|
|||||||
Reference in New Issue
Block a user