1350 search results - page 93 / 270 » Reasoning about Staged Computation |
147
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
131
click to vote
IEEEPACT
2000
IEEE
15 years 9 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
166
click to vote
IEEEPACT
2006
IEEE
15 years 11 months ago
2006
IEEE
With reducing feature size, increasing chip capacity, and increasing clock speed, microprocessors are becoming increasingly susceptible to transient (soft) errors. Redundant multi...
105
click to vote
TGIS
2008
15 years 5 months ago
2008
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...
180
click to vote
TIP
2008
15 years 5 months ago
2008
We consider the problem of recognizing 3-D objects from 2-D images using geometric models and assuming different viewing angles and positions. Our goal is to recognize and localize...