1227 search results - page 54 / 246 » A Programming Model for Time-Synchronized Distributed Real-T... |
107
Voted
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
119
Voted
HIPS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
104
click to vote
HPDC
1993
IEEE
15 years 6 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
118
click to vote
SSS
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
138
click to vote
FIDJI
2003
Springer
15 years 7 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...