Sciweavers

5355 search results - page 823 / 1071
» Modules
Sort
View
ERCIMDL
2001
Springer
171views Education» more  ERCIMDL 2001»
15 years 11 months ago
MARIAN: Flexible Interoperability for Federated Digital Libraries
Federated digital libraries are composed of distributed, autonomous, and often heterogeneous information services but provide users with a transparent, integrated view of collected...
Marcos André Gonçalves, Robert K. Fr...
FPGA
2001
ACM
139views FPGA» more  FPGA 2001»
15 years 11 months ago
A memory coherence technique for online transient error recovery of FPGA configurations
The partial reconfiguration feature of some of the currentgeneration Field Programmable Gate Arrays (FPGAs) can improve dependability by detecting and correcting errors in onchip ...
Wei-Je Huang, Edward J. McCluskey
FPL
2001
Springer
87views Hardware» more  FPL 2001»
15 years 11 months ago
Parameterized Function Evaluation for FPGAs
This paper presents parameterized module-generators for pipelined function evaluation using lookup tables, adders, shifters and multipliers. We discuss trade-offs involved between...
Oskar Mencer, Nicolas Boullis, Wayne Luk, Henry St...
GI
2001
Springer
15 years 11 months ago
Improving Goodput by Relaying in Transmission-Power-Limited Wireless Systems
In wireless communication systems, the capacity of a cell (the amount of correctly delivered traffic in unit time) is a precious resource that can not be arbitrarily increased. T...
Seble Mengesha, Holger Karl, Adam Wolisz
ICSE
2001
IEEE-ACM
15 years 11 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....