Sciweavers

1855 search results - page 212 / 371
» A coding theorem for distributed computation
Sort
View
IPPS
1999
IEEE
15 years 10 months ago
Addressing Real-Time Requirements of Automatic Vehicle Guidance with MMX Technology
Abstract. This paper describes a study concerning the impact of MMX technology in the field of automatic vehicle guidance. Due to the high speed a vehicle can reach, this applicati...
Massimo Bertozzi, Alberto Broggi, Alessandra Fasci...
IPPS
1999
IEEE
15 years 10 months ago
Reducing Parallel Overheads Through Dynamic Serialization
If parallelism can be successfully exploited in a program, significant reductions in execution time can be achieved. However, if sections of the code are dominated by parallel ove...
Michael Voss, Rudolf Eigenmann
COORDINATION
1999
Springer
15 years 10 months ago
A Group Based Approach for Coordinating Active Objects
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
Juan Carlos Cruz, Stéphane Ducasse
ECOOPW
1999
Springer
15 years 10 months ago
Aspects and Superimpositions
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...
Shmuel Katz, Joseph Gil
ECOOPW
1999
Springer
15 years 10 months ago
Black-Box Program Specialization
Software components o er numerous advantages in terms of development, but may give rise to ine ciency due to highly generic implementations. Program specialization can automatical...
Ulrik Pagh Schultz