1911 search results - page 301 / 383 » Program analysis for code duplication in logic programs |
DSN
2005
IEEE
15 years 8 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 ...
107
Voted
EUROPAR
2005
Springer
15 years 8 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 ...
224
Voted
HIPC
2009
Springer
15 years 4 days ago
2009
Springer
The significant growth in computational power of modern Graphics Processing Units(GPUs) coupled with the advent of general purpose programming environments like NVIDA's CUDA,...
93
Voted
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
120
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...