Sciweavers

2089 search results - page 271 / 418
» Finding Environment Guarantees
Sort
View
ICC
2007
IEEE
150views Communications» more  ICC 2007»
16 years 25 days ago
Utility-based Optimal Rate Allocation for Heterogeneous Wireless Multicast
Abstract— Heterogeneous multicast is an efficient communication scheme especially for multimedia applications running over multihop networks when multicast receivers in the same...
Amr M. Mohamed, Hussein M. Alnuweiri
ICC
2007
IEEE
131views Communications» more  ICC 2007»
16 years 25 days ago
A Two-phase Approach for Dynamic Lightpath Scheduling in WDM Optical Networks
— Lightpath scheduling is an important capability in next-generation wavelength-division multiplexing (WDM) optical networks to reserve resources in advance for a specified time ...
Lu Shen, Xi Yang, Ajay Kumar Todimala, Byrav Ramam...
ICRA
2007
IEEE
114views Robotics» more  ICRA 2007»
16 years 25 days ago
A Short Paper about Motion Safety
— Motion safety for robotic systems operating in the real world is critical (especially when their size and dynamics make them potentially harmful for themselves or their environ...
Thierry Fraichard
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
16 years 25 days ago
Greedy but Safe Replanning under Kinodynamic Constraints
— We consider motion planning problems for a vehicle with kinodynamic constraints, where there is partial knowledge about the environment and replanning is required. We present a...
Kostas E. Bekris, Lydia E. Kavraki
TPHOL
2007
IEEE
16 years 23 days ago
Separation Logic for Small-Step cminor
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
Andrew W. Appel, Sandrine Blazy