26957 search results - page 465 / 5392 » Information Systems Modernization |
206
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
Many of today’s embedded systems, such as wireless and portable devices rely heavily on the limited power supply. Therefore, energy efficiency becomes one of the major design con...
171
click to vote
HICSS
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper presents how state consistency among distributed control nodes is maintained in the presence of faults. We analyze a fault tolerant semi-synchronous architecture concep...
150
click to vote
FSTTCS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
195
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we describe how object-oriented language design interacts with access control in extensible systems, based on our experience in building the SPIN extensible operatin...
184
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
Despite the reliability of modern disks, recent studies have made it clear that a new class of faults, Undetected Disk Errors (UDEs) also known as silent data corruption events, b...