3575 search results - page 653 / 715 » Modeling Concurrency with Geometry |
103
click to vote
CIKM
1994
Springer
15 years 3 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
111
click to vote
IOPADS
1997
15 years 28 days ago
1997
We provide a competitive analysis framework for online prefetching and buffer management algorithms in parallel I/O systems, using a read-once model of block references. This has ...
AIPS
2009
15 years 21 days ago
2009
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...
100
click to vote
IJRR
2002
14 years 11 months ago
2002
This paper investigates safe and efficient map-building strategies for a mobile robot with imperfect control and sensing. In the implementation, a robot equipped with a range sens...
125
click to vote
IWMM
2011
Springer
14 years 2 months ago
2011
Springer
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...