Sciweavers

3793 search results - page 44 / 759
» The wireless synchronization problem
Sort
View
CDC
2008
IEEE
14 years 3 months ago
Passivity-based output synchronization and flocking algorithm in SE(3)
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
Yuji Igarashi, Takeshi Hatanaka, Masayuki Fujita, ...
COMPSAC
2010
IEEE
13 years 6 months ago
Synchronized Architecture Evolution in Software Product Line Using Bidirectional Transformation
In the long-term evolution of a Software Product Line (SPL), how to ensure the alignment between the reference and application architectures is a critical problem. Existing ad-hoc...
Liwei Shen, Xin Peng, Jiayi Zhu, Wenyun Zhao
EMSOFT
2009
Springer
14 years 20 days ago
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
Marc Pouzet, Pascal Raymond
FAC
2008
123views more  FAC 2008»
13 years 8 months ago
Interface synthesis and protocol conversion
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
Purandar Bhaduri, S. Ramesh
ASPDAC
2004
ACM
141views Hardware» more  ASPDAC 2004»
14 years 2 months ago
An approach for reducing dynamic power consumption in synchronous sequential digital designs
— The problem of minimizing dynamic power consumption by scaling down the supply voltage of computational elements off critical paths is widely addressed in the literature for th...
Noureddine Chabini, Wayne Wolf