Sciweavers

3566 search results - page 29 / 714
» Signed Logic Programs
Sort
View
PPDP
2000
Springer
15 years 2 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
PADL
2007
Springer
15 years 4 months ago
Aspect-Oriented Programming in Higher-Order and Linear Logic
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
Chuck C. Liang
PDPTA
2000
14 years 12 months ago
Constant Multipliers for FPGAs
This paper presents a survey of techniques to implement multiplications by constants on FPGAs. It shows in particular that a simple and well-known technique, canonical signed recod...
Florent de Dinechin, Vincent Lefèvre