Sciweavers

24554 search results - page 129 / 4911
» Dependable distributed systems
Sort
View
ISOLA
2010
Springer
15 years 2 months ago
Dependability Analysis and Verification for Connected Systems
Felicita Di Giandomenico, Marta Z. Kwiatkowska, Ma...
IPPS
2000
IEEE
15 years 9 months ago
Reconfigurable Parallel Sorting and Load Balancing on a Beowulf Cluster: HeteroSort
HeteroSort load balances and sorts within static or dynamic networks using a conceptual torus mesh. We ported HeteroSort to a 16-node Beowulf cluster with a central switch architec...
Pamela Yang, Timothy M. Kunau, Bonnie Holte Bennet...
IPPS
2007
IEEE
15 years 11 months ago
Improving Scalability of OpenMP Applications on Multi-core Systems Using Large Page Support
Modern multi-core architectures have become popular because of the limitations of deep pipelines and heating and power concerns. Some of these multi-core architectures such as the...
Ranjit Noronha, Dhabaleswar K. Panda
ICDCS
1993
IEEE
15 years 8 months ago
Diagnosis of Single Transition Faults in Communicating Finite State Machines
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
Abderrazak Ghedamsi, Gregor von Bochmann, Rachida ...
114
Voted
EOR
2007
102views more  EOR 2007»
15 years 4 months ago
Bucket brigades with worker learning
The dynamics and throughput of a bucket brigade production system is studied when workersÕ speeds increase due to learning. It is shown that, if the rules of the bucket brigade s...
Dieter Armbruster, Esma Senturk Gel, Junko Murakam...