854 search results - page 80 / 171 » Addressing Dynamic Issues of Program Model Checking |
219
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
106
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
126
click to vote
COMPUTER
1998
15 years 2 months ago
1998
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...
124
click to vote
GRAPHITE
2004
ACM
15 years 8 months ago
2004
ACM
Growing demand for ubiquitous and pervasive computing has triggered a sharp rise in handheld device usage. At the same time, dynamic multimedia data has become accepted as core ma...
152
Voted
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...