Sciweavers

637 search results - page 34 / 128
» A Structural Knowledge-Based Simulation Methodology for Dist...
Sort
View
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
13 years 6 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
ICRA
2002
IEEE
127views Robotics» more  ICRA 2002»
14 years 1 months ago
Discontinuous Backstepping for Stabilization of Nonholonomic Mobile Robots
The paper presents a new method of performing integrator backstepping in systems that are discontinuous, either due to their inherent structure or because of the applied control i...
Herbert G. Tanner, Kostas J. Kyriakopoulos
CASES
2003
ACM
14 years 9 days ago
A hierarchical approach for energy efficient application design using heterogeneous embedded systems
Several features such as reconfiguration, voltage and frequency scaling, low-power operating states, duty-cycling, etc. are exploited for latency and energy efficient application ...
Sumit Mohanty, Viktor K. Prasanna
ISVLSI
2006
IEEE
89views VLSI» more  ISVLSI 2006»
14 years 2 months ago
System Exploration of SystemC Designs
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
Christian Genz, Rolf Drechsler
SRDS
2008
IEEE
14 years 3 months ago
Self-Stabilization in Tree-Structured Peer-to-Peer Service Discovery Systems
The efficiency of service discovery is critical in the development of fully decentralized middleware intended to manage large scale computational grids. This demand influenced t...
Eddy Caron, Ajoy Kumar Datta, Franck Petit, C&eacu...