1133 search results - page 37 / 227 » Local Logics for Traces |
173
Voted
CIS
2010
Springer
14 years 7 months ago
2010
Springer
A group of mobile robots can localize cooperatively, using relative position and absolute orientation measurements, fused through an extended Kalman filter (ekf). The topology of ...
94
Voted
IMECS
2007
15 years 2 months ago
2007
—Workload characterisation and generation is becoming an increasingly important area as hardware and application complexities continue to advance. In this paper, we introduce a c...
101
Voted
STACS
2010
Springer
15 years 7 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
94
Voted
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
112
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...