4513 search results - page 735 / 903 » Logic programming with satisfiability |
116
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
The Converse run-time framework was designed with dual objectives: that of supporting quick development of portable run-time systems for new parallel programming paradigms, and tha...
130
Voted
HPCN
1998
Springer
15 years 7 months ago
1998
Springer
An increasing number of science and engineering applications require distributed and parallel computing resources to satisfy user response-time requirements. Distributed science a...
138
Voted
GLVLSI
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper, we propose a global routing algorithm for multi-layer building-block layouts. The algorithm is based on successive ripup and rerouting while satisfying edge capacit...
155
Voted
MA
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents a mobile agent approach that aims at satisfying the following requirements of open Internet-based electronic service markets: the mobile agent system should be...
126
click to vote
ECAIW
1994
Springer
15 years 7 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...