Sciweavers

11328 search results - page 433 / 2266
» Timed Branching Processes
Sort
View
IPPS
2005
IEEE
15 years 12 months ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
DAGM
2005
Springer
15 years 11 months ago
A Direct Method for Real-Time Tracking in 3-D Under Variable Illumination
3-D tracking of free-moving objects has to deal with brightness variations pronounced by the shape of the tracked surface. Pixel-based tracking techniques, though versatile, are p...
Wolfgang Sepp
IBPRIA
2005
Springer
15 years 11 months ago
Real-Time Tracking Using Multiple Target Models
Using Comaniciu et al.’s approach as a basis, [9], this paper presents a real-time tracking technique in which a multiple target model is used. The use of a multiple model shall ...
Manuel J. Lucena, José M. Fuertes, Nicolas ...
LOPSTR
2004
Springer
15 years 11 months ago
Fully Automatic Binding-Time Analysis for Prolog
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
Stephen-John Craig, John P. Gallagher, Michael Leu...
IWSOC
2003
IEEE
132views Hardware» more  IWSOC 2003»
15 years 11 months ago
A Catalog of Hardware Acceleration Techniques for Real-Time Reconfigurable System on Chip
The new technology of reconfigurable System-on-Chip is shown to be a good match to the requirements of realtime embedded systems. In particular, the judicious use of specialised d...
Neil W. Bergmann, Peter Waldeck, John A. Williams