429 search results - page 27 / 86 » Anti-unification Algorithms and Their Applications in Progra... |
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
CMMR
2007
Springer
14 years 22 days ago
2007
Springer
We describe a tool for real-time musical analysis based on a measure of roughness, the principal element of sensory dissonance. While most historical musical analysis is based on t...
BMCBI
2006
13 years 8 months ago
2006
Background: Owing to the rapid expansion of RNA structure databases in recent years, efficient methods for structure comparison are in demand for function prediction and evolution...
PAAPP
2006
13 years 8 months ago
2006
OpenMP is an architecture-independent language for programming in the shared memory model. OpenMP is designed to be simple and in terms of programming abstractions. Unfortunately,...
BMCBI
2005
13 years 8 months ago
2005
Background: Numerous microarray analysis programs have been created through the efforts of Open Source software development projects. Providing browser-based interfaces that allow...