Sciweavers

22588 search results - page 238 / 4518
» On simulation model complexity
Sort
View
132
Voted
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 4 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
15 years 10 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
113
Voted
WSC
2008
15 years 7 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 6 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»
15 years 11 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. ...