9067 search results - page 133 / 1814 » Adaptive Model Checking |
154
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
149
Voted
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
110
Voted
ENTCS
2008
15 years 2 months ago
2008
The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantag...
102
Voted
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper presents a novel approach that performs post-processing for stereo correspondence. We improve the performance of stereo correspondence by performing consistency check a...
115
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...