4716 search results - page 602 / 944 » Iterative-free program analysis |
147
click to vote
DSN
2005
IEEE
16 years 3 days 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 ...
165
click to vote
PODC
2005
ACM
16 years 1 days 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...
160
click to vote
EUROPAR
2005
Springer
16 years 23 hour 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 ...
166
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
Generics (templates) attempt to unify similar program structures to avoid redundancy. How well do generics serve this purpose in practice? We try to answer this question through e...
156
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...