Sciweavers

2797 search results - page 330 / 560
» Control Structures
Sort
View
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 2 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...
ATS
2010
IEEE
250views Hardware» more  ATS 2010»
15 years 1 months ago
Efficient Embedding of Deterministic Test Data
Systems with many integrated circuits (ICs), often of the same type, are increasingly common to meet the constant performance demand. However, systems in recent semiconductor techn...
Mudassar Majeed, Daniel Ahlstrom, Urban Ingelsson,...
ACIIDS
2011
IEEE
209views Database» more  ACIIDS 2011»
14 years 11 months ago
Prototype of Object-Oriented Declarative Workflows
While in the traditional workflow processes the control flow is determined statically within process definitions, in declarative workflow processes the control flow is dynamic and ...
Marcin Dabrowski, Michal Drabik, Mariusz Trzaska, ...
CDC
2010
IEEE
128views Control Systems» more  CDC 2010»
14 years 11 months ago
Greedy sensor selection: Leveraging submodularity
ACT We consider the problem of sensor selection in resource constrained sensor networks. The fusion center selects a subset of k sensors from an available pool of m sensors accordi...
Manohar Shamaiah, Siddhartha Banerjee, Haris Vikal...
CDC
2010
IEEE
14 years 11 months ago
Thermal building model identification using time-scaled identification methods
The aim of this paper is to propose a robust and accurate method for the parametric identification of the thermal behaviour of low consumption buildings. These buildings are known ...
Paul Malisani, Francois Chaplais, Nicolas Petit, D...