2355 search results - page 317 / 471 » Scheduling in the Z-Polyhedral Model |
188
click to vote
WSC
2008
15 years 9 months ago
2008
Simulation techniques can provide a resource-driven schedule and answer many hypothetical scenarios before project execution to improve on conventional project management software...
153
click to vote
HPCC
2007
Springer
16 years 29 days ago
2007
Springer
We propose a model for describing the parallel performance of multigrid software on distributed memory architectures. The goal of the model is to allow reliable predictions to be m...
170
click to vote
ICSOC
2007
Springer
16 years 29 days ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
187
click to vote
ISOLA
2007
Springer
16 years 29 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
199
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
The paper presents SmartNetSolve, an extension of NetSolve, the programming system for high performance Grid computing. The extension is aimed at higher performance of Grid applic...