7049 search results - page 303 / 1410 » Data Abstraction for CSP-OZ |
169
click to vote
INFOCOM
2003
IEEE
16 years 2 hour ago
2003
IEEE
Abstract— Routers handle data packets from sources unresponsive to TCP’s congestion avoidance feedback. We are interested in the impact these sources have on AQM’s control of...
175
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
: Precise sensorimotor mappings between various motor, ensor, and abstract physical spaces are the basis for many robotics tasks. Their cheap construction is a challenge for adapti...
172
Voted
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
158
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
140
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In their search through a huge space of possible hypotheses, rule induction algorithms compare estimations of qualities of a large number of rules to find the one that ap...