1: \documentclass[10pt]{IEEEtran}
2: \usepackage{pstricks}
3: \usepackage{pst-node}
4: \usepackage{pst-rel-points}
5: \usepackage{amssymb}
6: \usepackage{mathptm}
7: \usepackage{calc}
8: \usepackage{ifthen}
9: \usepackage{graphicx}
10:
11: \textwidth 6.5in
12: \textheight 9.2in
13: \oddsidemargin 0in
14: \evensidemargin 0in
15: \topmargin -.2in
16:
17: \bibliographystyle{plain}
18:
19: \newcommand{\bigsqcap}{ \begin{picture}(15,10)
20: \thicklines
21: \put(3,10){\line(1,0){9}}
22: \put(3,-1){\line(0,1){11}}
23: \put(12,-1){\line(0,1){11}}
24: \end{picture}
25: }
26: \newcommand{\MEETop}{\mbox{$\sqcap$}}
27: \newcommand{\NEWMEET}[2]{\mbox{\raisebox{-1.6ex}
28: {$\stackrel{#2}
29: {\stackrel{\bigsqcap}
30: {\scriptstyle #1}}$}}}
31:
32: \newenvironment{PROOF}{\noindent{\bf Proof :}}{}
33: \newtheorem{crlry}{Corollary}
34: \newenvironment{COROLLARY}{\crlry {\em\bf$\!\!\!\!$. }}{}
35: \newtheorem{thrm}{Theorem}
36: \newenvironment{THEOREM}[1]{\thrm \label{#1}{\em\bf$\!\!\!\!$. }}{}
37: \newtheorem{exmpl}{Example}
38: \newenvironment{EXAMPLE}[1]{\exmpl {\em } \label{#1}\rm }{}
39:
40: \newcommand{\edg}{{\em entity dependence graph}}
41: \newcommand{\EDG}{{\em EDG}}
42: \newcommand{\EDGs}{{\em EDG\/}s}
43: \newcommand{\nedg}{\mbox{$N_{\mbox{\scriptsize\em edg}}$}}
44: \newcommand{\eedg}{\mbox{$E_{\mbox{\scriptsize\em edg}}$}}
45: \newcommand{\en}{\mbox{$\alpha$}}
46:
47: \newcommand{\Hfn}{\mbox{$\widehat{h}\,$}}
48: \newcommand{\weight}{\mbox{\sf\em Wt\/}}
49: \newcommand{\enNum}{\mbox{$\xi$}}
50: \newcommand{\depth}{\mbox{\sf\em d\/}}
51: \newcommand{\undef}{\mbox{\sf\em undef\/}}
52: \newcommand{\nonconst}{\mbox{\sf\em nonconst\/}}
53: \newcommand{\fmod}{\mbox{\sf\em dfpmod$\!\,_f$\/}}
54: \newcommand{\fuse}{\mbox{\sf\em dfpuse$_f$\/}}
55:
56: \newcommand{\LD}{\mbox{${L}$}}
57: \newcommand{\topd}{\mbox{$\top$}}
58: \newcommand{\botd}{\mbox{$\bot$}}
59: \newcommand{\Lt}{\mbox{$\widehat{L}\,$}}
60: \newcommand{\Tt}{\mbox{$\widehat{\top}$}}
61: \newcommand{\Bt}{\mbox{$\widehat{\bot}$}}
62: \newcommand{\Xt}{\mbox{$\widehat{X}$}}
63: \newcommand{\Yt}{\mbox{$\widehat{Y}$}}
64: \newcommand{\HEFF}{\mbox{$H^{\mbox{\em eff}}$}}
65: \newcommand{\HF}{\mbox{$H\!\!_{f}$}}
66: \newcommand{\HL}{\mbox{$H$}}
67: \newcommand{\HMAX}{\mbox{$H\!_{max}$}}
68: \newcommand{\Ht}{\mbox{$\widehat{H}$}}
69: \newcommand{\dff}{\mbox{\boldmath$D$}}
70: \newcommand{\idff}{\mbox{\boldmath$I_D$}}
71: \newcommand{\CFG}{\mbox{CFG}}
72:
73: \pagestyle{empty}
74: \thispagestyle{empty}
75:
76: \begin{document}
77:
78: \title{Complexity of Data Flow Analysis for Non-Separable Frameworks}
79:
80:
81: \author{\begin{tabular}{cc}
82: Bageshri (Sathe) Karkare$^\ast$\thanks{$^\ast$Supported by Infosys
83: Technologies Limited, Bangalore, under \mbox{Infosys\/} Fellowship
84: Award.}\ \ & Uday Khedker \\
85: {Dept. of Computer Science \& Engg.}, &{Dept. of Computer Science \& Engg.}, \\
86: Indian Institute of Technology, Bombay &
87: Indian Institute of Technology, Bombay \\
88: Mumbai, India & Mumbai, India \\
89: {\tt bageshri@cse.iitb.ac.in} &
90: {\tt uday@cse.iitb.ac.in}
91: \end{tabular}}
92: \date{}
93: \maketitle
94: \thispagestyle{empty}
95:
96: \begin{abstract}
97: \normalsize \rm
98: \input{abstract}
99: \end{abstract}
100:
101: \begin{keywords}
102: \rm \normalsize
103: Data flow analysis, Complexity, Constant propagation
104: \end{keywords}
105:
106: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
107: \input{intro_back}
108: \input{complexity.tex}
109: \input{impl}
110: \input{conclusions}
111: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
112:
113: \subsection*{Acknowledgments}
114: We wish to thank Amitabha Sanyal, Supratim Biswas and Amey Karkare for
115: their useful comments. Garima Lahoti helped in the prototype
116: implementation.
117:
118: \bibliography{mybiblio}
119:
120: \end{document}
121:
122:
123: