12670 search results - page 2125 / 2534 » Requirements Modeling |
173
Voted
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
180
Voted
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a new theoretical framework for robot-aided training of arm movements. This framework is based on recent studies of motor adaptation in human subjects and on general c...
183
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Force feedback coupled with a real-time physically realistic graphic display provides a human operator with an artificial sense of presence in a virtual environment. Furthermore,...
180
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a framework for designing end-to-end congestion control schemes in a network where each user may have a different utility function and may experience non-congestion-re...
198
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
— In this paper we demonstrate how TCP congestion control can show chaotic behavior. We demonstrate the major features of chaotic systems in TCP/IP networks with examples. These ...