2958 search results - page 81 / 592 » Extending and Implementing RASP |
CGO
2011
IEEE
12 years 11 months ago
2011
IEEE
—This paper describes our trace-based JIT compiler (trace-JIT) for Java developed from a production-quality method-based JIT compiler (method-JIT). We first describe the design a...
ESOP
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Dependent grammars extend context-free grammars by allowing semantic values to be bound to variables and used to constrain parsing. Dependent grammars can cleanly specify...
IEAAIE
2011
Springer
12 years 11 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
PAM
2005
Springer
14 years 1 months ago
2005
Springer
This extended abstract present findings on measured TCP performance of a range of network stacks. We have found that there are significant differences between the TCP implementa...
TABLEAUX
1997
Springer
13 years 12 months ago
1997
Springer
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...