Sciweavers

2419 search results - page 224 / 484
» A Simple DOCSIS Simulator
Sort
View
HYBRID
2000
Springer
15 years 10 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 10 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 10 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 10 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 10 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