4400 search results - page 319 / 880 » A proposal for parallel self-adjusting computation |
165
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
179
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
160
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional an...
183
click to vote
PARELEC
2000
IEEE
15 years 11 months ago
2000
IEEE
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
203
click to vote
ICPPW
1999
IEEE
15 years 11 months ago
1999
IEEE
The use of Caching and Multicasting has been studied extensively in the context of terrestrial networks. However, the use of these technologies in a Direct Broadcast Satellite(DBS...