5210 search results - page 1009 / 1042 » Computing Capabilities of Mediators |
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
ICCAD
1995
IEEE
14 years 1 months ago
1995
IEEE
We address the problem of minimizing power consumption in behavioral synthesis of data-dominated circuits. The complex nature of power as a cost function implies that the effects ...
SIGMETRICS
1997
ACM
14 years 1 months ago
1997
ACM
One of the open questions in the design of multimedia storage servers is in what order to serve incoming requests. Given the capability provided by the disk layout and scheduling ...
KI
1995
Springer
14 years 1 months ago
1995
Springer
The integration of vision and natural languageprocessingincreasingly attracts attention in different areas of AI research. Up to now, however, there have only been a few attempts a...
POPL
1995
ACM
14 years 1 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...