Typical algorithms for distributed or parallel computations are cooperative, meaning that the sequential component is broken down into cooperating pieces, which are distributed across available hardware. An approach wich has recently gained some attention is competitive processing, where several versions of a sequential program are distributed across available processors to gain performance from algorithmic diversity. There is also potential for fault tolerance from available hardware by executing the sequential versions, called alternatives, on a distributed configuration. Schemes for implementing competitive concurrent processing have been described in the literature, but there is little implementation experience. RB is a practical step t...
A new proposal for synchronization and communication in parallel programs is presented. The proposa...
In this paper the main approaches to constructing concurrent programs will be presented and compared...
Practical and efficient concurrent systems are notoriously hard to design, implement, and verify. As...
This paper introduces the newest version of the SR concurrent programming language and illustrates h...
RB is a programming language for specifying redundancy in various dimensions. Avizienis's notation T...
The programming of parallel and distributed applications is difficult. The proliferation of net wor...
This work is aimed at extending a parallel computing framework for radial basis functions methods fo...
Institute for Computing Systems ArchitectureThis thesis concerns the use of the Bird- Meertens Forma...
A concurrent system is a collection of processors that communicate by reading and writing from a sha...
RB is a set of constructs which can be added to a programming language to specify redundancy in a pr...
Competitive parallel execution (CPE) is a simple yet attractive technique to improve the performance...
We describe parallel extensions of sequential programming languages for writing pro-grams that integ...
this paper we describe the features and semantics of ParC. The rest of this section explains the mot...
This paper proposes extensions of sequential programming languages for parallel programming that hav...
The inevitable transition to parallel programming can be facilitated by appropriate tools, including...
A new proposal for synchronization and communication in parallel programs is presented. The proposa...
In this paper the main approaches to constructing concurrent programs will be presented and compared...
Practical and efficient concurrent systems are notoriously hard to design, implement, and verify. As...
This paper introduces the newest version of the SR concurrent programming language and illustrates h...
RB is a programming language for specifying redundancy in various dimensions. Avizienis's notation T...
The programming of parallel and distributed applications is difficult. The proliferation of net wor...
This work is aimed at extending a parallel computing framework for radial basis functions methods fo...
Institute for Computing Systems ArchitectureThis thesis concerns the use of the Bird- Meertens Forma...
A concurrent system is a collection of processors that communicate by reading and writing from a sha...
RB is a set of constructs which can be added to a programming language to specify redundancy in a pr...
Competitive parallel execution (CPE) is a simple yet attractive technique to improve the performance...
We describe parallel extensions of sequential programming languages for writing pro-grams that integ...
this paper we describe the features and semantics of ParC. The rest of this section explains the mot...
This paper proposes extensions of sequential programming languages for parallel programming that hav...
The inevitable transition to parallel programming can be facilitated by appropriate tools, including...
A new proposal for synchronization and communication in parallel programs is presented. The proposa...
In this paper the main approaches to constructing concurrent programs will be presented and compared...
Practical and efficient concurrent systems are notoriously hard to design, implement, and verify. As...