15727 search results - page 2737 / 3146 » Software Engineering - Introduction |
198
click to vote
EMSOFT
2009
Springer
16 years 29 days ago
2009
Springer
While NAND flash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...
219
click to vote
ICFEM
2009
Springer
16 years 29 days 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...
169
Voted
ICFEM
2009
Springer
16 years 29 days 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...
164
click to vote
PPDP
2009
Springer
16 years 28 days ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
194
Voted
C3S2E
2009
ACM
16 years 28 days ago
2009
ACM
This article introduces Nohalo level 1 (“Nohalo”), the simplest member of a family of image resamplers which straighten diagonal interfaces without adding noticeable nonlinear...