Sciweavers

2958 search results - page 123 / 592
» Extending and Implementing RASP
Sort
View
200
Voted
ICFP
2009
ACM
16 years 1 months ago
Parallel concurrent ML
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
John H. Reppy, Claudio V. Russo, Yingqi Xiao
120
Voted
SODA
2010
ACM
200views Algorithms» more  SODA 2010»
15 years 10 months ago
Fully-Functional Succinct Trees
We propose new succinct representations of ordinal trees, which have been studied extensively. It is known that any n-node static tree can be represented in 2n + o(n) bits and a l...
Kunihiko Sadakane, Gonzalo Navarro
ICRA
2006
IEEE
85views Robotics» more  ICRA 2006»
15 years 6 months ago
A Multi-robot System for Continuous Area Sweeping Tasks
— As mobile robots become increasingly autonomous over extended periods of time, opportunities arise for their use on repetitive tasks. We define and implement behaviors for a c...
Mazda Ahmadi, Peter Stone
138
Voted
ADC
2005
Springer
114views Database» more  ADC 2005»
15 years 6 months ago
Optimization of Relational Preference Queries
The design and implementation of advanced personalized database applications requires a preference-driven approach. Representing preferences as strict partial orders is a good cho...
Bernd Hafenrichter, Werner Kießling
CC
2004
Springer
110views System Software» more  CC 2004»
15 years 6 months ago
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
Venkatesh Prasad Ranganath, John Hatcliff