Sciweavers

674 search results - page 25 / 135
» Toward Self-Stabilizing Operating Systems
Sort
View
89
Voted
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
15 years 5 months ago
Towards a Procedural Model for Sustainable Information Systems Management
The increasing economical, ecological and social significance of information systems (IS) demands reorientation for IS management. Ever-growing energy consumption, waste streams, ...
Nils-Holger Schmidt, Koray Erek, Lutz Kolbe, R&uum...
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 1 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
KIVS
2009
Springer
15 years 4 months ago
Towards the Design of Unexploitable Construction Mechanisms for Multiple-Tree Based P2P Streaming Systems
Abstract. In peer-to-peer based live streaming systems, a great number of participants have to cooperate to efficiently and reliably distribute a continuous flow of data. Each rec...
Michael Brinkmeier, Mathias Fischer, Sascha Grau, ...
CLUSTER
2008
IEEE
15 years 4 months ago
Towards an understanding of the performance of MPI-IO in Lustre file systems
—Lustre is becoming an increasingly important file system for large-scale computing clusters. The problem, however, is that many data-intensive applications use MPI-IO for their ...
Jeremy Logan, Phillip M. Dickens
SRDS
2008
IEEE
15 years 4 months ago
Towards Reliable Reputations for Dynamic Networked Systems
A new generation of distributed systems and applications rely on the cooperation of diverse user populations motivated by self-interest. While they can utilize “reputation syste...
Gayatri Swamynathan, Ben Y. Zhao, Kevin C. Almerot...