1404 search results - page 175 / 281 » Increasing Concurrency in Databases Using Program Analysis |
FOAL
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
84
Voted
ENTCS
2008
15 years 22 days ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
146
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: High-throughput re-sequencing, new genotyping technologies and the availability of reference genomes allow the extensive characterization of Single Nucleotide Polymorp...
111
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Microarray technology allows the analysis of genomic aberrations at an ever increasing resolution, making functional interpretation of these vast amounts of data the m...
92
Voted
BMCBI
2010
15 years 24 days ago
2010
Background: Robust biomarkers are needed to improve microbial identification and diagnostics. Proteomics methods based on mass spectrometry can be used for the discovery of novel ...