13500 search results - page 2585 / 2700 » Improved analysis of D |
NAR
2011
14 years 1 months ago
2011
The Epigenomics database at the National Center for Biotechnology Information (NCBI) is a new resource that has been created to serve as a comprehensive public resource for whole-...
NAR
2011
2011
FragmentStore - a comprehensive database of fragments linking metabolites, toxic molecules and drugs
14 years 1 months ago
Consideration of biomolecules in terms of their molecular building blocks provides valuable new information regarding their synthesis, degradation and similarity. Here, we present...
117
click to vote
PLDI
2011
ACM
14 years 1 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
113
click to vote
EMSOFT
2011
Springer
13 years 10 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
EMSOFT
2011
Springer
13 years 10 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...