Sciweavers

11151 search results - page 346 / 2231
» On the Complexity of Model Expansion
Sort
View
DATE
2009
IEEE
112views Hardware» more  DATE 2009»
16 years 2 months ago
Test exploration and validation using transaction level models
—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 ...
Michael A. Kochte, Christian G. Zoellin, Michael E...
IROS
2009
IEEE
131views Robotics» more  IROS 2009»
16 years 2 months ago
A robotic closed-loop scheme to model human postural coordination
— This paper models recent data in the field of postural coordination showing the existence of self-organized postural states, and transition between them, underlying suprapostu...
Vincent Bonnet, Philippe Fraisse, Nacim Ramdani, J...
CSMR
2006
IEEE
16 years 1 months ago
Migrating Supervisory Control Architectures Using Model Transformations
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
Bas Graaf, Sven Weber, Arie van Deursen
ISCAS
1999
IEEE
99views Hardware» more  ISCAS 1999»
15 years 12 months ago
CMOS gate modeling based on equivalent inverter
A method for modeling complex CMOS gates by the reduction of each gate to an effective equivalent inverter is introduced. The conducting and parasitic behavior of parallel and ser...
Alexander Chatzigeorgiou, Spiridon Nikolaidis, Ioa...
IEAAIE
1999
Springer
15 years 11 months ago
Using Cases for Process Modelling: An Example from the Water Supply Industry
This paper describes the use of cases as a process representation technique and shows how case base reasoning can be used to navigate through, or execute a complex control process....
Guy Saward