Sciweavers

3605 search results - page 196 / 721
» System and simulation modeling using SysML
Sort
View
126
Voted
ICCD
1996
IEEE
145views Hardware» more  ICCD 1996»
15 years 7 months ago
Can Trace-Driven Simulators Accurately Predict Superscalar Performance?
There are four crucial issues associated with performance simulators: simulator retargetability, simulator validation, simulation speed and simulation accuracy. This paper documen...
Bryan Black, Andrew S. Huang, Mikko H. Lipasti, Jo...
113
Voted
FPLAY
2008
15 years 5 months ago
Crafting game-models using reactive system design
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
David Harel, Itai Segall, Hillel Kugler, Yaki Sett...
161
Voted
HASE
2008
IEEE
15 years 3 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
92
Voted
CDC
2008
IEEE
182views Control Systems» more  CDC 2008»
15 years 10 months ago
Feed-Forward river flow control using differential flatness
—This article presents two methods for open-loop river flow control, based on a classical hydraulic model (the Hayami model, a partial differential equation resulting from a sim...
Florent Di Meglio, Tarek Rabbani, Xavier Litrico, ...
151
Voted
AAAI
1996
15 years 4 months ago
Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems Using Behavioral Modes
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
Siddarth Subramanian, Raymond J. Mooney