Sciweavers

1624 search results - page 208 / 325
» Fairness in multi-agent systems
Sort
View
DATE
2008
IEEE
120views Hardware» more  DATE 2008»
16 years 1 months ago
A Case Study in Reliability-Aware Design: A Resilient LDPC Code Decoder
Chip reliability becomes a great threat to the design of future microelectronic systems with the continuation of the progressive downscaling of CMOS technologies. Hence increasing...
Matthias May, Matthias Alles, Norbert Wehn
IPPS
2006
IEEE
16 years 29 days ago
Cooperative load balancing for a network of heterogeneous computers
In this paper we present a game theoretic approach to solve the static load balancing problem in a distributed system which consists of heterogeneous computers connected by a sing...
Satish Penmatsa, Anthony T. Chronopoulos
TACAS
2005
Springer
115views Algorithms» more  TACAS 2005»
16 years 12 days ago
On-the-Fly Reachability and Cycle Detection for Recursive State Machines
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P....
APN
2004
Springer
16 years 10 days ago
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
Gianfranco Ciardo
LCN
2003
IEEE
16 years 6 days ago
Implementation of Resilient Packet Ring Nodes Using Network Processors
Network processors offer a new flexibility for network applications and reduce the time to market for data processing systems. In this paper, we describe the changed development p...
Andreas Kirstädter, Axel Hof, Walter Meyer, E...