6897 search results - page 252 / 1380 » Parallelization of Modular Algorithms |
131
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
110
Voted
ICDCS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper describes the design of a scripting language aimed at expressing task (unit of computation) composition and inter-task dependencies of distributed applications whose ex...
134
Voted
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
97
Voted
PPSN
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Perhaps one the newest and of the more interesting cooperative approaches to evolutionary computation which has been more recently explored is the area of mutualism. In m...
119
Voted
ICDCS
1996
IEEE
15 years 6 months ago
1996
IEEE
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...