Sciweavers

4482 search results - page 585 / 897
» The Crowdsourcing Design Space
Sort
View
GLVLSI
2005
IEEE
85views VLSI» more  GLVLSI 2005»
16 years 12 days ago
Utilizing don't care states in SAT-based bounded sequential problems
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
Sean Safarpour, Görschwin Fey, Andreas G. Ven...
MSS
2005
IEEE
138views Hardware» more  MSS 2005»
16 years 11 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 11 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
RSP
2005
IEEE
155views Control Systems» more  RSP 2005»
16 years 11 days ago
Optimization Techniques for ADL-Driven RTL Processor Synthesis
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...
Oliver Schliebusch, Anupam Chattopadhyay, Ernst Ma...
APGV
2005
ACM
129views Visualization» more  APGV 2005»
16 years 10 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