2658 search results - page 165 / 532 » Autonomic Computing: An Overview |
139
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
- This paper provides an overview of design/test/CAD silicon cost-related issues. All major factors contributing to the rapid growth of manufacturing costs are explained and a simp...
121
click to vote
DAC
1990
ACM
15 years 8 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
140
click to vote
ECOOPW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
134
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
132
click to vote
CCGRID
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a comparative study of Kerrighed, openMosix and OpenSSI, three Single System Image (SSI) operating systems for clusters. This experimental study gives an overv...