9067 search results - page 133 / 1814 » Adaptive Model Checking |
178
Voted
CORR
2011
Springer
14 years 8 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...
173
click to vote
TACAS
2012
Springer
14 years 15 days 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...
134
click to vote
ENTCS
2008
15 years 5 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...
127
click to vote
ICPR
2008
IEEE
16 years 6 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...
141
Voted
FMICS
2010
Springer
15 years 6 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 ...