Sciweavers

2355 search results - page 8 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
DAC
1993
ACM
15 years 3 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
15 years 4 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
15 years 5 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
14 years 9 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
14 years 11 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