Sciweavers

2615 search results - page 339 / 523
» Analysis of Real Time Operating System Based Applications
Sort
View
108
Voted
ICFEM
2007
Springer
15 years 9 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
ICIP
2001
IEEE
16 years 4 months ago
Recording the region of interest from FlyCam panoramic video
A novel method for region of interest tracking and recording video is presented. The proposed method is based on the FlyCam system [4], which produces high resolution and wide-ang...
Xinding Sun, Jonathan Foote, Don Kimber, B. S. Man...
IJCNN
2000
IEEE
15 years 7 months ago
People Recognition and Pose Estimation in Image Sequences
This paper presents a system which learns from examples to automatically recognize people and estimate their poses in image sequences with the potential application to daily surve...
Chikahito Nakajima, Massimiliano Pontil, Tomaso Po...
137
Voted
CASES
2008
ACM
15 years 5 months ago
Efficiency and scalability of barrier synchronization on NoC based many-core architectures
Interconnects based on Networks-on-Chip are an appealing solution to address future microprocessor designs where, very likely, hundreds of cores will be connected on a single chip...
Oreste Villa, Gianluca Palermo, Cristina Silvano
DATE
2002
IEEE
107views Hardware» more  DATE 2002»
15 years 8 months ago
High-Speed Non-Linear Asynchronous Pipelines
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
Recep O. Ozdag, Peter A. Beerel, Montek Singh, Ste...