2736 search results - page 235 / 548 » Implementable allocation rules |
231
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
This paper shows how lazy functional programs can be made mobile by compiling them for the Java Virtual Machine. The Haskell compiler it describes is based on the h ,Gi-machine, wh...
194
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
164
click to vote
SP
1990
IEEE
15 years 10 months ago
1990
IEEE
This paper examines some questions concerning commercial computer security integrity policies. We give an example of a dynamic separation of duty policy which cannot be implemente...
174
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we advocate the use of pre-decoding for CAM-based pattern matching. We implement an FPGA based sub-system for NIDS (Snort) pattern matching using a combination of te...
153
click to vote
FINTAL
2006
15 years 10 months ago
2006
We present a regular approximation of Link Grammar, a dependency-type formalism with context-free expressive power, as a first step toward a finite-state joint inference system. Th...