Sciweavers

1404 search results - page 218 / 281
» Dynamic Scale-Space Theories
Sort
View
176
Voted
ICPP
2000
IEEE
15 years 10 months ago
Domination and Its Applications in Ad Hoc Wireless Networks with Unidirectional Links
We consider an efficient distributed algorithm for determining a dominating and absorbant set of vertices (mobile hosts) in a given directed graph that represents an ad hoc wirel...
Jie Wu, Hailan Li
ICRA
2000
IEEE
78views Robotics» more  ICRA 2000»
15 years 10 months ago
Hybrid System Design for Singularityless Task Level Robot Controllers
This paper presents a hybrid system approach in the design of a singularityless task level controller. To achieve a singularityless motion control in the neighborhood of singulari...
Jindong Tan, Ning Xi
187
Voted
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 10 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
167
Voted
ISLPED
1999
ACM
91views Hardware» more  ISLPED 1999»
15 years 10 months ago
Stochastic modeling of a power-managed system: construction and optimization
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...
Qinru Qiu, Qing Wu, Massoud Pedram
182
Voted
ESA
1998
Springer
108views Algorithms» more  ESA 1998»
15 years 10 months ago
Finding an Optimal Path without Growing the Tree
In this paper, we study a class of optimal path problems with the following phenomenon: The space complexity of the algorithms for reporting the lengths of single-source optimal pa...
Danny Z. Chen, Ovidiu Daescu, Xiaobo Hu, Jinhui Xu