4870 search results - page 83 / 974 » Construction of Wavelets and Applications |
140
Voted
NSDI
2004
15 years 2 months ago
2004
Virtual machine monitors (VMMs) have enjoyed a resurgence in popularity, since VMMs can help to solve difficult systems problems like migration, fault tolerance, code sandboxing, ...
84
Voted
MKM
2004
Springer
15 years 6 months ago
2004
Springer
We present C-CoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper w...
111
Voted
IJCAI
1989
15 years 2 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
104
click to vote
EATCS
2002
15 years 18 days ago
2002
Extractors are functions which are able to "extract" random bits from arbitrary distributions which "contain" sufficient randomness. Explicit constructions of ...
102
Voted
CLIN
2003
15 years 2 months ago
2003
This paper presents an efficient algorithm for the incremental construction of a minimal acyclic sequential transducer (ST) from a list of input and output strings. The algorithm...