Sciweavers

945 search results - page 22 / 189
» A Schedulability Analysis of Deferrable Scheduling Using Pat...
Sort
View
ICRA
2007
IEEE
118views Robotics» more  ICRA 2007»
14 years 1 months ago
Scheduling Analysis of Cluster Tools with Buffer/Process Modules
— Modeling and scheduling of cluster tools are critical to improving the productivity and to enhancing the design of wafer processing flows and equipment for semiconductor manuf...
Jingang Yi, Shengwei Ding, Dezhen Song, Mike Tao Z...
SIGMETRICS
2004
ACM
127views Hardware» more  SIGMETRICS 2004»
14 years 24 days ago
Performance analysis of LAS-based scheduling disciplines in a packet switched network
The Least Attained Service (LAS) scheduling policy, when used for scheduling packets over the bottleneck link of an Internet path, can greatly reduce the average flow time for sh...
Idris A. Rai, Guillaume Urvoy-Keller, Mary K. Vern...
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
13 years 12 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
TASE
2008
IEEE
13 years 6 months ago
Steady-State Throughput and Scheduling Analysis of Multicluster Tools: A Decomposition Approach
Abstract--Cluster tools are widely used as semiconductor manufacturing equipment. While throughput analysis and scheduling of single-cluster tools have been well-studied, research ...
Jingang Yi, Shengwei Ding, Dezhen Song, Mike Tao Z...
CODES
2006
IEEE
14 years 1 months ago
The pipeline decomposition tree: : an analysis tool for multiprocessor implementation of image processing applications
Modern embedded systems for image processing involve increasingly complex levels of functionality under real-time and resourcerelated constraints. As this complexity increases, th...
Dong-Ik Ko, Shuvra S. Bhattacharyya