384 search results - page 64 / 77 » Formal Development of Reactive Fault Tolerant Systems |
FM
2006
Springer
13 years 11 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
PC-clusters with high performance/cost ratio have been one of the typical platforms for high performance computing. To lower costs, Gigabit Ethernet is often used for intercommuni...
ICSE
2003
IEEE-ACM
14 years 26 days ago
2003
IEEE-ACM
Abstract. Dependable distributed applications require flexible infrastructure support for controlled redundancy, replication, and recovery of components and services. However, mos...
COMPSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
—As an effective approach to maintain software system without interrupting the service, online migration has been applied for many goals, e.g. achieving a higher system performan...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
As peer-to-peer (P2P) networks become more familiar to the database community, intense interest has built up in using their scalability and resilience properties to scale database...