3307 search results - page 459 / 662 » The meaning of concurrent programs |
191
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
192
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
239
click to vote
WAN
1998
Springer
15 years 10 months ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...
200
click to vote
CAV
1997
Springer
15 years 10 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
227
click to vote
CNHPCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Branch Prediction is a common function in nowadays microprocessor. Branch predictor is duplicated into multiple copies in each core of a multicore and many-core processor...