455 search results - page 76 / 91 » Towards an Extensible Argumentation System |
235
Voted
SIGMETRICS
2012
ACM
13 years 10 months ago
2012
ACM
This paper presents a benchmarking suite that measures the performance of using sockets and eXtensible Markup Language remote procedure calls (XML-RPC) to exchange intra-node mess...
236
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
193
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
191
click to vote
LOPSTR
2005
Springer
16 years 29 days ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
180
click to vote
LPNMR
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...