Sciweavers

3607 search results - page 272 / 722
» Distributed Parallel Computing Using Windows Desktop Systems
Sort
View
ECOOPW
1999
Springer
15 years 7 months ago
Evaluation for Evolution: How Well Commercial Systems Do
Like any other database application object database applications are subject to evolution. Evolution is, however, critical in object databases because it is the very characteristic...
Awais Rashid, Peter Sawyer
141
Voted
ISORC
1998
IEEE
15 years 7 months ago
Object-Oriented Design of Real-Time Telecom Systems
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
Jean-Marc Jézéquel
94
Voted
CONCUR
1990
Springer
15 years 7 months ago
A Temporal Calculus of Communicating Systems
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
Faron Moller, Chris M. N. Tofts
131
Voted
CONCUR
2006
Springer
15 years 7 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
141
Voted
ICDCS
1998
IEEE
15 years 7 months ago
A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks
Novel real-time applications require highperformance real-time distributed systems, and therefore high-performance real-time networks. We examine a Hard Real-Time Distributed Mult...
Jean-François Hermant, Gérard Le Lan...