811 search results - page 56 / 163 » Probabilistic Semantics and Program Analysis |
123
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
116
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...
127
Voted
ICVS
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
135
click to vote
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
ADAEUROPE
2008
Springer
15 years 9 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...