4722 search results - page 332 / 945 » Encoding Program Executions |
167
click to vote
ICPP
1993
IEEE
15 years 11 months ago
1993
IEEE
: This paper presents a Data-Distributed Execution approach that exploits interation-level parallelism in loops operating over arrays. It performs data-dependency analysis, based o...
182
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
182
click to vote
OMER
2001
15 years 8 months ago
2001
: Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interfac...
158
click to vote
SFP
2003
15 years 8 months ago
2003
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...
157
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...