4636 search results - page 32 / 928 » Modelling and Validation with VipTool |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—The complexity of the test infrastructure and test strategies in systems-on-chip approaches the complexity of the functional design space. This paper presents test design space ...
SPIN
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
ICS
2005
Tsinghua U.
14 years 1 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
EVOW
2009
Springer
14 years 2 months ago
2009
Springer
We apply evolutionary computation to calibrate the parameters of a morphogenesis model of Drosophila early development. The model aims to describe the establishment of the steady g...
EUROMICRO
1999
IEEE
13 years 12 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...