1404 search results - page 136 / 281 » Increasing Concurrency in Databases Using Program Analysis |
104
Voted
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
BMCBI
2004
15 years 19 days ago
2004
Background: An increasing number of microbial genomes are being sequenced and deposited in public databases. In addition, several closely related strains are also being sequenced ...
116
click to vote
CAV
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
104
click to vote
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Cray X1 Fortran and C/C++ compilers provide a number of loop transformations, notably vectorization and multistreaming, in order to exploit the multistreaming processor (MSP) hard...
112
click to vote
BMCBI
2008
15 years 26 days ago
2008
Background: Accurate peptide identification is important to high-throughput proteomics analyses that use mass spectrometry. Search programs compare fragmentation spectra (MS/MS) o...