1633 search results - page 278 / 327 » On the Verification of Temporal Properties |
103
click to vote
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
126
click to vote
AB
2007
Springer
15 years 6 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
108
click to vote
ASPLOS
1996
ACM
15 years 4 months ago
1996
ACM
This paper analyzes and quantifies the locality characteristics of numerical loop nests in order to suggest future directions for architecture and software cache optimizations. Si...
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
SGP
2007
15 years 2 months ago
2007
We propose an algorithm that performs registration of large sets of unstructured point clouds of moving and deforming objects without computing correspondences. Given as input a s...