Sciweavers

570 search results - page 15 / 114
» concurrency 2006
Sort
View
87
Voted
CONCURRENCY
2006
92views more  CONCURRENCY 2006»
14 years 9 months ago
What makes workflows work in an opportunistic environment?
In this paper, we examine the issues of workflow mapping and execution in opportunistic environments such as the grid. As applications become ever more complex, the process of cho...
Ewa Deelman, Tevfik Kosar, Carl Kesselman, Miron L...
JACM
2002
87views more  JACM 2002»
14 years 9 months ago
Bounded concurrent timestamp systems using vector clocks
Abstract. Shared registers are basic objects used as communication mediums in asynchronous concurrent computation. A concurrent timestamp system is a higher typed communication obj...
Sibsankar Haldar, Paul M. B. Vitányi
ECOOPWEXCEPTION
2006
Springer
15 years 1 months ago
Handling Multiple Concurrent Exceptions in C++ Using Futures
Abstract. Exception handling is a well-established mechanism in sequential programming. Concurrency and asynchronous calls introduce the possibility for multiple simultaneous excep...
Matti Rintala
CAV
2006
Springer
209views Hardware» more  CAV 2006»
15 years 1 months ago
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
Koushik Sen, Gul Agha
88
Voted
NJC
2002
109views more  NJC 2002»
14 years 9 months ago
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...