70 search results - page 12 / 14 » A Flexible, (C)LP-Based Approach to the Analysis of Object-O... |
107
Voted
PVLDB
2008
14 years 9 months ago
2008
We propose EndoScope, a software monitoring framework that allows users to pose declarative queries that monitor the state and performance of running programs. Unlike most existin...
88
Voted
BMCBI
2006
14 years 10 months ago
2006
Background: Since the publication of the first draft of the human genome in 2000, bioinformatic data have been accumulating at an overwhelming pace. Currently, more than 3 million...
91
Voted
WSC
2000
14 years 11 months ago
2000
Discrete event simulation can be used for virtual prototyping of new manufacturing facilities. Models built for this purpose must be easy to use, flexible, and provide a realistic...
70
Voted
BMCBI
2005
14 years 10 months ago
2005
Background: Interpreting the results of high-throughput experiments, such as those obtained from DNA-microarrays, is an often time-consuming task due to the high number of data-po...
CCR
2004
14 years 10 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...