2488 search results - page 475 / 498 » An improvement in formal verification |
108
click to vote
EUROSYS
2009
ACM
15 years 10 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
112
click to vote
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
—Restoring data operations after a disaster is a daunting task: how should recovery be performed to minimize data loss and application downtime? Administrators are under consider...
CHI
2010
ACM
15 years 8 months ago
2010
ACM
CT Cellphones have the potential to improve education for the millions of underprivileged users in the developing world. However, mobile learning in developing countries remains un...
111
click to vote
MSWIM
2009
ACM
15 years 8 months ago
2009
ACM
In recent years, the number of sensor network deployments for real-life applications has rapidly increased and it is expected to expand even more in the near future. Actually, for...
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...