1155 search results - page 194 / 231 » Computer aided analysis and design of power transformers |
107
click to vote
SIGMETRICS
2005
ACM
15 years 6 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
111
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...
124
click to vote
SPDP
1993
IEEE
15 years 5 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
208
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...
125
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...