Sciweavers

7580 search results - page 1099 / 1516
» Prometheus design tool
Sort
View
FCCM
2003
IEEE
113views VLSI» more  FCCM 2003»
16 years 1 days ago
Issues and Approaches to Coarse-Grain Reconfigurable Architecture Development
Although domain-specialized FPGAs can offer significant area, speed and power improvements over conventional reconfigurable devices, there are several unique and unexplored design...
Kenneth Eguro, Scott Hauck
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
16 years 1 days ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
HICSS
2003
IEEE
156views Biometrics» more  HICSS 2003»
16 years 1 days ago
Developing Video Services for Mobile Users
Video information, image processing and computer vision techniques are developing rapidly nowadays because of the availability of acquisition, processing and editing tools, which ...
Mohamed Ahmed, Roger Impey, Ahmed Karmouch
INFOVIS
2003
IEEE
16 years 22 hour ago
Visualization of Large-Scale Customer Satisfaction Surveys Using a Parallel Coordinate Tree
Satisfaction surveys are an important measurement tool in fields such as market research or human resources management. Serious studies consist of numerous questions and contain a...
Dominique Brodbeck, Luc Girardin
ISQED
2003
IEEE
113views Hardware» more  ISQED 2003»
16 years 17 hour ago
Using Integer Equations for High Level Formal Verification Property Checking
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
Bijan Alizadeh, Mohammad Reza Kakoee
« Prev « First page 1099 / 1516 Last » Next »