Sciweavers

5149 search results - page 532 / 1030
» Timed Asynchronous Distributed Systems
Sort
View
IPPS
2005
IEEE
16 years 2 days ago
Scheduling Processor Voltage and Frequency in Server and Cluster Systems
Modern server farm and cluster sites consume large quantities of energy both to power and cool the machines in the site. At the same time, less power supply redundancy is offered ...
Ramakrishna Kotla, Soraya Ghiasi, Tom W. Keller, F...
CONCUR
2000
Springer
15 years 10 months ago
Reachability Analysis for Some Models of Infinite-State Transition Systems
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
IPPS
2007
IEEE
16 years 24 days ago
A Model for Large Scale Self-Stabilization
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
Thomas Hérault, Pierre Lemarinier, Olivier ...
PDP
2006
IEEE
16 years 15 days ago
Probabilistic and Dynamic Optimization of Job Partitioning on a Grid Infrastructure
Production grids have a potential for parallel execution of a very large number of tasks but also introduce a high overhead that significantly impacts the execution of short task...
Tristan Glatard, Johan Montagnat, Xavier Pennec
AIRS
2004
Springer
15 years 12 months ago
X-IOTA: An Open XML Framework for IR Experimentation
Carrying out experiments in Information Retrieval is a heavy activity requiring fast tools to treat collections of significant size, and at the same time flexible tools to leave...
Jean-Pierre Chevallet