4502 search results - page 21 / 901 » Regular Model Checking |
212
Voted
POPL
2004
ACM
16 years 24 days 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...
81
Voted
ICC
2007
IEEE
15 years 6 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...
94
Voted
ICIP
2006
IEEE
16 years 2 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...
92
Voted
INTERACT
2003
15 years 1 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...
106
Voted
FMCAD
2006
Springer
15 years 4 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...