3468 search results - page 460 / 694 » An open logical framework |
126
click to vote
ISHPC
2003
Springer
15 years 9 months ago
2003
Springer
We developed a multithreaded parallel implementation of a sequence alignment algorithm that is able to align whole genomes with reliable output and reasonable cost. This paper pres...
139
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Distributed Computing, the exploitation of idle cycles on pervasive desktop PC systems offers the opportunity to increase the available computing power by orders of magnitude (10x...
148
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
140
click to vote
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...
154
click to vote
AGP
1999
IEEE
15 years 8 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...