4211 search results - page 543 / 843 » Types as Abstract Interpretations |
163
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
141
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In this paper, we explore the “clustering” phenomenon in BT-like systems. A high clustering implies peers have a high tendency to exchange information with peers of ...
153
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper introduces two new tree-based anticollision schemes using multiple feedback symbols for uplink tag random access of emerging radio frequency identification (...
157
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper models (large) deformations of shelllike objects under the grasping of a robot hand. Classical nonlinear theory of thin shells [21, pp. 186-194] is generaliz...
168
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...