1407 search results - page 93 / 282 » Using Use Cases in Executable Z |
151
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
156
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
New portable consumer embedded devices must execute multimedia applications (e.g., 3D games, video players and signal processing software, etc.) that demand extensive memory acces...
155
click to vote
OPODIS
2010
15 years 2 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
140
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
126
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...