2419 search results - page 335 / 484 » A Simple DOCSIS Simulator |
123
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
130
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
Network measurement has shown that a specific IP address prefix may be announced by more than one autonomous system (AS), a phenomenon commonly referred to as Multiple Origin AS...
119
Voted
ICNP
2002
IEEE
15 years 8 months ago
2002
IEEE
Current Quality of Service models such as those embodied in the Differentiated Services proposals, rely on data path aggregation to achieve scalability. Data path aggregation bund...
142
Voted
ICNP
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— Internet flash crowds (a.k.a. hot spots) are a phenomenon that result from a sudden, unpredicted increase in an on-line object’s popularity. Currently, there is no e...
140
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
— In this paper, we present a method for co-evolving structures and controller of biped walking robots. Currently, biped walking humanoid robots are designed manually on trial-an...