Sciweavers

2638 search results - page 405 / 528
» A Framework for Automatic Debugging
Sort
View
IWPC
2008
IEEE
16 years 23 days ago
Ensuring Well-Behaved Usage of APIs through Syntactic Constraints
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...
Martin Feilkas, Daniel Ratiu
MEMOCODE
2008
IEEE
16 years 23 days ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier
SCAM
2008
IEEE
16 years 22 days ago
Some Assembly Required - Program Analysis of Embedded System Code
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seef...
CVPR
2007
IEEE
16 years 21 days ago
Trajectory Series Analysis based Event Rule Induction for Visual Surveillance
In this paper, a generic rule induction framework based on trajectory series analysis is proposed to learn the event rules. First the trajectories acquired by a tracking system ar...
Zhang Zhang, Kaiqi Huang, Tieniu Tan, Liangsheng W...
CVPR
2007
IEEE
16 years 21 days ago
Multiple Target Tracking Using Spatio-Temporal Markov Chain Monte Carlo Data Association
We propose a framework for general multiple target tracking, where the input is a set of candidate regions in each frame, as obtained from a state of the art background learning, ...
Qian Yu, Gérard G. Medioni, Isaac Cohen