Sciweavers

3951 search results - page 34 / 791
» Automatic amortized analysis
Sort
View
PLDI
2009
ACM
14 years 10 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...
PLDI
2006
ACM
14 years 3 months ago
Free-Me: a static analysis for automatic individual object reclamation
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...
Samuel Z. Guyer, Kathryn S. McKinley, Daniel Framp...
EVOW
2010
Springer
14 years 4 months ago
Towards Automatic Detecting of Overlapping Genes - Clustered BLAST Analysis of Viral Genomes
Overlapping genes (encoded on the same DNA strand but in different frames) are thought to be rare and, therefore, were largely neglected in the past. In a test set of 800 viruses ...
Klaus Neuhaus, Daniela Oelke, David Fürst, Si...
KDD
2009
ACM
160views Data Mining» more  KDD 2009»
14 years 4 months ago
Surveying the complementary role of automatic data analysis and visualization in knowledge discovery
The aim of this work is to survey and reflect on the various ways to integrate visualization and data mining techniques toward a mixed-initiative knowledge discovery taking the be...
Enrico Bertini, Denis Lalanne
FROCOS
2007
Springer
14 years 3 months ago
Towards an Automatic Analysis of Web Service Security
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...