1914 search results - page 223 / 383 » Abstract lambda-Calculus Machines |
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
ose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in...
PVM
2007
Springer
14 years 2 months ago
2007
Springer
Institutional grids consist of the aggregation of clusters belonging to different administrative domains to build a single parallel machine. To run an MPI application over an inst...
SSS
2007
Springer
14 years 2 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
TSD
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The orthography of many resource-scarce languages includes diacritically marked characters. Falling outside the scope of the standard Latin encoding, these characters are...