9 search results - page 1 / 2 » Symbolic Data Flow Analysis for Detecting Deadlocks in Ada T... |
ADAEUROPE
2000
Springer
13 years 9 months ago
2000
Springer
EMSOFT
2009
Springer
13 years 11 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
ICIP
2007
IEEE
13 years 8 months ago
2007
IEEE
We propose a novel learning algorithm to detect moving pedestrians from a stationary camera in real-time. The algorithm learns a discriminative model based on eigenflow, i.e. the ...
ICFP
2006
ACM
14 years 4 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
IPPS
2008
IEEE
13 years 11 months ago
2008
IEEE
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...