576 search results - page 44 / 116 » XML-RL Update Language |
105
click to vote
JLP
2008
14 years 11 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
107
click to vote
ICALP
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. We study the problem of maintaining a dynamic tree succinctly, in 2n + o(n) bits, under updates of the following form: insertion or deletion of a leaf, insertion of a nod...
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
Traditional storage systems provide a simple read/write interface, which is inadequate for low-locality update-intensive workloads because it limits the disk scheduling flexibili...
184
click to vote
CC
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
106
click to vote
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper we present a method for determining body orientation and pose information from laser scanner data using particle filtering with an adaptive modeling algorithm. A...