1404 search results - page 224 / 281 » Increasing Concurrency in Databases Using Program Analysis |
105
click to vote
BMCBI
2004
15 years 12 days ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...
112
click to vote
CADE
2005
Springer
16 years 26 days ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
134
click to vote
ADBIS
1995
Springer
15 years 4 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
98
Voted
BMCBI
2007
15 years 17 days ago
2007
Background: The analysis of microarray experiments requires accurate and up-to-date functional annotation of the microarray reporters to optimize the interpretation of the biologi...
134
click to vote
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...