3667 search results - page 463 / 734 » Software Rejuvenation - Modeling and Analysis |
200
click to vote
IPSN
2005
Springer
16 years 3 days ago
2005
Springer
Abstract—This paper presents a sensor-based, networked embedded system, referred to as the Particle computer system. It is comprised of tiny wireless sensor nodes, capable of com...
160
click to vote
PLDI
2004
ACM
16 years 1 days ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
164
click to vote
ATAL
2004
Springer
16 years 15 hour ago
2004
Springer
— An Autonomous Science Agent is currently flying onboard the Earth Observing One Spacecraft. This software enables the spacecraft to autonomously detect and respond to science e...
177
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...
145
click to vote
AC
2003
Springer
15 years 12 months ago
2003
Springer
Psychological studies indicate that people have a small but statistically significant ability to recognize the gaits of individuals that they know. Recently, there has been much i...