Sciweavers

4245 search results - page 233 / 849
» Input Modeling
Sort
View
DAC
1998
ACM
16 years 8 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
165
Voted
JCNS
2002
71views more  JCNS 2002»
15 years 7 months ago
A Spiking Neuron Model for Binocular Rivalry
Abstract. We present a biologically plausible model of binocular rivalry consisting of a network of HodgkinHuxley type neurons. Our model accounts for the experimentally and psycho...
Carlo R. Laing, Carson C. Chow
IRI
2005
IEEE
16 years 1 months ago
Issues of hierarchical heterogeneous modeling in component reusability
Heterogeneous systems are systems that obey different functioning laws. For instance, during the design of embedded systems, it is generally necessary to study both the controller...
Aimé Mokhoo Mbobi, Frédéric B...
IMR
2004
Springer
16 years 24 days ago
Mechanical Criteria for the Preparation of Finite Element Models
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
Gilles Foucault, Philippe M. Marin, Jean-Claude L&...
ER
1994
Springer
121views Database» more  ER 1994»
15 years 11 months ago
An Executable Meta Model for Re-Engineering of Database Schemas
A logical database schema, e.g. a relational one, is an implementation of a speci cation, e.g. an entity-relationship diagram. Upcoming new data models and the necessity of seamle...
Manfred A. Jeusfeld, Uwe A. Johnen