Sciweavers

1855 search results - page 212 / 371
» A coding theorem for distributed computation
Sort
View
IPPS
1999
IEEE
15 years 8 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 8 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 8 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 8 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 8 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