Sciweavers

28821 search results - page 339 / 5765
» Distributed and parallel systems
Sort
View
CCGRID
2003
IEEE
15 years 8 months ago
Kernel Level Speculative DSM
Interprocess communication (IPC) is ubiquitous in today's computing world. One of the simplest mechanisms for IPC is shared memory. We present a system that enhances the Syst...
Cristian Tapus
CONCUR
2001
Springer
15 years 9 months ago
Compositional Methods for Probabilistic Systems
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
EUROPAR
2008
Springer
15 years 6 months ago
Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor
Abstract. We describe compiler and run-time optimisations for effective autoparallelisation of C++ programs on the Cell BE architecture. Auto-parallelisation is made easier by anno...
Alastair F. Donaldson, Paul Keir, Anton Lokhmotov
IPPS
2002
IEEE
15 years 9 months ago
A Middleware for Large Scale Networks Inspired by the Immune System
Very large scale networks such as the Internet require a new operational model to use resources efficiently and reduce the need for the administration necessary in clientserver n...
Mohamed Bakhouya, Jaafar Gaber, Abder Koukam
IPPS
2008
IEEE
15 years 11 months ago
Achieving and assuring high availability
We discuss availability aspects of large softwarebased systems. We classify faults into Bohrbugs, Mandelbugs and aging-related bugs, then examine mitigation methods for the last t...
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan...