Sciweavers

2419 search results - page 224 / 484
» A Simple DOCSIS Simulator
Sort
View
HYBRID
2000
Springer
15 years 7 months ago
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
Joseph S. Miller
ICRA
2000
IEEE
127views Robotics» more  ICRA 2000»
15 years 7 months ago
Design, Experiments and Motion Planning of a Spherical Rolling Robot
This paper describes a prototype and analytical studies of a spherical rolling robot, a new design of a nonholonomic system. The spherical robot is driven by two remotely controll...
Shourov Bhattacharya, Sunil Kumar Agrawal
IDMS
2000
Springer
123views Multimedia» more  IDMS 2000»
15 years 7 months ago
How to Keep a Dead Man from Shooting
The state-of-the-art approach to realize consistency in distributed virtual environments (e.g., action games, multi-user virtual reality, and battlefield simulations) is dead recko...
Martin Mauve
IWAN
2000
Springer
15 years 7 months ago
Differentiated Quality of Service in Application Layer Active Networks
A novel approach to quality of service control in an active service network (application layer active network) is described. The approach makes use of a distributed genetic algori...
Chris M. Roadknight, Ian W. Marshall
PACS
2000
Springer
110views Hardware» more  PACS 2000»
15 years 7 months ago
Compiler-Directed Dynamic Frequency and Voltage Scheduling
Dynamic voltage and frequency scaling has been identified as one of the most effective ways to reduce power dissipation. This paper discusses a compilation strategy that identifies...
Chung-Hsing Hsu, Ulrich Kremer, Michael S. Hsiao