Sciweavers

1982 search results - page 221 / 397
» Parametricity and dependent types
Sort
View
ICC
2007
IEEE
15 years 10 months ago
On the Energy Efficiency of Hybrid-ARQ Protocols in Fading Channels
Abstract-- As the distance between terminals in modern wireless networks tends to decrease, the energy consumption issue, conventionally assumed to be exclusively dominated by the ...
Igor Stanojev, Osvaldo Simeone, Yeheskel Bar-Ness,...
ATS
2004
IEEE
97views Hardware» more  ATS 2004»
15 years 10 months ago
Test Instruction Set (TIS) for High Level Self-Testing of CPU Cores
TIS (Test Instruction Set) is an instruction level technique for CPU core self-testing. This method is based on enhancing a CPU instruction set with test instructions. TIS replace...
Saeed Shamshiri, Hadi Esmaeilzadeh, Zainalabedin N...
ARC
2006
Springer
115views Hardware» more  ARC 2006»
15 years 10 months ago
Providing QoS Guarantees in a NoC by Virtual Channel Reservation
Abstract. Virtual channel reservation is a simple approach for providing guaranteed throughput services in a virtual channel network-on-chip. However, its performance is limited by...
Nikolay Kavaldjiev, Gerard J. M. Smit, Pascal T. W...
DAWAK
2006
Springer
15 years 10 months ago
What Time Is It in the Data Warehouse?
Though in most data warehousing applications no relevance is given to the time when events are recorded, some domains call for a different behavior. In particular, whenever late re...
Stefano Rizzi, Matteo Golfarelli
EVOW
2006
Springer
15 years 10 months ago
Evolutionary Singularity Filter Bank Optimization for Fingerprint Image Enhancement
Singularity is the special feature of fingerprints for identification and classification. Since the performance of singularity extraction depends on the quality of fingerprint imag...
Ung-Keun Cho, Jin-Hyuk Hong, Sung-Bae Cho