2935 search results - page 159 / 587 » An Integrated Approach to High Integrity Software Verificati... |
179
click to vote
HPCN
1997
Springer
15 years 10 months ago
1997
Springer
We describe the distributed high performance computing system we have developed to integrate together a heterogeneous set of high performance computers, high capacity storage syst...
175
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Use of alternative gene promoters that drive widespread cell-type, tissue-type or developmental gene regulation in mammalian genomes is a common phenomenon. Chromatin ...
167
click to vote
UIST
2005
ACM
16 years 2 days ago
2005
ACM
High precision parameter manipulation tasks typically require adjustment of the scale of manipulation in addition to the parameter itself. This paper introduces the notion of Zoom...
200
click to vote
DILS
2007
Springer
15 years 8 months ago
2007
Springer
The success of mass spectrometry-based proteomics in emerging applications such as biomarker discovery and clinical diagnostics, is predicated substantially on its ability to achie...
182
click to vote
ICSE
1989
IEEE-ACM
15 years 10 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...