4313 search results - page 594 / 863 » Using time travel to diagnose computer problems |
205
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
202
Voted
FGIT
2009
Springer
16 years 2 months ago
2009
Springer
GRID environments are privileged targets for computation-intensive problem solving in areas from weather forecasting to seismic analysis. Mainly composed by commodity hardware, th...
204
Voted
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
186
Voted
ICTAC
2007
Springer
16 years 1 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
197
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper, we study the problem of localization using relative-state estimates. It is shown, that when the same exteroceptive sensor measurement is processed for the comput...