Sciweavers

7526 search results - page 188 / 1506
» The Design and Implementation of the A2QM3 System
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
ASPDAC
2008
ACM
120views Hardware» more  ASPDAC 2008»
15 years 8 months ago
In-vehicle vision processors for driver assistance systems
- This paper describes existing designs and future design trends of in-vehicle vision processors for driver assistance systems. First, requirements of vision processors for driver ...
Shorin Kyo, Shin'ichiro Okazaki
HCI
2007
15 years 8 months ago
A Tangible Game Interface Using Projector-Camera Systems
Abstract. We designed and implemented a tangible game interface using projector-camera systems. The system offers a simple and quick setup and economic design. The projection onto...
Peng Song, Stefan Winkler, Jefry Tedjokusumo
HASE
2008
IEEE
15 years 6 months ago
Randomization Based Probabilistic Approach to Detect Trojan Circuits
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
Susmit Jha, Sumit Kumar Jha
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
15 years 10 months ago
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...