Sciweavers

2963 search results - page 324 / 593
» An architecture for generic extensions
Sort
View
DAC
1994
ACM
15 years 10 months ago
HSIS: A BDD-Based Environment for Formal Verification
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now...
Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin...
174
Voted
HPTS
1993
146views Database» more  HPTS 1993»
15 years 10 months ago
Parallel Query Processing in Shared Disk Database Systems
System developments and research on parallel query processing have concentrated either on "Shared Everything" or "Shared Nothing" architectures so far. While t...
Erhard Rahm
ASAP
2006
IEEE
108views Hardware» more  ASAP 2006»
15 years 10 months ago
New Schemes in Clustered VLIW Processors Applied to Turbo Decoding
State-of-the-art communication standards make extensive use of Turbo codes. The complex and power consuming designs that currently implement the turbo decoder expose the need for ...
Pablo Ituero, Marisa López-Vallejo
DATE
2004
IEEE
119views Hardware» more  DATE 2004»
15 years 10 months ago
Configuration-Sensitive Process Scheduling for FPGA-Based Computing Platforms
Reconfigurable computing has become an important part of research in software systems and computer architecture. While prior research on reconfigurable computing have addressed ar...
Guilin Chen, Mahmut T. Kandemir, Ugur Sezer
ERCIMDL
2004
Springer
143views Education» more  ERCIMDL 2004»
15 years 10 months ago
Dynamic Digital Library Construction and Configuration
Abstract. This paper describes a digital library architecture and implementation that is configurable, extensible and dynamic in the way it presents content and in the services it ...
David Bainbridge, Katherine J. Don, George Buchana...