4066 search results - page 440 / 814 » Almost Complete Sets |
187
click to vote
DFT
1999
IEEE
15 years 11 months ago
1999
IEEE
The inherent redundancy and in-the-field reconfiguration capabilities of field programmable gate arrays (FPGAs) provide alternatives to integrated circuit redundancy-based fault r...
201
click to vote
ECRTS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a probabilistic approach to guarantee the performance of a real-time system. While traditional real-time system analysis tends to guarantee that each task inst...
195
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
We address the problem of query rewriting for TSL, a language for querying semistructured data. We develop and present an algorithm that, given a semistructured query q and a set ...
185
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
183
click to vote
ESSLLI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisfiability of propositional formulae. It is based on a somehow dual (versu...