Sciweavers

1886 search results - page 57 / 378
» Verifying and validating a simulation model
Sort
View
ER
2010
Springer
144views Database» more  ER 2010»
14 years 8 months ago
Building Dynamic Models of Service Compositions with Simulation of Provision Resources
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
Dragan Ivanovic, Martin Treiber, Manuel Carro, Sch...
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 1 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
ICRA
2002
IEEE
152views Robotics» more  ICRA 2002»
15 years 2 months ago
Needle Insertion Modelling and Simulation
Abstract—A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for ...
Simon P. DiMaio, S. E. Salcudean
DAC
2003
ACM
15 years 3 months ago
Instruction set compiled simulation: a technique for fast and flexible instruction set simulation
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
Mehrdad Reshadi, Prabhat Mishra, Nikil D. Dutt
EWSPT
1998
Springer
15 years 2 months ago
Fuzzy Dynamics in Software Project Simulation and Support
Established simulation techniques require quantification of relevant aspects of the entity whose behaviour is being investigated. The data expressing the quantification provides a ...
Juan F. Ramil, M. M. Lehman