Sciweavers

27 search results - page 3 / 6
» Controlled Projective Synchronization in Nonpartially-Linear...
Sort
View
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
13 years 10 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
MM
2005
ACM
129views Multimedia» more  MM 2005»
14 years 14 days ago
The "control of fear": an interactive art experiencing and presenting system with multimodal sensors and media
The “Control of Fear” project is an interactive art exhibition project to provide the general public an opportunity to experience what might occur to them if their lives were ...
Chin Chih Yang, Lipin Liu, Jacy Chen
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
DAC
2000
ACM
14 years 7 months ago
Synthesis and optimization of coordination controllers for distributed embedded systems
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
Pai H. Chou, Gaetano Borriello
COBUILD
1999
Springer
13 years 11 months ago
Complex Construction Kits for Coupled Real and Virtual Engineering Workspaces
A concept of complex objects, being artifacts that have one real physical part and several virtual parts representing certain aspects of the object, is introduced. These parts are ...
Wilhelm F. Bruns