Sciweavers

2650 search results - page 425 / 530
» Simulation and Control of Reactive Systems
Sort
View
ICNP
2006
IEEE
14 years 4 months ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
ICRA
2005
IEEE
161views Robotics» more  ICRA 2005»
14 years 3 months ago
Dynamic Modeling of Linear Object Deformation based on Differential Geometry Coordinates
— This paper describes the dynamic modeling of linear object deformation based on differential geometry coordinates. Deformable linear objects such as cables and strings are wide...
Hidefumi Wakamatsu, Kousaku Takahashi, Shinichi Hi...
VLSID
2005
IEEE
170views VLSI» more  VLSID 2005»
14 years 3 months ago
A High-Efficiency, Dual-Mode, Dynamic, Buck-Boost Power Supply IC for Portable Applications
Abstract—Integrated power supplies are critical building blocks in stateof-the-art portable applications, where they efficiently and accurately transform a battery supply into va...
Biranchinath Sahu, Gabriel A. Rincón-Mora
MM
2004
ACM
145views Multimedia» more  MM 2004»
14 years 3 months ago
Proportional service differentiation in wireless LANs using spacing-based channel occupancy regulation
In this paper, we propose Spacing-based Channel Occupancy Regulation (SCORE) MAC protocol that provides proportional service differentiation in terms of normalized throughput in w...
Qi Xue, Aura Ganz
VRST
2004
ACM
14 years 3 months ago
FreeWalk/Q: social interaction platform in virtual space
We have integrated technologies related to virtual social interaction, e.g. virtual environments, visual simulations, and lifelike characters. In our previous efforts to integrate...
Hideyuki Nakanishi, Toru Ishida