8808 search results - page 1630 / 1762 » Process of Software Evolution |
185
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
139
Voted
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
162
click to vote
IWMM
2009
Springer
15 years 11 months ago
2009
Springer
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in ser...
154
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
164
click to vote
CGO
2008
IEEE
15 years 11 months ago
2008
IEEE
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...