Sciweavers

1400 search results - page 217 / 280
» Dynamic Galois Theory
Sort
View
ICPP
2000
IEEE
15 years 3 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 3 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
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 3 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...
ISLPED
1999
ACM
91views Hardware» more  ISLPED 1999»
15 years 3 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
ESA
1998
Springer
108views Algorithms» more  ESA 1998»
15 years 3 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