Sciweavers

10539 search results - page 112 / 2108
» On L
Sort
View
ICCAD
1994
IEEE
70views Hardware» more  ICCAD 1994»
15 years 10 months ago
Iterative algorithms for formal verification of embedded real-time systems
Felice Balarin, Alberto L. Sangiovanni-Vincentelli
ICRA
1993
IEEE
129views Robotics» more  ICRA 1993»
15 years 10 months ago
Robot Navigation in a Known Environment with Unknown Moving Obstacles
Steven Ratering, Maria L. Gini
ISCAS
1993
IEEE
98views Hardware» more  ISCAS 1993»
15 years 10 months ago
A High Resolution Nonlinearity Correcting A/D Converter Architecture
Terry L. Sculley, Martin A. Brooke