1204 search results - page 161 / 241 » Termination of Polynomial Programs |
89
Voted
TSP
2010
14 years 7 months ago
2010
Abstract--This correspondence considers the problem of robust waveform design in the presence of colored Gaussian disturbance under a similarity and an energy constraint. We resort...
119
click to vote
ICFP
2007
ACM
16 years 18 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 ...
209
Voted
POPL
2002
ACM
16 years 29 days ago
2002
ACM
Dataflow analyses can have mutually beneficial interactions. Previous efforts to exploit these interactions have either (1) iteratively performed each individual analysis until no...
109
Voted
ICPP
2008
IEEE
15 years 7 months ago
2008
IEEE
Solving large, irregular graph problems efficiently is challenging. Current software systems and commodity multiprocessors do not support fine-grained, irregular parallelism wel...
105
click to vote
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...