1458 search results - page 153 / 292 » Monads for incremental computing |
110
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— In this paper we describe an algorithm to compute cycle constraints that can be used in many graph-based SLAM algorithms; we exemplify it in Hierarchical SLAM. Our algo...
131
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
118
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present an efficient analog synthesis algorithm employing regression models of circuit matrices. Circuit matrix models achieve accurate and speedy synthesis of analog circuits...
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Today, several data-storage systems allow applications to create and manage custom metadata to improve data search and navigability in large-scale storage systems. Our thesis is t...
139
Voted
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a theoretical and experimental study on the limitations of copy-on-write snapshots and incremental backups in terms of data recoverability. We provide mathemat...