1387 search results - page 57 / 278 » Next generation CiteSeer |
ERSHOV
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
PADL
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
SACRYPT
1999
Springer
14 years 2 months ago
1999
Springer
We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the...
FGCN
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Wireless mesh networks have the potential to provide ubiquitous high-speed Internet at low costs. The good news is that initial deployments of WiFi meshes show the feas...
FATES
2006
Springer
14 years 1 months ago
2006
Springer
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...