Sciweavers

1489 search results - page 77 / 298
» The First Bug Report
Sort
View
INFSOF
2010
173views more  INFSOF 2010»
15 years 1 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...
ISSTA
2012
ACM
13 years 6 months ago
Swarm testing
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen,...
ICIAP
2007
ACM
15 years 10 months ago
Multi-modal non-rigid registration of medical images based on mutual information maximization
In this paper, a new multi-modal non-rigid registration technique for medical images is presented. Firstly, the registration problem is outlined and some of the most common approa...
Edoardo Ardizzone, Orazio Gambino, Marco La Cascia...
94
Voted
DATE
2006
IEEE
109views Hardware» more  DATE 2006»
15 years 10 months ago
A single photon avalanche diode array fabricated in deep-submicron CMOS technology
We report the first fully integrated single photon avalanche diode array fabricated in 0.35µm CMOS technology. At 25µm, the pixel pitch achieved by this design is the smallest e...
Cristiano Niclass, Maximilian Sergio, Edoardo Char...
BIRTHDAY
2005
Springer
15 years 9 months ago
Agents with Exact Foreknowledge
Computational experiments are reported involving the concept of foreknowledge, an agent’s direct, unmediated and accurate, but possibly incomplete, awareness of its future includ...
Jim Doran