Sciweavers

4156 search results - page 497 / 832
» Modeling and simulation of retrieving process
Sort
View
CMSB
2010
Springer
14 years 11 months ago
Stochasticity in reactions: a probabilistic Boolean modeling approach
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
Sven Twardziok, Heike Siebert, Alexander Heyl
ICS
2005
Tsinghua U.
15 years 9 months ago
Improved automatic testcase synthesis for performance model validation
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
Robert H. Bell Jr., Lizy Kurian John
QEST
2010
IEEE
15 years 2 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
IEICET
2007
90views more  IEICET 2007»
15 years 4 months ago
A Scalable Model of Shielded Capacitors Using Mirror Image Effects
The comb capacitor models based on the measurement is reported. However, there are a problem of not scalable model and not corresponding to the millimeter wave and the sub millimet...
Koji Ishibashi, Ivan Chee Hong Lai, Kyoya Takano, ...
ISCIS
2004
Springer
15 years 9 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi