Sciweavers

4440 search results - page 591 / 888
» The space of design
Sort
View
MSS
2005
IEEE
138views Hardware» more  MSS 2005»
16 years 12 days ago
EOSDIS Petabyte Archives: Tenth Anniversary
One of the world’s largest scientific data systems, NASA’s Earth Observing System Data and Information System (EOSDIS) has stored over three petabytes of earth science data in...
Jeanne Behnke, Tonjua Hines Watts, Ben Kobler, Daw...
PRDC
2005
IEEE
16 years 12 days ago
Partitioned Cache Shadowing for Deep Sub-Micron (DSM) Regime
An important issue in modern cache designs is bridging the gap between wire and device delays. This warrants the use of more regular and modular structures to mask wire latencies....
Heng Xu, Arun K. Somani
APGV
2005
ACM
129views Visualization» more  APGV 2005»
16 years 11 days ago
A closer look at texture metrics
This paper presents some insights into perceptual metrics for texture pattern categorization. An increasing number of researchers in the field of visualization are trying to explo...
Haleh Hagh-Shenas, Victoria Interrante
ISPD
2005
ACM
133views Hardware» more  ISPD 2005»
16 years 11 days ago
Multi-bend bus driven floorplanning
In this paper, the problem of bus-driven floorplanning is addressed. Given a set of blocks and the bus specification (the width of each bus and the blocks that the bus need to g...
Jill H. Y. Law, Evangeline F. Y. Young
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
16 years 11 days ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler