Sciweavers

3192 search results - page 65 / 639
» Translating Model Simulators to Analysis Models
Sort
View
SERP
2007
13 years 10 months ago
Towards Aspect-oriented Model-driven Code Generation in the Formal Design Analysis Framework
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
Kendra Cooper, Lirong Dai, Sergiu Dascalu, Nehal M...
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
14 years 11 days ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
WSC
2004
13 years 10 months ago
Input Modeling Using Quantile Statistical Methods
This paper applies quantile data analysis to input modeling in simulation. We introduce the use of QIQ plots to identify suitable distributions fitting the data and comparison dis...
Abhishek Gupta, Emanuel Parzen
ICPR
2004
IEEE
14 years 9 months ago
Morphology Analysis of Physiological Signals Using Hidden Markov Models
We describe a clustering algorithm based on continuous Hidden Markov Models (HMM) to automatically classify both electrocardiogram (ECG) and intracranial pressure (ICP) beats base...
Daniel Novák, Lenka Lhotská, David C...
TCS
2010
13 years 3 months ago
Analysis of a cellular automaton model for car traffic with a slow-to-stop rule
We propose a modification of the widely known Benjamin-Johnson-Hui (BJH) cellular automaton model for single-lane traffic simulation. In particular, our model includes a `slow-to-...
Adam Clarridge, Kai Salomaa