Sciweavers

3902 search results - page 167 / 781
» Hardware Synthesis from C C Models
Sort
View
126
Voted
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 9 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
104
Voted
AHS
2007
IEEE
241views Hardware» more  AHS 2007»
15 years 10 months ago
Extreme Temperature Electronics - from Materials to Bio-inspired Adaptation
Biological systems have inherent mechanisms which ensure their adaptation and thus survival — preservation of functionality, despite extreme and varying environments. One such e...
Dragana Laketic, Pauline C. Haddow
ISSS
1999
IEEE
120views Hardware» more  ISSS 1999»
15 years 8 months ago
RTGEN: An Algorithm for Automatic Generation of Reservation Tables from Architectural Descriptions
Abstract--Reservation Tables (RTs) have long been used to detect conflicts between operations that simultaneously access the same architectural resource. Traditionally, these RTs h...
Peter Grun, Ashok Halambi, Nikil D. Dutt, Alexandr...
SIGGRAPH
1996
ACM
15 years 8 months ago
Rendering from Compressed Textures
We present a simple method for rendering directly from compressed textures in hardware and software rendering systems. Textures are compressed using a vector quantization (VQ) met...
Andrew C. Beers, Maneesh Agrawala, Navin Chaddha
FCT
2005
Springer
15 years 9 months ago
Reconstructing Many Partitions Using Spectral Techniques
A partitioning of a set of n items is a grouping of these items into k disjoint, equally sized classes. Any partition can be modeled as a graph. The items become the vertices of th...
Joachim Giesen, Dieter Mitsche