42738 search results - page 233 / 8548 » Search Computing Systems |
114
Voted
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...
124
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
107
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
The goal of online failure prediction is to forecast imminent failures while the system is running. This paper compares Similar Events Prediction (SEP) with two other well-known t...
170
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
118
Voted
WAOA
2005
Springer
15 years 9 months ago
2005
Springer
Cellular telephony systems, where locations of mobile users are unknown at some times, are becoming more common. In such systems, mobile users are roaming in a zone and a user repo...