4385 search results - page 324 / 877 » Abstraction for Concurrent Objects |
209
click to vote
MACH
1993
15 years 8 months ago
1993
This paper describes the architecture and implementation of MIKE - a version of the IK distributed persistent object-oriented programming platform built on top of the Mach microke...
176
click to vote
LPNMR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...
123
click to vote
ERCIMDL
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper argues for the necessity of digital libraries to increase access to their holdings and have greater impact on e-learning and education by facilitating the crea...
172
click to vote
CLEF
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. For our third participation in the CLEF evaluation campaign, our objective for both multilingual tracks is to propose a new merging strategy that does not require a train...
148
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Define a static algorithm as an algorithm that computes some combinatorial property of its input consisting of static, i.e., non-moving, objects. In this paper, we descri...