2107 search results - page 79 / 422 » Computing Small Search Numbers in Linear Time |
130
click to vote
ERSHOV
1989
Springer
15 years 7 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
113
click to vote
ARITH
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a radix-2 online computational scheme for evaluating multinomials in a fixed-point number representation system. Its main advantage is that it can adapt to any evaluat...
119
Voted
CONCUR
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
133
click to vote
ETS
2009
IEEE
15 years 1 months ago
2009
IEEE
We optimize the full-response diagnostic fault dictionary from a given test set. The smallest set of vectors is selected without loss of diagnostic resolution of the given test se...
119
Voted
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— We show how to efficiently extract truly random bits from two independent sources of linear min-entropy, under a computational assumption. The assumption we rely on is...