308 search results - page 23 / 62 » Efficient Software Model Checking of Data Structure Properti... |
113
Voted
B
2007
Springer
15 years 8 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
136
click to vote
ISCA
1999
IEEE
15 years 6 months ago
1999
IEEE
Information integrity in cache memories is a fundamental requirement for dependable computing. Conventional architectures for enhancing cache reliability using check codes make it...
126
click to vote
FBIT
2007
IEEE
15 years 8 months ago
2007
IEEE
The modeling of soft tissue behavior is essential in haptic rendering for virtual reality based medical simulators, which provide a safe and objective medium for training medical ...
143
click to vote
WSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
129
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...