2419 search results - page 445 / 484 » A Formal Approach to Software Testing |
119
click to vote
SOSP
2009
ACM
16 years 4 days ago
2009
ACM
Windows Error Reporting (WER) is a distributed system that automates the processing of error reports coming from an installed base of a billion machines. WER has collected billion...
131
Voted
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
112
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
131
click to vote
CGO
2007
IEEE
15 years 9 months ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
122
click to vote
XPU
2005
Springer
15 years 8 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...