Sciweavers

2089 search results - page 271 / 418
» Finding Environment Guarantees
Sort
View
ICC
2007
IEEE
150views Communications» more  ICC 2007»
15 years 11 months 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
121
Voted
ICC
2007
IEEE
131views Communications» more  ICC 2007»
15 years 11 months 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...
114
Voted
ICRA
2007
IEEE
114views Robotics» more  ICRA 2007»
15 years 11 months 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»
15 years 11 months 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
114
Voted
TPHOL
2007
IEEE
15 years 10 months 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