11740 search results - page 156 / 2348 » More Problems in Rewriting |
150
click to vote
IJCNLP
2005
Springer
15 years 9 months ago
2005
Springer
This paper proposes a variation of synchronous grammar based on the formalism of context-free grammar by generalizing the first component of productions that models the source text...
132
click to vote
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
136
click to vote
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Host security is achieved by securing both the operating system kernel and the privileged applications that run on top of it. Application-level bugs are more frequent than kernel-...
124
click to vote
ANSS
2004
IEEE
15 years 7 months ago
2004
IEEE
To enable optimizations in memory access behavior of high performance applications, cache monitoring is a crucial process. Simulation of cache hardware is needed in order to allow...
163
click to vote
RTA
1995
Springer
15 years 7 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...