1297 search results - page 149 / 260 » Control of systems integrating logic, dynamics, and constrai... |
124
click to vote
HAPTICS
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper describes development of a wind display system for the TreadPort virtual environment locomotion interface, which is cumulatively known as the TreadPort Active Wind Tunn...
117
click to vote
VLSID
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract—Integrated power supplies are critical building blocks in stateof-the-art portable applications, where they efficiently and accurately transform a battery supply into va...
103
click to vote
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
133
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
117
click to vote
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents AOKell, a framework for engineering component-based systems. This framework implements the Fractal model, a hierarchical and dynamic component model. The novelt...