Sciweavers

2650 search results - page 171 / 530
» Simulation and Control of Reactive Systems
Sort
View
118
Voted
ICIP
2006
IEEE
16 years 5 months ago
Pre-Fetching Strategies for Remote and Interactive Browsing of JPEG2000 Images
This paper considers the remote interactive browsing of large JPEG2000 images. In contrast with previous contributions, we focus on the dynamic nature of the system. Practically, ...
Antonin Descampe, Benoit M. Macq, Christophe De Vl...
112
Voted
MODELS
2007
Springer
15 years 10 months ago
Statechart Development Beyond WYSIWYG
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
Steffen Prochnow, Reinhard von Hanxleden
124
Voted
CODES
2010
IEEE
15 years 1 months ago
Exploring models of computation with ptolemy II
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
Christopher X. Brooks, Edward A. Lee, Stavros Trip...
126
Voted
HYBRID
1998
Springer
15 years 8 months ago
Hybrid cc with Interval Constraints
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
Björn Carlson, Vineet Gupta
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
15 years 8 months ago
Data based modeling and control of a dual-stage actuator hard disk drive
— A data-based approach is presented for modeling and controller design of a dual-stage servo actuator in a hard disk drive. The servo actuator in this hard disk drive consists o...
Uwe Boettcher, Raymond A. de Callafon, Frank E. Ta...