285 search results - page 26 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
125
click to vote
ICPPW
2006
IEEE
15 years 7 months ago
2006
IEEE
Applications augmented with adaptive capabilities are becoming common in parallel computing environments which share resources such as main memory, network, or disk I/O. For large...
139
click to vote
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
The assignment problem originally arising from parallel and distributed computing has been investigated intensively since the 70’s when Harold Stone proposed a method to solve i...
109
Voted
SC
2003
ACM
15 years 6 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
101
click to vote
APSEC
2000
IEEE
15 years 6 months ago
2000
IEEE
Workflow management systems are increasingly used to assist the automation of business processes that involve the exchange of documents, information, or task execution results. Re...
124
Voted
ISQED
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...