Sciweavers

2778 search results - page 416 / 556
» Reuse Technique in Hardware Design
Sort
View
185
Voted
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 1 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
164
Voted
ISLPED
2004
ACM
75views Hardware» more  ISLPED 2004»
16 years 13 days ago
Preemption-aware dynamic voltage scaling in hard real-time systems
Dynamic voltage scaling (DVS) is a well-known low-power design technique for embedded real-time systems. Because of its effectiveness on energy reduction, several variable voltag...
Woonseok Kim, Jihong Kim, Sang Lyul Min
174
Voted
FPL
2004
Springer
112views Hardware» more  FPL 2004»
16 years 11 days ago
Storage Allocation for Diverse FPGA Memory Specifications
A previous study [1] demonstrates the advantages of replacing registers by FPGA embedded memories during the storage allocation phase of High-Level Synthesis. The trend in new FPGA...
Dalia Dagher, Iyad Ouaiss
194
Voted
RT
2004
Springer
16 years 10 days ago
Anti-aliasing and Continuity with Trapezoidal Shadow Maps
This paper proposes a new shadow map technique termed trapezoidal shadow maps to calculate high quality shadows in real-time applications. To address the resolution problem of the...
Tobias Martin, Tiow Seng Tan
216
Voted
PVG
2003
IEEE
165views Visualization» more  PVG 2003»
16 years 8 days ago
A PC Cluster System for Simultaneous Interactive Volumetric Modeling and Visualization
A number of problems are well suited for volumetric representation for both simulation and storage, however, the large amount of data that needs to be processed and rendered with ...
Shigeru Muraki, Eric B. Lum, Kwan-Liu Ma, Masato O...