Sciweavers

633 search results - page 40 / 127
» Flexible hardware software platform for tracking application...
Sort
View
PDP
2003
IEEE
14 years 2 months ago
A Flexible Library for Dependable Master-Worker Parallel Programs
We describe a robust library for parallel and dependable master-worker programs (raftnet). From a software client’s viewpoint, flexibility, hardware independence and ease of us...
Mieke Leeman, Marc Leeman, Vincenzo De Florio, Gee...
FMICS
2010
Springer
13 years 9 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
JMM2
2006
219views more  JMM2 2006»
13 years 8 months ago
Fully Automatic Real-Time 3D Object Tracking using Active Contour and Appearance Models
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
Giorgio Panin, Alois Knoll
ICDCS
1996
IEEE
14 years 1 months ago
Supporting a Flexible Parallel Programming Model on a Network of Workstations
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
Shih-Chen Huang, Zvi M. Kedem
ASPDAC
2006
ACM
123views Hardware» more  ASPDAC 2006»
14 years 2 months ago
Implementation of H.264/AVC decoder for mobile video applications
- This paper presents an H.264/AVC baseline profile decoder based on a SoC platform design methodology. The overall decoding throughput is increased by optimized software and a ded...
Suh Ho Lee, Ji Hwan Park, Seon Wook Kim, Sung Jea ...