Sciweavers

3667 search results - page 72 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
ISSTA
2000
ACM
15 years 4 months ago
Putting static analysis to work for verification: A case study
Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhar...
LCTRTS
1995
Springer
15 years 3 months ago
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
POPL
2011
ACM
14 years 2 months ago
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...
PAMI
2012
13 years 2 months ago
Spacetime Texture Representation and Recognition Based on a Spatiotemporal Orientation Analysis
—This paper is concerned with the representation and recognition of the observed dynamics (i.e., excluding purely spatial appearance cues) of spacetime texture based on a spatiot...
Konstantinos G. Derpanis, Richard P. Wildes