884 search results - page 125 / 177 » Implementation of the MLP Kernel |
CADE
2006
Springer
14 years 10 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
OSDI
2008
ACM
14 years 10 months ago
2008
ACM
The flexibility provided by hardware virtualization allows administrators to rapidly create, destroy, and migrate systems across physical hosts. Unfortunately, the storage systems...
OSDI
2004
ACM
14 years 10 months ago
2004
ACM
As dependence on the World Wide Web continues to grow, so does the need for businesses to have quantitative measures of the client perceived response times of their Web services. ...
PODS
2002
ACM
14 years 10 months ago
2002
ACM
Research on information extraction from Web pages (wrapping) has seen much activity in recent times (particularly systems implementations), but little work has been done on formal...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
Detecting code clones has many software engineering applications. Existing approaches either do not scale to large code bases or are not robust against minor code modifications. I...