877 search results - page 148 / 176 » Full Abstraction for HOPLA |
WABI
2004
Springer
14 years 2 months 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 ...
APCSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract. Kernel memory is a resource that must be managed carefully in order to ensure the efficiency and safety of the system. The use of an inappropriate management policy can w...
CASES
2003
ACM
14 years 1 months ago
2003
ACM
In an embedded system, the cost of storing a program onchip can be as high as the cost of a microprocessor. Compressing an application’s code to reduce the amount of memory requ...
CAIP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...
CC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...