523 search results - page 68 / 105 » Transformations for Model Checking Distributed Java Programs |
113
click to vote
IEEEPACT
1999
IEEE
15 years 6 months ago
1999
IEEE
Trace cache, an instruction fetch technique that reduces taken branch penalties by storing and fetching program instructions in dynamic execution order, dramatically improves inst...
149
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
WWW
2010
ACM
15 years 9 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
157
click to vote
CASES
2009
ACM
14 years 12 months ago
2009
ACM
This paper presents a partitioning and allocation algorithm for an iterative stream compiler, targeting heterogeneous multiprocessors with constrained distributed memory and any c...
142
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...