3595 search results - page 100 / 719 » Roles of Program Extension |
172
click to vote
ECOOP
1997
Springer
15 years 8 months ago
1997
Springer
We propose a new model for exible composition of objects et of features. Features are similar to (abstract) subclasses, but only provide the core functionality of a (sub)class. Ove...
110
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
130
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...
164
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
The paper presents SmartNetSolve, an extension of NetSolve, the programming system for high performance Grid computing. The extension is aimed at higher performance of Grid applic...
159
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...