4962 search results - page 307 / 993 » Stochastic Model Checking |
116
click to vote
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
159
click to vote
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
142
click to vote
ICPADS
2005
IEEE
15 years 8 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...
115
click to vote
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
117
click to vote
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper presents separation of specular and diffuse reflection components from an image pair. The proposed approach is based on the dichromatic reflectance model and Markov ran...