432 search results - page 83 / 87 » The Design of Application-Tailorable Operating System Produc... |
POPL
2010
ACM
14 years 5 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
BMCBI
2011
12 years 11 months ago
2011
Background: High-throughput mass spectrometry (MS) proteomics data is increasingly being used to complement traditional structural genome annotation methods. To keep pace with the...
BMCBI
2006
13 years 7 months ago
2006
Background: Vast progress in sequencing projects has called for annotation on a large scale. A Number of methods have been developed to address this challenging task. These method...
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
SQL tuning--the attempt to improve a poorly-performing execution plan produced by the database query optimizer-is a critical aspect of database performance tuning. Ironically, as ...
CHI
1997
ACM
13 years 12 months ago
1997
ACM
—The Amulet user interface development environment makes it easier for programmers to create highly-interactive, graphical user interface software for Unix, Windows and the Macin...