1379 search results - page 50 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
135
Voted
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
106
click to vote
SC
1992
ACM
15 years 6 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
122
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
150
Voted
CLUSTER
2011
IEEE
14 years 2 months ago
2011
IEEE
Using multi-GPU systems, including GPU clusters, is gaining popularity in scientific computing. However, when using multiple GPUs concurrently, the conventional data parallel GPU...
235
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...