373 search results - page 51 / 75 » On a model of three-dimensional bursting and its parallel im... |
COORDINATION
2008
Springer
13 years 10 months ago
2008
Springer
Most mature workflow management systems (WfMSs) available today execute workflows via orchestration of an available set of services, a process in which a central coordinating enti...
ISORC
2009
IEEE
14 years 3 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
We study three scheduling problems (file redistribution, independent tasks scheduling and broadcasting) on large scale heterogeneous platforms under the Bounded Multi-port Model. I...
LCPC
1993
Springer
14 years 21 days ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
FMICS
2006
Springer
14 years 8 days ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...