Sciweavers

1663 search results - page 195 / 333
» Validation and Verification of Simulation Models
Sort
View
FMSD
2010
123views more  FMSD 2010»
15 years 3 months ago
Analog property checkers: a DDR2 case study
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...
Kevin D. Jones, Victor Konrad, Dejan Nickovic
BMCBI
2008
121views more  BMCBI 2008»
15 years 4 months ago
Modularization of biochemical networks based on classification of Petri net t-invariants
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
Eva Grafahrend-Belau, Falk Schreiber, Monika Heine...
VTC
2007
IEEE
105views Communications» more  VTC 2007»
15 years 10 months ago
Experimental Analysis of Broadcast Reliability in Dense Vehicular Networks
Abstract—Dedicated Short Range Communications (DSRC)based communications enable novel automotive safety applications such as an Extended Electronic Brake Light or Intersection Co...
Kishore Ramachandran, Marco Gruteser, Ryokichi Oni...
TECS
2008
122views more  TECS 2008»
15 years 4 months ago
Quantitative analysis of the speed/accuracy trade-off in transaction level modeling
tion. Transaction Level Modeling (TLM) has been proposed to abstract communication for highspeed system simulation and rapid design space exploration. Although being widely accepte...
Gunar Schirner, Rainer Dömer
CMSB
2007
Springer
15 years 10 months ago
Expressive Models for Synaptic Plasticity
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...