Sciweavers

4820 search results - page 153 / 964
» Implementing Signatures for C
Sort
View
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
15 years 9 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
DEXAW
2007
IEEE
104views Database» more  DEXAW 2007»
15 years 9 months ago
An MDA Approach to Implement Personal IR Tools
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...
Sven Meyer zu Eissen, Benno Stein
EUROMICRO
2007
IEEE
15 years 9 months ago
A Light-Weight Implementation Scheme of the Tree Morphing Protocol for Mobile Multicast Sources
Multicast network services advantageously complement multimedia information and communication technologies, as they open up the realm for highly scalable multicustomer application...
Olaf Christ, Thomas C. Schmidt, Matthias Wähl...
CODES
2006
IEEE
15 years 9 months ago
The pipeline decomposition tree: : an analysis tool for multiprocessor implementation of image processing applications
Modern embedded systems for image processing involve increasingly complex levels of functionality under real-time and resourcerelated constraints. As this complexity increases, th...
Dong-Ik Ko, Shuvra S. Bhattacharyya
VTC
2006
IEEE
134views Communications» more  VTC 2006»
15 years 9 months ago
Efficient Algorithms for PAPR Reduction in OFDM Transmitters Implemented using Fixed-Point DSPs
OFDM has a very high peak-to-average power ratio. This imposes stringent dynamic range requirements on the analog front-ends of the transmitter and receiver and, if a fixedpoint pr...
Brendon J. C. Schmidt, Chi Ng, Patrick Yien, Chris...