7049 search results - page 1123 / 1410 » Data Abstraction for CSP-OZ |
175
click to vote
TACAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
184
click to vote
UPP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
184
click to vote
VMCAI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
206
click to vote
WABI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Haplotype inference problem asks for a set of haplotypes explaining a given set of genotypes. Popular software tools for haplotype inference (e.g., PHASE, HAPLOTYPER) as ...
183
click to vote
WCW
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A wide range of techniques have been proposed, implemented, and even standardized for improving the performance of Web content delivery. However, previous work has found ...