5639 search results - page 539 / 1128 » Timed Abstract Non-interference |
193
click to vote
WABI
2005
Springer
2005
Springer
Algorithms for Imperfect Phylogeny Haplotyping (IPPH) with a Single Homoplasy or Recombination Event
15 years 11 months ago
Abstract. The haplotype inference (HI) problem is the problem of inferring 2n haplotype pairs from n observed genotype vectors. This is a key problem that arises in studying geneti...
151
Voted
WAOA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We show that any real matrix can be rounded to an integer matrix in such a way that the rounding errors of all row sums are less than one, and the rounding errors of all ...
151
click to vote
WEA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We implement the approximation algorithm for the multicast congestion problem in communication networks in [14] based on the fast approximation algorithm for packing prob...
177
Voted
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Abstract. We present a matrix language compiler CMC which translates annotated MATLAB scripts into Fortran 90 programs. Distinguishing features of CMC include its applicability to ...
131
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
Abstract- This paper proposes a hardwadsoftware cosynthesis algorithm for processors with heterogeneous registers. Given a CDFG correspondingto an application program and a timing ...