357 search results - page 27 / 72 » A Contracting System for Hierarchical Components |
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
Accurate prediction of operator execution time is a prerequisite for database query optimization. Although extensively studied for conventional disk-based DBMSs, cost modeling in ...
ENTCS
2007
14 years 10 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
FORMATS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
FGR
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents algorithms and a prototype system for hand tracking and hand posture recognition. Hand postures are represented in terms of hierarchies of multi-scale colour i...
ICPPW
2009
IEEE
15 years 4 months ago
2009
IEEE
Multi-core architectures have received significant interest as thermal and power consumption problems limit further increase of speed in single-cores. In the multi-core research ...