Sciweavers

258 search results - page 12 / 52
» A formal framework for stochastic DEVS modeling and simulati...
Sort
View
WSC
1997
13 years 9 months ago
An Integrated Framework for Deterministic and Stochastic Optimization
In recent articles we presented a general methodology for finite optimization. The new method, the Nested Partitions (NP) method, combines partitioning, random sampling, a select...
Leyuan Shi, Sigurdur Ólafsson
WSC
2008
13 years 10 months ago
Simulation of stochastic hybrid systems with switching and reflecting boundaries
Modeling and simulation of biochemical systems are important tasks because they can provide insights into complicated systems where traditional experimentation is expensive or imp...
Derek Riley, Kasandra Riley
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
14 years 1 months ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
ICMCS
2005
IEEE
87views Multimedia» more  ICMCS 2005»
14 years 1 months ago
A Probabilistic Description of Man-Machine Spoken Communication
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...
Olivier Pietquin
COMPENG
2010
265views Algorithms» more  COMPENG 2010»
13 years 11 months ago
Ontological Framework to Model Critical Infrastructures and their Interdependencies
This paper presents a Knowledge Base System (KBS) as a key component of a federated simulation framework which allows the investigation of (inter)dependencies among Critical Infra...
Elisa Castorini, Paolo Palazzari, Alberto Tofani, ...