18 search results - page 4 / 4 » Acyclicity and Coherence in Multiplicative Exponential Linea... |
115
click to vote
ICFP
2007
ACM
16 years 12 days ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
96
Voted
TIT
2002
15 years 2 days ago
2002
This paper considers noncoherent communication over a frequency-nonselective channel in which the time-varying channel gain is unknown a priori, but is approximately constant over ...
111
click to vote
RP
2010
Springer
14 years 10 months ago
2010
Springer
We adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting sys...