Sciweavers

14360 search results - page 265 / 2872
» Time Modeling in MARTE
Sort
View
CSREAESA
2010
13 years 8 months ago
An Approach for Efficient Real Time Moving Object Detection
Moving object detection is essential for real-time surveillance; however, it is challenging to support moving object detection in a timely fashion due to the compute-intensive natu...
Arnab Roy, Sanket Shinde, Kyoung-Don Kang
IBPRIA
2009
Springer
13 years 8 months ago
Real-Time Motion Detection for a Mobile Observer Using Multiple Kernel Tracking and Belief Propagation
We propose a novel statistical method for motion detection and background maintenance for a mobile observer. Our method is based on global motion estimation and statistical backgro...
Marc Vivet, Brais Martínez, Xavier Binefa
PDPTA
2004
14 years 3 days ago
Static Performance Evaluation for Memory-Bound Computing: The MBRAM Model
We present the MBRAM model for static evaluation of the performance of memory-bound programs. The MBRAM model predicts the actual running time of a memory-bound program directly fr...
Gene Cooperman, Xiaoqin Ma, Viet Ha Nguyen
FUIN
2008
74views more  FUIN 2008»
13 years 10 months ago
Security in a Model for Long-running Transactions
Abstract. Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long
Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo ...
TCAD
2008
98views more  TCAD 2008»
13 years 10 months ago
Early Analysis and Budgeting of Margins and Corners Using Two-Sided Analytical Yield Models
Manufacturing process variations lead to variability in circuit delay and, if not accounted for, can cause excessive timing yield loss. The familiar traditional approaches to timin...
Khaled R. Heloue, Farid N. Najm