469 search results - page 71 / 94 » Extended abstract: a race-free hardware modeling language |
SSD
1997
Springer
15 years 3 months ago
1997
Springer
Abstract: In many geographical applications there is a need to model spatial phenomena not simply by sharp objects but rather through indeterminate or vague concepts. To support su...
112
click to vote
FMCO
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
ENTCS
2008
14 years 11 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
102
click to vote
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
104
click to vote
TOMACS
1998
14 years 11 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...