7167 search results - page 411 / 1434 » Answer Set Programming |
180
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
205
click to vote
ISCA
1993
IEEE
15 years 11 months ago
1993
IEEE
er uses an abstract machine approach to compare the mechanisms of two parallel machines: the J-Machine and the CM-5. High-level parallel programs are translated by a single optimi...
159
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of partitioning the set of agents into exh...
250
click to vote
CSCLP
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
181
click to vote
SPLC
2010
15 years 8 months ago
2010
Feature-oriented programming (FOP) implements software product lines by composition of feature modules. It relies on the principles of stepwise development. Feature modules are int...