3130 search results - page 295 / 626 » Design Correctness of Digital Systems |
190
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Power management has become increasingly necessary in large-scale datacenters to address costs and limitations in cooling or power delivery. This paper explores how to integrate p...
168
click to vote
VEE
2006
ACM
16 years 20 days ago
2006
ACM
Many critical IT infrastructures require non-disruptive operations. However, the operating systems thereon are far from perfect that patches and upgrades are frequently applied, i...
213
click to vote
SIGCOMM
2004
ACM
16 years 4 days ago
2004
ACM
We present a Scalable Distributed Information Management System (SDIMS) that aggregates information about large-scale networked systems and that can serve as a basic building bloc...
197
click to vote
EMSOFT
2004
Springer
16 years 3 days ago
2004
Springer
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...
184
click to vote
IEEESP
2006
15 years 6 months ago
2006
t a single security abstraction layer, but rather is a roblem spanning multiple abstraction levels. We use an embedded biometric authentication device to demonstratethenecessityofa...