Sciweavers

1481 search results - page 121 / 297
» Operating Systems for Component Software Environments
Sort
View
142
Voted
HASE
1997
IEEE
15 years 6 months ago
Automated Computation of Decomposable Synchronization Conditions
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
Gilberto Matos, James M. Purtilo, Elizabeth L. Whi...
113
Voted
FASE
2000
Springer
15 years 6 months ago
Parallel Refinement Mechanisms for Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandriol...
ADAEUROPE
1997
Springer
15 years 6 months ago
The SPIF Project
This paper introduces the current developments of the SPIF (Syst`eme de Prototypage `a Implantation rapide et Faible coˆut) project. The goal of SPIF is to provide a low cost envi...
Bertrand Dupouy, Olivier Hainque, Laurent Pautet, ...
126
Voted
CGI
1998
IEEE
15 years 6 months ago
An Architecture of a Universal DBMS for Graphics Applications
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
Andrey Collison, Hanspeter Bieri
AC
2005
Springer
15 years 2 months ago
Power Analysis and Optimization Techniques for Energy Efficient Computer Systems
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
Wissam Chedid, Chansu Yu, Ben Lee