966 search results - page 67 / 194 » Communicating Answer Set Programs |
107
click to vote
ISCA
2002
IEEE
15 years 7 months ago
2002
IEEE
An instruction set architecture (ISA) suitable for future microprocessor design constraints is proposed. The ISA has hierarchical register files with a small number of accumulator...
128
click to vote
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
196
click to vote
ASPLOS
1996
ACM
15 years 6 months ago
1996
ACM
This paper describes the synchronization and communication primitives of the Cray T3E multiprocessor, a shared memory system scalable to 2048 processors. We discuss what we have l...
129
click to vote
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
149
click to vote
IJCAI
1997
15 years 3 months ago
1997
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...