Sciweavers

1441 search results - page 157 / 289
» A Practical Approach to Network-Based Processing
Sort
View
ICIP
2006
IEEE
16 years 2 months ago
Multichannel Autofocus Algorithm for Synthetic Aperture Radar
The autofocus problem in synthetic aperture radar (SAR) is considered, where phase errors in the acquired signal data result in imagery that is improperly focused. We present a ne...
Robert L. Morrison Jr., Minh N. Do
ICIP
2006
IEEE
16 years 2 months ago
Pre-Fetching Strategies for Remote and Interactive Browsing of JPEG2000 Images
This paper considers the remote interactive browsing of large JPEG2000 images. In contrast with previous contributions, we focus on the dynamic nature of the system. Practically, ...
Antonin Descampe, Benoit M. Macq, Christophe De Vl...
104
Voted
SOSP
2009
ACM
15 years 9 months ago
Automatic device driver synthesis with termite
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le S...
106
Voted
TACAS
2009
Springer
122views Algorithms» more  TACAS 2009»
15 years 7 months ago
Test Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
Dries Vanoverberghe, Nikolai Tillmann, Frank Piess...
90
Voted
IWIA
2006
IEEE
15 years 6 months ago
The LAIDS/LIDS Framework for Systematic IPS Design
The recent outbreaks of extremely fast spreading worms highlight the inadequacy of the current patching approach. Intrusion prevention systems (IPSs) that automatically generate a...
Simon P. Chung, Aloysius K. Mok