| 
								
							 | 
							
								% theorem-like environments
							 | 
						
						
						
							| 
								
							 | 
							
								% \newtheorem{thm}{Theorem}[section]
							 | 
						
						
						
							| 
								
							 | 
							
								% \newtheorem{cor}[thm]{Corollary}
							 | 
						
						
						
							| 
								
							 | 
							
								% \newtheorem{lem}[thm]{Lemma}
							 | 
						
						
						
							| 
								
							 | 
							
								% \newtheorem{definition}[thm]{Definition}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\newtheorem{prop}{Proposition}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								% Definitions for old versions
							 | 
						
						
						
							| 
								
							 | 
							
								%% \newtheorem*{algorithm}{Algorithm}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \theoremstyle{remark}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \newtheorem*{rmk}{Remark}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \newtheorem*{ToJane}{To Jane}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \newtheorem*{ToDaniel}{To Daniel}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \theoremstyle{plain}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \newtheorem*{rd_algorithm}{Reference Deadline Algorithm}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \newtheorem*{edf_rd}{EDF-RD Algorithm}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \newtheorem*{PSA}{Period Synthesis Algorithm}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \newtheorem*{priority_boosting_edf}{Priority-Boosting EDF Algorithm}
							 | 
						
						
						
							| 
								
							 | 
							
								%% % Using symbole as the footnote mark
							 | 
						
						
						
							| 
								
							 | 
							
								%% %\renewcommand{\thefootnote}{\fnsymbol{footnote}}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\newtheorem{plain_definition}{Definition}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								%% \def\singlespace{\baselineskip=11pt plus 2pt}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \def\oneandonehalfspace{\baselineskip=17pt plus 4pt}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \def\doublespace{\baselineskip=22pt plus 4pt} 
							 | 
						
						
						
							| 
								
							 | 
							
								% \def\doublespace{\baselineskip=26pt plus 4pt}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\newtheorem{theorem}{Theorem}
							 | 
						
						
						
							| 
								
							 | 
							
								\newtheorem{lemma}{Lemma}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\def\slug{\hbox to 6pt{\hfill}\hfill\llap{\vrule height 6pt width 6pt depth 0pt}}
							 | 
						
						
						
							| 
								
							 | 
							
								\def\proof{\futurelet\next{\bf Proof:}}
							 | 
						
						
						
							| 
								
							 | 
							
								%\def\endproof{\hfill\slug}
							 | 
						
						
						
							| 
								
							 | 
							
								\def\endproof{\slug}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\def\appear#1{\def\@appear{#1}}
							 | 
						
						
						
							| 
								
							 | 
							
								\appear{Conference of Fun}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\newcount\timehh\newcount\timemm
							 | 
						
						
						
							| 
								
							 | 
							
								\timehh=\time \divide\timehh by 60
							 | 
						
						
						
							| 
								
							 | 
							
								\timemm=\time \count255=\timehh \multiply\count255 by -60 \advance\timemm by \count255
							 | 
						
						
						
							| 
								
							 | 
							
								\def\paperdraftheadertime{Draft of \today\ at \ifnum\timehh<10 0\fi\number\timehh\,:\,\ifnum\timemm<10 0\fi\number\timemm}%
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\def\paperdraftheaderday{\footnotesize Draft of \today\ for \@appear.\ }%
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\def\paperdraftheader{\paperdraftheaderday}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\newcommand{\draft}{\pagestyle{myheadings}\markboth{\paperdraftheader\hfil}{\paperdraftheader\hfil}\setlength {\headheight}{0.3truein}\setlength {\headsep}{0.2truein}}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\def\submission#1{\def\@submission{#1}}
							 | 
						
						
						
							| 
								
							 | 
							
								\submission{Conference of Fun}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\def\submitheaderday{\footnotesize Submitted to \@appear.\  }%
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\def\submitheader{\submitheaderday}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\newcommand{\submit}{\pagestyle{myheadings}\markboth{\submitheader\hfil}{\submitheader\hfil}\setlength {\headheight}{0.3truein}\setlength {\headsep}{0.2truein}}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\def\appearinheaderday{\footnotesize Appeared in \@appear.\  }
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\def\appearinheader{\appearinheaderday}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\newcommand{\appearin}{\pagestyle{myheadings}\markboth{\appearinheader\hfil}{\appearinheader\hfil}\setlength {\headheight}{0.3truein}\setlength {\headsep}{0.2truein}}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\def\u#1{\underline{#1}}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\newcommand{\good}{\ding{51}}
							 | 
						
						
						
							| 
								
							 | 
							
								\newcommand{\bad}{\ding{55}}
							 | 
						
						
						
							| 
								
							 | 
							
								\font\tenhv  = phvb at 10pt
							 | 
						
						
						
							| 
								
							 | 
							
								\def\easycaption#1{\vskip 10pt \centerline{\tenhv #1}}
							 | 
						
						
						
							| 
								
							 | 
							
								\font\tenhvs  = phvb at 8pt
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								% ---- OPERATORS (requires amsmath) ----
							 | 
						
						
						
							| 
								
							 | 
							
								\def\aff{\operatorname{aff}}    % (\Line is better!)
							 | 
						
						
						
							| 
								
							 | 
							
								\def\area{\operatorname{area}}
							 | 
						
						
						
							| 
								
							 | 
							
								\def\argmax{\operatornamewithlimits{arg\,max}}
							 | 
						
						
						
							| 
								
							 | 
							
								\def\argmin{\operatornamewithlimits{arg\,min}}
							 | 
						
						
						
							| 
								
							 | 
							
								\def\Aut{\operatorname{Aut}}    % Automorphism group
							 | 
						
						
						
							| 
								
							 | 
							
								\def\card{\operatorname{card}}    % cardinality, deprecated for \abs
							 | 
						
						
						
							| 
								
							 | 
							
								\def\conv{\operatorname{conv}}    % (\overline is better!)
							 | 
						
						
						
							| 
								
							 | 
							
								\def\E{\operatorname{E}}    % Expectation: $\E[X]$ (like \Pr)
							 | 
						
						
						
							| 
								
							 | 
							
								\def\EE{\operatornamewithlimits{E}}
							 | 
						
						
						
							| 
								
							 | 
							
								\def\Hom{\operatorname{Hom}}    % Homomorphism group
							 | 
						
						
						
							| 
								
							 | 
							
								\def\id{\operatorname{id}}    % identity
							 | 
						
						
						
							| 
								
							 | 
							
								\def\im{\operatorname{im}}    % image
							 | 
						
						
						
							| 
								
							 | 
							
								\def\lcm{\operatorname{lcm}}
							 | 
						
						
						
							| 
								
							 | 
							
								\def\lfs{\operatorname{lfs}}    % local feature size
							 | 
						
						
						
							| 
								
							 | 
							
								\def\poly{\operatorname{poly}}
							 | 
						
						
						
							| 
								
							 | 
							
								\def\polylog{\operatorname{polylog}}
							 | 
						
						
						
							| 
								
							 | 
							
								\def\rank{\operatorname{rank}}
							 | 
						
						
						
							| 
								
							 | 
							
								\def\rel{\operatorname{rel\,}}    % relative (interior, boundary, etc.)
							 | 
						
						
						
							| 
								
							 | 
							
								\def\sgn{\operatorname{sgn}}
							 | 
						
						
						
							| 
								
							 | 
							
								\def\vol{\operatorname{vol}}    % volume
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\def\fp#1{^{\underline{#1}}}            % falling powers: $n\fp{d}$
							 | 
						
						
						
							| 
								
							 | 
							
								\def\rp#1{^{\overline{#1}}}             % rising powers:  $n\rp{d}$
							 | 
						
						
						
							| 
								
							 | 
							
								 
							 | 
						
						
						
							| 
								
							 | 
							
								\usepackage{color,soul}
							 | 
						
						
						
							| 
								
							 | 
							
								\usepackage{myColor} 
							 | 
						
						
						
							| 
								
							 | 
							
								\input{mycolor.cfg}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\newcommand{\ap}{\ding{51}}
							 | 
						
						
						
							| 
								
							 | 
							
								\newcommand{\nap}{\ding{55}}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								\usepackage[colorinlistoftodos]{todonotes}
							 | 
						
						
						
							| 
								
							 | 
							
								%% \usepackage{easyReview} 
							 | 
						
						
						
							| 
								
							 | 
							
								\newcommand{\add}[1]{\todo[color=red!40,inline]{#1}}
							 | 
						
						
						
							| 
								
							 | 
							
								\newcommand{\rewrite}[1]{\todo[color=green!40,inline]{#1}}
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								
							 | 
						
						
						
							| 
								
							 | 
							
								%
							 | 
						
						
						
							| 
								
							 | 
							
								%
							 | 
						
						
						
							| 
								
							 | 
							
								% \newcommand{\argmax}{\mathop}{\mathrm{argmax}}}
							 |