1487 search results - page 288 / 298 » On Validating Engineering Design Decision Support Tools |
188
click to vote
ICFP
2009
ACM
16 years 10 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
KDD
2010
ACM
15 years 3 months ago
2010
ACM
At Google, experimentation is practically a mantra; we evaluate almost every change that potentially affects what our users experience. Such changes include not only obvious user-...
IPM
2007
14 years 11 months ago
2007
Patent documents contain important research results. However, they are lengthy and rich in technical terminology such that it takes a lot of human efforts for analyses. Automatic...
106
click to vote
HOTSWUP
2009
ACM
15 years 4 months ago
2009
ACM
The complexity, cost, and down-time currently created by the database schema evolution process is the source of incessant problems in the life of information systems and a major s...
115
click to vote
CGO
2006
IEEE
15 years 5 months ago
2006
IEEE
Software code caches are increasingly being used to amortize the runtime overhead of dynamic optimizers, simulators, emulators, dynamic translators, dynamic compilers, and other t...