1491 search results - page 216 / 299 » Resource-Passing Concurrent Programming |
170
click to vote
CAV
2006
Springer
15 years 10 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...
170
click to vote
EMSOFT
2004
Springer
15 years 10 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...
220
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...
183
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,...
176
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...