Sciweavers

2945 search results - page 264 / 589
» Designing and Implementing Malicious Hardware
Sort
View
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...
ICCD
1997
IEEE
90views Hardware» more  ICCD 1997»
15 years 10 months ago
TITAC-2: An asynchronous 32-bit microprocessor based on Scalable-Delay-Insensitive model
Asynchronous design has a potential of solving many difficulties, such as clock skew and power consumption, which synchronous counterpart suffers with current and future VLSI tech...
Akihiro Takamura, Masashi Kuwako, Masashi Imai, Ta...
ISSS
1995
IEEE
96views Hardware» more  ISSS 1995»
15 years 10 months ago
WWW based structuring of codesigns
This paper describes a codesign environment based on the WWW (World Wide Web) and its implementation. Tool invocations and their respective results are linked using hypertext docu...
Paul-Gerhard Plöger, Jörg Wilberg, Miche...
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
DSD
2010
IEEE
134views Hardware» more  DSD 2010»
15 years 7 months ago
A New High-Level Methodology for Programming FPGA-Based Smart Camera
Due to the various devices composing a smart camera system, various languages have to be known by the designer (like HDL and C/C++). Most of vision applications designers are soft...
Nicolas Roudel, François Berry, Jocelyn S&e...