6155 search results - page 1142 / 1231 » A language for multiple models of computation |
195
click to vote
JACM
2002
15 years 5 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
209
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
All surfaces can be classified by the conformal equivalence
relation. Conformal invariants, which are shape indices
that can be defined intrinsically on a surface, may
be used t...
147
click to vote
ICCV
1999
IEEE
16 years 8 months ago
1999
IEEE
Automatic grouping and segmentation of images remains a challenging problem in computer vision. Recently, a number of authors have demonstrated good performance on this task using...
171
click to vote
HPCA
2007
IEEE
16 years 6 months ago
2007
IEEE
If-conversion is a compiler technique that reduces the misprediction penalties caused by hard-to-predict branches, transforming control dependencies into data dependencies. Althou...
191
click to vote
HPCA
2006
IEEE
16 years 6 months ago
2006
IEEE
As silicon technologies move into the nanometer regime, transistor reliability is expected to wane as devices become subject to extreme process variation, particle-induced transie...