252 search results - page 16 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
106
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
126
Voted
EDOC
2011
IEEE
14 years 5 days ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
102
Voted
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
100
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, we study the problem of finding optimal mappings for several independent but concurrent workflow applications, in order to optimize performance-related criteria tog...
115
Voted
CLUSTER
2001
IEEE
15 years 4 months ago
2001
IEEE
This paper presents a distributed object model MOIDE for solving irregularly structured problems on cluster. The primary appeal of MOIDE is its flexible system structure that is a...