4502 search results - page 21 / 901 » Regular Model Checking |
POPL
2004
ACM
14 years 10 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper, a family of low-density parity-check (LDPC) degree distributions, whose decoding threshold on the binary erasure channel (BEC) admits a simple closed form, is pr...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
The substitution of physical bank check exchange by electronic check image transfer brings agility, security and cost reduction to the clearing system. In this paper, we propose a...
INTERACT
2003
13 years 11 months ago
2003
: People have a large amount of information that they wish to maintain awareness of, but yet forget to check or are too busy to check it on a regular basis. Examples of this inform...
FMCAD
2006
Springer
14 years 1 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...