Sciweavers

4350 search results - page 19 / 870
» Case studies for contract-based systems
Sort
View
HYBRID
1998
Springer
14 years 2 months ago
Hybrid Control of Automotive Powertrain Systems: A Case Study
Ali Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashank...
DAC
2000
ACM
14 years 10 months ago
MorphoSys: case study of a reconfigurable computing system targeting multimedia applications
In this paper, we present a case study for the design, programming and usage of a reconfigurable system-on-chip, MorphoSys, which is targeted at computation-intensive applications...
Hartej Singh, Guangming Lu, Eliseu M. Chaves Filho...
BCSHCI
2009
13 years 11 months ago
Low-fi skin vision: a case study in rapid prototyping a sensory substitution system
We describe the design process we have used to develop a minimal, twenty vibration motor Tactile Vision Sensory Substitution (TVSS) system which enables blind-folded subjects to s...
Jon Bird, Paul Marshall, Yvonne Rogers
DSN
2003
IEEE
14 years 3 months ago
Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study
Computer-based advisory systems form with their users composite, human-machine systems. Redundancy and diversity between the human and the machine are often important for the depe...
Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberd...
FM
2003
Springer
136views Formal Methods» more  FM 2003»
14 years 3 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...