1320 search results - page 215 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
DASFAA
2004
IEEE
14 years 21 days ago
2004
IEEE
Relational index structures, as for instance the Relational Interval Tree or the Linear Quadtree, support efficient processing of queries on top of existing object-relational datab...
TSMC
2010
13 years 3 months ago
2010
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...
EOR
2006
13 years 9 months ago
2006
One of the most important, common and critical management issues lies in determining the "best" project portfolio out of a given set of investment proposals. As this dec...
ICPPW
2002
IEEE
14 years 1 months ago
2002
IEEE
Distributed Shared Memory (DSM) systems provide a logically shared memory over physically distributed memory to enable parallel computation on Networks of Workstations (NOWs). In ...