8874 search results - page 325 / 1775 » A New Implementation of Automath |
182
click to vote
HPCN
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents a new architecture organisation, the dynamically trace scheduled VLIW (DTSVLIW), that can be used to implement machines that execute the code of current RISC o...
177
click to vote
SACRYPT
1998
Springer
15 years 11 months ago
1998
Springer
We introduce a new payment architecture that limits the power of an attacker while providing the honest user with privacy. Our proposed method defends against all known attacks on ...
179
click to vote
EPIA
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. A new algorithm for finding the minimal solutions of systems of linear Diophantine equations has recently been published. In its description the emphasis was put on the ...
184
click to vote
PEPM
1997
ACM
15 years 11 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
152
click to vote
ICGI
1994
Springer
15 years 11 months ago
1994
Springer
: This paper deals on defining object-oriented inferences by desining a new unification procedure called ?-unification (which leads to a sound and complete resolution) in DF-logic,...