Sciweavers

2355 search results - page 8 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
DAC
1993
ACM
14 years 1 months ago
Rotation Scheduling: A Loop Pipelining Algorithm
— We consider the resource-constrained scheduling of loops with interiteration dependencies. A loop is modeled as a data flow graph (DFG), where edges are labeled with the numbe...
Liang-Fang Chao, Andrea S. LaPaugh, Edwin Hsing-Me...
FTDCS
1999
IEEE
14 years 2 months ago
A Simulation Model of Task Cluster Scheduling in Distributed Systems
This paper addresses issues of task clustering-the coalition of several fine grain tasks into single coarser grain tasks called task clusters+md task cluster scheduling on distrib...
Helen D. Karatza
PPAM
2007
Springer
14 years 3 months ago
A Formal Model of Multi-agent Computations
Abstract. The paper contains an extension of a formal model of multiagent computing system developed in previous publications towards considering a more general system state. We pr...
Maciej Smolka
FSTTCS
2010
Springer
13 years 7 months ago
Model Checking Concurrent Programs with Nondeterminism and Randomization
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
CCE
2004
13 years 9 months ago
Continuous-time versus discrete-time approaches for scheduling of chemical processes: a review
An overview of developments in the scheduling of multiproduct/multipurpose batch and continuous processes is presented. Existing approaches are classified based on the time repres...
Christodoulos A. Floudas, Xiaoxia Lin