Sciweavers

2583 search results - page 271 / 517
» Compiling for stream processing
Sort
View
TPHOL
2000
IEEE
15 years 10 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison
CORR
1999
Springer
69views Education» more  CORR 1999»
15 years 6 months ago
Selective Magic HPSG Parsing
We propose a parser for constraintlogic grammars implementing HPSG that combines the advantages of dynamic bottom-up and advanced topdown control. The parser allows the user to ap...
Guido Minnen
ICASSP
2011
IEEE
14 years 10 months ago
Real-time software implementation of an IEEE 802.11a baseband receiver on Intel multicore
We present a software-only implementation of an IEEE 802.11a (WiFi) receiver optimized for Intel multicore platforms. The receiver is about 50 times faster than a straightforward ...
Christian R. Berger, Volodymyr Arbatov, Yevgen Vor...
ICIP
2005
IEEE
16 years 8 months ago
Time-evolving 3D model representation for scalable video coding
This paper presents an efficient and scalable coding scheme for transmitting a stream of 3D models extracted from a video of a static scene. As in classical model-based video codi...
Luce Morin, Patrick Gioia, Raphaèle Balter
ICIP
2005
IEEE
16 years 8 months ago
Distributed rate allocation for multi-stream video transmission over ad hoc networks
When multiple video streams are present in an ad hoc network, they share and compete for the common network resources. A rate allocation algorithm must balance the available resou...
Xiaoqing Zhu, Bernd Girod