3342 search results - page 99 / 669 » Automating Abstract Interpretation |
93
Voted
IANDC
2010
14 years 9 months ago
2010
stract Completion Guillaume Burel a,c,∗ Claude Kirchner b,c aNancy-Universit´e, Universit´e Henri Poincar´e bINRIA Bordeaux - Sud-Ouest cLORIA, ´Equipe Pareo, Bˆatiment B, C...
ISBI
2006
IEEE
15 years 11 months ago
2006
IEEE
The subcellular location of proteins is most often determined by visual interpretation of fluorescence microscope images. In recent years, automated systems have been developed so...
ISBI
2007
IEEE
15 years 5 months ago
2007
IEEE
Using a high-resolution (30 MHz) ultrasound system (Vevo 770, VisualSonics Inc.) and a retrospective ECGgating technique, an extremely high frame-rate (up to 8 kHz) was previously...
ICSE
2009
IEEE-ACM
15 years 12 months ago
2009
IEEE-ACM
Classic fault localization techniques can automatically provide information about the suspicious code blocks that are likely responsible for observed failures. This information is...
161
click to vote
POPL
2005
ACM
15 years 11 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...