Sciweavers

1502 search results - page 51 / 301
» Node weighted scheduling
Sort
View
FMSD
2002
107views more  FMSD 2002»
13 years 9 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
IPPS
2007
IEEE
14 years 4 months ago
Stochastic Approach to Scheduling Multiple Divisible Tasks on a Heterogeneous Distributed Computing System
Heterogeneity has been considered in scheduling, but without taking into account the temporal variation of completion times of the sub-tasks for a divisible, independent task. In ...
Ankur Kamthe, Soo-Young Lee
DAGSTUHL
2006
13 years 11 months ago
Decentralization and Mechanism Design for Online Machine Scheduling
We study the online version of the classical parallel machine scheduling problem to minimize the total weighted completion time from a new perspective: We assume that the data of ...
Birgit Heydenreich, Rudolf Müller, Marc Uetz
ICDCS
2006
IEEE
14 years 4 months ago
Distributed Minimal Time Convergecast Scheduling in Wireless Sensor Networks
— We consider applications of sensor networks wherein data packets generated by every node have to reach the base station. This results in a many-to-one communication paradigm re...
Shashidhar Gandham, Ying Zhang, Qingfeng Huang
HOTOS
2003
IEEE
14 years 3 months ago
Scheduling and Simulation: How to Upgrade Distributed Systems
Upgrading the software of long-lived distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes may be down and halting t...
Sameer Ajmani, Barbara Liskov, Liuba Shrira