2496 search results - page 114 / 500 » On covering by translates of a set |
197
Voted
FOIKS
2004
Springer
16 years 12 days 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...
199
Voted
ASM
2008
ASM
15 years 9 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...
167
click to vote
ACSAC
2006
IEEE
16 years 1 months 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...
200
click to vote
VEE
2006
ACM
16 years 29 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ļ¬...
181
click to vote
ICLP
2005
Springer
16 years 16 days 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...