5523 search results - page 241 / 1105 » Improving application performance with hardware data structu... |
144
Voted
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
127
Voted
SBCCI
2005
ACM
15 years 9 months ago
2005
ACM
Code compression, initially conceived as an effective technique to reduce code size in embedded systems, today also brings advantages in terms of performance and energy consumpti...
161
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
— XML stream applications bring the challenge of efficiently processing queries on sequentially accessible tokenbased data. For efficient processing of queries, we need to ensu...
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a balanced receiver structure suitable for wireless infrared data communications. The receiver provides a fixed photodiode bias voltage with the use of a regul...
115
click to vote
IPMI
2007
Springer
16 years 5 months ago
2007
Springer
Tracking of tubular elongated structures is an important goal in a wide range of biomedical imaging applications. A Bayesian tube tracking algorithm is presented that allows to eas...