Sciweavers

3598 search results - page 495 / 720
» New efficient algorithms for computing effective capacitance
Sort
View
174
Voted
ICFP
2004
ACM
16 years 7 months ago
Numbering matters: first-order canonical forms for second-order recursive types
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
François Pottier, Nadji Gauthier
163
Voted
GLOBECOM
2006
IEEE
16 years 1 months ago
On the Parallelism of Convolutional Turbo Decoding and Interleaving Interference
— In forward error correction, convolutional turbo codes were introduced to increase error correction capability approaching the Shannon bound. Decoding of these codes, however, ...
Olivier Muller, Amer Baghdadi, Michel Jéz&e...
IMSCCS
2006
IEEE
16 years 1 months ago
Intelligent Decision Making for Agreement-based Grid Resource Management
Agreement-based resource management is becoming the foundation of grid system. Since the grid resource management encompasses a wide range of different scenarios, the decision mak...
Rui Liu, Weimin Zheng, Yongwei Wu
161
Voted
PADS
2003
ACM
16 years 8 days ago
Power-aware State Dissemination in Mobile Distributed Virtual Environments
In distributed simulations, such as multi-player distributed virtual environments (DVE), power consumption traditionally has not been a major design factor. However, emerging batt...
Weidong Shi, Kalyan S. Perumalla, Richard M. Fujim...
ASPDAC
2007
ACM
122views Hardware» more  ASPDAC 2007»
15 years 11 months ago
A Novel Reconfigurable Low Power Distributed Arithmetic Architecture for Multimedia Applications
- The use of reconfigurable cores in system on chip (SoC) designs is increasingly becoming a trend. Such cores are being used for their flexibility, powerful functionality and low ...
Zhenyu Liu, Tughrul Arslan, Ahmet T. Erdogan