790 search results - page 102 / 158 » Abstract modeling for engineering and engagement level simul... |
FASE
2003
Springer
14 years 2 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
DICS
2006
14 years 14 days ago
2006
Virtual laboratories can be characterized by their long-lasting, large-scale computations, where a collection of heterogeneous tools is integrated into data processing pipelines. S...
DICTA
2003
13 years 10 months ago
2003
In this paper, we propose a robust method to estimate the fundamental matrix in the presence of outliers. The new method uses random minimum subsets as a search engine to find inli...
ECBS
2009
IEEE
14 years 20 days ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
VLSID
2007
IEEE
14 years 9 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...