Sciweavers

5690 search results - page 951 / 1138
» A Position Control System Design
Sort
View
FROCOS
2005
Springer
15 years 12 months ago
Combination of Isabelle/HOL with Automatic Tools
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
Sergey Tverdyshev
NIME
2005
Springer
138views Music» more  NIME 2005»
15 years 12 months ago
ESP: A Driving Interface for Expression Synthesis
In the Expression Synthesis Project (ESP), we propose a driving interface for expression synthesis. ESP aims to provide a compelling metaphor for expressive performance so as to m...
Elaine Chew, Alexandre R. J. François, Jie ...
MM
2004
ACM
191views Multimedia» more  MM 2004»
15 years 12 months ago
SwarmArt: interactive art from swarm intelligence
This paper describes SwarmArt, a collaborative project between computer science and art, which resulted in two installations of interactive art that incorporates swarm intelligenc...
Jeffrey E. Boyd, Gerald Hushlak, Christian Jacob
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
15 years 11 months ago
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
Sharath Kodase, Shige Wang, Kang G. Shin
IPPS
2003
IEEE
15 years 11 months ago
Integration of a CAN-Based Connection-Oriented Communication Model into Real-Time CORBA
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
Stefan Lankes, Andreas Jabs, Thomas Bemmerl