3181 search results - page 291 / 637 » Automated Deployment Support for Parallel Distributed Comput... |
158
Voted
IPPS
2007
IEEE
15 years 9 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-...
111
Voted
PDP
2006
IEEE
15 years 9 months ago
2006
IEEE
The different approaches of emerging workflow modeling languages are manifold. Today, there exist many notations for workflow modeling with various specializations on different do...
140
click to vote
IEEEPACT
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes a technique for utilizing predication to support software pipelining on EPIC architectures in the presence of dynamic memory aliasing. The essential idea is t...
107
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we describe an adaptive QOS mapping scheme where the QOS parameters of applications are mapped into resource requirements dynamically, and the resources for the appl...
127
click to vote
CCGRID
2001
IEEE
15 years 7 months ago
2001
IEEE
In this paper, we describe the results of an experiment to add support for multimethod communication to the NexusJava communications library using metalevel programming techniques...