2496 search results - page 114 / 500 » On covering by translates of a set |
173
click to vote
FOIKS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
168
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
152
click to vote
ACSAC
2006
IEEE
16 years 16 days ago
2006
IEEE
Instruction Set Randomization (ISR) has been proposed as a form of defense against binary code injection into an executing program. One proof-of-concept implementation is Randomiz...
187
click to vote
VEE
2006
ACM
16 years 12 days ago
2006
ACM
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speciļ¬...
164
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been deļ¬ned. The framework allows to deļ¬ne different not...