70 search results - page 8 / 14 » Refining the control structure of loops using static analysi... |
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
—As networked systems grow in complexity, they are increasingly vulnerable to denial-of-service (DoS) attacks involving resource exhaustion. A single malicious input of coma can ...
103
click to vote
PLDI
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
EUROPAR
2004
Springer
15 years 5 months ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...
74
Voted
CCE
2005
15 years 8 days ago
2005
The Petlyuk distillation configuration has received considerable attention because of its efficiency to reduce the energy required for the separation of ternary mixtures. The stru...
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...