6960 search results - page 938 / 1392 » Continuity Analysis of Programs |
170
Voted
SIGSOFT
2006
ACM
16 years 8 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
150
click to vote
CGO
2005
IEEE
15 years 12 months ago
2005
IEEE
Many excepting instructions cannot be removed by existing Partial Redundancy Elimination (PRE) algorithms because the ordering constraints must be preserved between the excepting ...
144
click to vote
DSN
2005
IEEE
15 years 12 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
160
click to vote
PODC
2005
ACM
15 years 12 months ago
2005
ACM
In this paper, we initiate the study of the approximability of the facility location problem in a distributed setting. In particular, we explore a trade-off between the amount of...
157
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
Ibis1 is a programming environment for the development of grid applications in Java. We aim to support a wide range of applications and parallel platforms, so our example programs ...