576 search results - page 44 / 116 » XML-RL Update Language |
126
Voted
JLP
2008
15 years 2 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...
131
Voted
ICALP
2009
Springer
16 years 2 months 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...
114
Voted
ASPLOS
2012
ACM
13 years 10 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...
222
click to vote
CC
2009
Springer
16 years 3 months 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 ...
131
click to vote
IROS
2007
IEEE
15 years 9 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...