78 search results - page 14 / 16 » Specialization of Functional Logic Programs Based on Needed ... |
AI
2008
Springer
14 years 9 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
HASKELL
2006
ACM
15 years 3 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
ICS
2005
Tsinghua U.
15 years 2 months ago
2005
Tsinghua U.
In an out-of-order issue processor, instructions are dynamically reordered and issued to function units in their dataready order rather than their original program order to achiev...
132
Voted
AOSD
2010
ACM
15 years 4 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
100
click to vote
CODES
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...