1528 search results - page 127 / 306 » Performance Assertion Checking |
101
click to vote
WEBI
2007
Springer
15 years 8 months ago
2007
Springer
With the increasing amount of text files that are produced nowadays, spell checkers have become essential tools for everyday tasks of millions of end users. Among the years, seve...
118
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
101
click to vote
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
133
Voted
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
122
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...