240 search results - page 28 / 48 » LUDE: A Distributed Software Library |
103
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: The ever-expanding population of gene expression profiles (EPs) from specified cells and tissues under a variety of experimental conditions is an important but difficu...
ISMIR
2004
Springer
15 years 5 months ago
2004
Springer
This paper addresses the problem of the performance evaluation of algorithms for the automatic detection of note onsets in music signals. Our experiments show that creating a data...
CGO
2003
IEEE
15 years 5 months ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
127
click to vote
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
115
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...