Sciweavers

917 search results - page 25 / 184
» Structural Testing of Component-Based Systems
Sort
View
GECCO
2008
Springer
158views Optimization» more  GECCO 2008»
15 years 3 months ago
Structure and parameter estimation for cell systems biology models
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
Francisco José Romero-Campero, Hongqing Cao...
MTV
2005
IEEE
128views Hardware» more  MTV 2005»
15 years 7 months ago
Automated Extraction of Structural Information from SystemC-based IP for Validation
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...
David Berner, Hiren D. Patel, Deepak Mathaikutty, ...
MVA
2007
158views Computer Vision» more  MVA 2007»
15 years 1 months ago
Hybrid object labelling in digital images
The application of a technique for labelling connected components based on the classical recursive technique is studied. The recursive approach permits labelling, counting, and cha...
Julio Martín-Herrero
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
15 years 7 months ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
138
Voted
ICCAD
1994
IEEE
76views Hardware» more  ICCAD 1994»
15 years 6 months ago
An efficient procedure for the synthesis of fast self-testable controller structures
The BIST implementation of a conventionally synthesized controller in most cases requires the integration of an additional register only for test purposes. This leads to some seri...
Sybille Hellebrand, Hans-Joachim Wunderlich