2881 search results - page 384 / 577 » Model Checking for Programming Languages using Verisoft |
171
click to vote
MICS
2010
15 years 4 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
184
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
168
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
162
click to vote
TSMC
1998
15 years 6 months ago
1998
— This paper is concerned with the analytical modeling of computer architectures to aid in the design of high-level language-directed computer architectures. High-level language-...
175
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...