1404 search results - page 123 / 281 » Increasing Concurrency in Databases Using Program Analysis |
95
Voted
DEXAW
2004
IEEE
15 years 4 months ago
2004
IEEE
As the number of resources on the Grid tends to be very dynamic and potentially large, it becomes increasingly important to discover and monitor them efficiently. This paper conce...
108
Voted
BMCBI
2008
15 years 25 days ago
2008
Background: The explosive growth of biological data provides opportunities for new statistical and comparative analyses of large information sets, such as alignments comprising te...
135
Voted
GCB
2004
Springer
15 years 4 months ago
2004
Springer
: In biological sequence analysis, position specific scoring matrices (PSSMs) are widely used to represent sequence motifs. In this paper, we present a new nonheuristic algorithm, ...
143
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
102
click to vote
ASAP
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applicati...