321 search results - page 27 / 65 » concurrency 2004 |
ISPA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. A loop with irregular assignment computations contains loopcarried output data dependences that can only be detected at run-time. In this paper, a load-balanced method ba...
ACSD
2004
IEEE
14 years 11 days ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
ASYNC
2004
IEEE
14 years 11 days ago
2004
IEEE
De-synchronization appears as a new paradigm to automate the design of asynchronous circuits from synchronous netlists. This paper studies different protocols for de-synchronizatio...
IADIS
2004
13 years 10 months ago
2004
In this paper we focus on the issue of repository transactions. Similar to database objects repository objects can be accessed form multiple clients simultaneously. The organizati...
AI
2004
Springer
13 years 8 months ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...