363 search results - page 13 / 73 » ipps 2007 |
106
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...
110
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Grid computing allows the utilization of vast computational resources for solving complex scientific and engineering problems. However, development tools for Grid applications are...
127
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we augment DLT (Divisible Load Theory) with incentives such that it is beneficial for processors to report their true processing capacity and compute their assignme...
117
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Consider the problem of scheduling a set of sporadically arriving tasks on a uniform multiprocessor with the goal of meeting deadlines. A processor p has the speed Sp. Tasks can b...
159
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...