1239 search results - page 124 / 248 » Techniques for the Design of Java Operating Systems |
WWW
2003
ACM
14 years 1 months ago
2003
ACM
An important factor in the successful deployment of federated web-services-based business activities will be the ability to guarantee reliable distributed operation and execution....
ASPDAC
1999
ACM
14 years 7 days ago
1999
ACM
- We describe an integrated model of the hardware and the battery sub-systems in batterypowered VLSI systems. We demonstrate that, under this model and for a fixed operating voltag...
TSE
2002
13 years 7 months ago
2002
A number of papers have investigated the relationships between design metrics and the detection of faults in object-oriented software. Several of these studies have shown that suc...
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
: ? Delivering Energy Proportionality with Non Energy-Proportional Systems-Optimizing the Ensemble Niraj Tolia, Zhikui Wang, Manish Marwah, Cullen Bash, Parthasarathy Ranganathan, ...
ASYNC
2007
IEEE
13 years 12 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...