1404 search results - page 90 / 281 » Increasing Concurrency in Databases Using Program Analysis |
113
click to vote
BMCBI
2004
15 years 15 days ago
2004
Background: The development of software tools that analyze microarray data in the context of genetic knowledgebases is being pursued by multiple research groups using different me...
84
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
94
Voted
PRDC
2006
IEEE
15 years 6 months ago
2006
IEEE
On-time data management is becoming a key difficulty faced by the information infrastructure of most organizations. In fact, database applications for critical areas are increasing...
108
click to vote
ICS
2010
Tsinghua U.
15 years 3 months ago
2010
Tsinghua U.
As the number of I/O-intensive MPI programs becomes increasingly large, many efforts have been made to improve I/O performance, on both software and architecture sides. On the sof...
113
Voted
BMCBI
2008
15 years 22 days ago
2008
Background: The ESTree database (db) is a collection of Prunus persica and Prunus dulcis EST sequences that in its current version encompasses 75,404 sequences from 3 almond and 1...