387 search results - page 16 / 78 » Global Synchronization in Sensornets |
FM
2003
Springer
14 years 21 days ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
ATS
1997
IEEE
13 years 11 months ago
1997
IEEE
Testing circuits which do not include a global reset signal requires either complex ATPG algorithms based on 9- or even 256-valued algebras, or some suitable method to generate in...
ICCD
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper presents a new approach to the automated generation of an initialization sequence for synchronous sequential circuits. Finding an initialization sequence is a hard task...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Abstract: This paper proposes a novel approach to nonrigid, markerless motion capture from synchronized video streams acquired by calibrated cameras. The instantaneous geometry of ...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...