Sciweavers

231 search results - page 15 / 47
» Adaptive bug isolation
Sort
View
120
Voted
ICIP
2010
IEEE
15 years 21 days ago
Adaptive blotches detection for film restoration
Blotches are very common, localized, and non persistent impairments in digitized film archive. Many methods have been proposed so far for detecting them and restoring the underlyi...
Antoni Buades, Julie Delon, Yann Gousseau, Simon M...
136
Voted
ECAL
1999
Springer
15 years 7 months ago
A Generic Neutral Model for Quantitative Comparison of Genotypic Evolutionary Activity
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...
Andreas Rechtsteiner, Mark A. Bedau
CSL
2005
Springer
15 years 8 months ago
Light Functional Interpretation
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
Mircea-Dan Hernest
114
Voted
NCA
2009
IEEE
15 years 9 months ago
Maintaining Network QoS Across NIC Device Driver Failures Using Virtualization
: © Maintaining Network QoS Across NIC Device Driver Failures Using Virtualization Michael Le, Andrew Gallagher, Yuval Tamir, Yoshio Turner HP Laboratories HPL-2009-115 device dri...
Michael Le, Andrew Gallagher, Yuval Tamir, Yoshio ...
134
Voted
ASPLOS
2012
ACM
13 years 10 months ago
Understanding modern device drivers
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...
Asim Kadav, Michael M. Swift