Sciweavers

5756 search results - page 956 / 1152
» Describing Objects by their Attributes
Sort
View
88
Voted
ICRA
1999
IEEE
145views Robotics» more  ICRA 1999»
15 years 5 months ago
Advances in Doppler-Based Navigation of Underwater Robotic Vehicles
New low-cost commercially available bottom-lock doppler sonars can augment or replace the acoustic timeof-flight navigation systems commonly employed for threedimensional underwat...
Louis L. Whitcomb, Dana R. Yoerger, Hanumant Singh
ISCAS
1999
IEEE
106views Hardware» more  ISCAS 1999»
15 years 5 months ago
Test pattern generation for width compression in BIST
The main objectives of Built-In Self Test (BIST) are the design of test pattern generator circuits which achieve the highest fault coverage, require the shortest sequence of test ...
Paulo F. Flores, Horácio C. Neto, K. Chakra...
DSOM
1999
Springer
15 years 5 months ago
JAMAP: A Web-based Management Platform for IP Networks
In this paper, we describe JAMAP, a prototype of a Web-based management platform for IP networks. It is written entirely in Java. It implements the push model to perform regular ma...
Jean-Philippe Martin-Flatin, Laurent Bovet, Jean-P...
84
Voted
NDSS
1999
IEEE
15 years 5 months ago
PGRIP: PNNI Global Routing Infrastructure Protection
We describe a system for achieving PNNI (Private Network-Network Interface) Global Routing Infrastructure Protection (PGRIP). We give details of PGRIP's system-level design a...
Sabrina De Capitani di Vimercati, Patrick Lincoln,...
96
Voted
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 5 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff