Sciweavers

1011 search results - page 106 / 203
» Exception Analysis for Java
Sort
View
ACSC
2005
IEEE
14 years 3 months ago
Interprocedural Side-Effect Analysis and Optimisation in the Presence of Dynamic Class Loading
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
Phung Hua Nguyen, Jingling Xue
ESOP
2010
Springer
14 years 7 months ago
Amortised Resource Analysis with Separation Logic
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
Robert Atkey
SCAM
2005
IEEE
14 years 3 months ago
Fine-Grained Analysis of Change Couplings
In software evolution analysis, many approaches analyze release history data available through versioning systems. The recent investigations of CVS data have shown that commonly c...
Beat Fluri, Harald Gall, Martin Pinzger
VLDB
2000
ACM
135views Database» more  VLDB 2000»
14 years 1 months ago
Telcordia's Database Reconciliation and Data Quality Analysis Tool
This demonstration illustrates how a comprehensive database reconciliation tool can provide the ability to characterize data-quality and data-reconciliation issues in complex real...
Francesco Caruso, Munir Cochinwala, Uma Ganapathy,...
BIOINFORMATICS
2005
85views more  BIOINFORMATICS 2005»
13 years 10 months ago
An automated genotyping system for analysis of HIV-1 and other microbial sequences
Motivation: Genetic analysis of HIV-1 is important not only for vaccine development, but also to guide treatment strategies, track the emergence of new viral variants and ensure t...
Tulio de Oliveira, Koen Deforche, Sharon Cassol, M...