1878 search results - page 29 / 376 » The Vienna Abstract Machine |
ICS
1997
Tsinghua U.
14 years 2 months ago
1997
Tsinghua U.
Modern microprocessors can achieve high performance on linear algebra kernels but this currently requires extensive machine-speci c hand tuning. We have developed a methodology wh...
RSP
2000
IEEE
14 years 1 months ago
2000
IEEE
Networked reconfiguration is an enabling technology for cost effective service deployment and maintenance. A hardware virtual machine to enable this networked reconfigurapresented...
IFL
2004
Springer
14 years 3 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
MFCS
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
13 years 9 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...