6978 search results - page 1061 / 1396 » On Proofs in System P |
147
click to vote
HOTI
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the architecture and practical VLSI implementation of a 4-Tb/s single-stage switch. It is based on a combined input- and crosspoint-queued structure with virtual output...
170
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present control methods for an autonomous four-rotor helicopter, called a quadrotor, using visual feedback as the primary sensor. The vision system uses a ground camera to esti...
175
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for ...
155
click to vote
IEEEMSP
2002
IEEE
15 years 11 months ago
2002
IEEE
It has been shown that an agent located at the junction of wired and wireless links can help streaming media systems identify where packet losses occur and therefore maintain prop...
224
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present the design and implementation of a Pluggable Fault Tolerant CORBA Infrastructure that provides fault tolerance for CORBA applications by utilizing the plu...