3820 search results - page 428 / 764 » Bounded Model Debugging |
163
Voted
VL
2000
IEEE
15 years 8 months ago
2000
IEEE
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
124
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
Parts manufactured to tolerances have shape variations. Most work in robotic manipulation assumes that part shape does not vary. Orienting devices such as bowl feeders frequently ...
140
click to vote
SRDS
1998
IEEE
15 years 8 months ago
1998
IEEE
The primary-backup replication model is one of the commonly adopted approaches to providing fault tolerant data services. Its extension to the real-time environment, however, impo...
131
Voted
ICC
1997
IEEE
15 years 8 months ago
1997
IEEE
: We are concerned with a real-time quality of service (QOS) estimation method for ATM statistical multiplexers with heterogeneous ON/OFF sources. We propose a real-time modeling m...
148
click to vote
INFOCOM
1997
IEEE
15 years 8 months ago
1997
IEEE
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...