2642 search results - page 149 / 529 » The development of Chez Scheme |
103
click to vote
ITP
2010
15 years 4 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we investigate both experimentally and via simulation the monitoring of fiber link quality in a PON using optical coding technology. We use a new, simple and costeffe...
102
click to vote
AFRIGRAPH
2003
ACM
15 years 4 months ago
2003
ACM
We present a view-dependent level-of-detail algorithm for triangle meshes with subdivision connectivity. The algorithm is more suitable for textured meshes of arbitrary topology t...
122
Voted
COCOON
2010
Springer
15 years 4 months ago
2010
Springer
Given a set of n strings of length L and a radius d, the closest string problem (CSP for short) asks for a string tsol that is within a Hamming distance of d to each of the given ...
110
click to vote
CCGRID
2001
IEEE
15 years 4 months ago
2001
IEEE
The Information Power Grid (IPG) concept developed by NASA is aimed to provide a metacomputing platform for large-scale distributed computations, by hiding the intricacies of a hig...