4142 search results - page 534 / 829 » Adaptive Control Variates |
142
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
118
click to vote
ETFA
2008
IEEE
15 years 4 months ago
2008
IEEE
Modern trends in manufacturing demand more flexible and adaptive handling of production order execution. Due to its distributed nature, agent-based systems become a suitable solut...
AAAI
2010
15 years 4 months ago
2010
As a robot formation increases in size or explores places where it is difficult for a human operator to interact, autonomous control becomes critical. We propose a distributed aut...
107
Voted
SE
2008
15 years 4 months ago
2008
: The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Not...
113
Voted
IADIS
2004
15 years 4 months ago
2004
In this paper we focus on the issue of repository transactions. Similar to database objects repository objects can be accessed form multiple clients simultaneously. The organizati...