5084 search results - page 653 / 1017 » Proving Possibility Properties |
127
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
In this paper, a parallel Variable-Length Decoding (VLD) scheme is introduced. The scheme is capable of decoding all the codewords in an N-bit buffer whose accumulated codelength ...
169
click to vote
SOSP
2001
ACM
16 years 3 months ago
2001
ACM
As raw system and network performance continues to improve at exponential rates, the utility of many services is increasingly limited by availability rather than performance. A ke...
246
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
231
click to vote
WISTP
2010
Springer
16 years 1 months ago
2010
Springer
The deployment of Next-Generation Networks (NGN) is a challenge that requires integrating heterogeneous services into a global system of All-IP telecommunications. These networks c...
165
click to vote
CARDIS
2010
Springer
16 years 1 months ago
2010
Springer
At ACISP 2004, Giraud and Knudsen presented the first fault analysis of DSA, ECDSA, XTR-DSA, Schnorr and ElGamal signatures schemes that considered faults affecting one byte. The...