577 search results - page 102 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
FMCAD
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
CCE
2005
13 years 10 months ago
2005
Microarray experiments are emerging as one of the main driving forces in modern biology. By allowing the simultaneous monitoring of the expression of the entire genome for a given...
IBPRIA
2007
Springer
14 years 4 months ago
2007
Springer
Detection of lane markings based on a camera sensor can be a low cost solution to lane departure and curve over speed warning. A number of methods and implementations have been rep...
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
MSWIM
2006
ACM
14 years 4 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...