Sciweavers

22588 search results - page 238 / 4518
» On simulation model complexity
Sort
View
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 7 months ago
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
Patrick Baillot, Marco Pedicini
PATMOS
2007
Springer
16 years 1 months ago
Fast Calculation of Permissible Slowdown Factors for Hard Real-Time Systems
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...
Henrik Lipskoch, Karsten Albers, Frank Slomka
WSC
2008
15 years 9 months ago
A discrete event simulation model for reliability modeling of a chemical plant
This paper discusses a discrete event simulation model developed to identify and understand the impact of different failures on the overall production capabilities in a chemical p...
Bikram Sharda, Scott J. Bury
WSC
1998
15 years 8 months ago
Modeling Cardiac Ion Channel Conductivity: Model Fitting via Simulation
We describe a Markov state model for a cloned potassium channel of the human heart ( 1KvLQTI ). The parameters of the model are determined by a least-squares fit of predicted vs. ...
John L. Maryak, Richard H. Smith, Raimond L. Winsl...
BIBE
2007
IEEE
148views Bioinformatics» more  BIBE 2007»
16 years 1 months ago
A New Smoothing Model for Analyzing Array CGH Data
—Array based Comparative Genomic Hybridization (CGH) is a molecular cytogenetic method for the detection of chromosomal imbalances and it has been extensively used for studying c...
Nha Nguyen, Heng Huang, Soontorn Oraintara, An P. ...