2364 search results - page 156 / 473 » An Engine for Computing Well-Founded Models |
131
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
148
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
122
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, a method is proposed to retrieve desired 3D models by measuring the similarity between a user’s freehand sketches and 2D orthogonal views generated from 3D models....
137
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
161
click to vote
NFM
2011
14 years 11 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...