4107 search results - page 691 / 822 » The Generalized Lambda Test |
306
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
222
Voted
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
192
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
In large social networks, nodes (users, entities) are influenced by others for various reasons. For example, the colleagues have strong influence on one's work, while the fri...
184
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Opinion mining became an important topic of study in recent years due to its wide range of applications. There are also many companies offering opinion mining services. One proble...
198
click to vote
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we present a reliable storage service, called SolarStore, that adaptively trades-off storage reliability versus energy consumption in solar-powered sensor networks....