396 search results - page 23 / 80 » Generalizing Parametricity Using Information-flow |
IWMM
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
FPGA
2007
ACM
14 years 3 months ago
2007
ACM
Variations in the semiconductor fabrication process results in variability in parameters between transistors on the same die, a problem exacerbated by lithographic scaling. The re...
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
ENTCS
2007
13 years 9 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
PAMI
1998
13 years 9 months ago
1998
—As an object moves through the field of view of a camera, the images of the object may change dramatically. This is not simply due to the translation of the object across the im...