1914 search results - page 163 / 383 » Abstract lambda-Calculus Machines |
SAMOS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Memory access latency can limit microcontroller system performance. SDRAM access control policies impact latency through SDRAM device state. It is shown that execution ti...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
I introduce a new approach to data representation, which reflects the mechanism of mind based on the compartmentalization of brain into two hemispheres. I cribe an abstract device...
AE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We aim to construct an automatic system for the discovery of collision-based universal cellular automata that simulate Turing machines in their space-time dynamics using ...
ASIACRYPT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We develop a new multi-party generalization of Naor-Nissim indirect indexing, making it possible for many participants to simulate a RAM machine with only poly-logarithmi...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Technology-enhanced learning has gained momentum in European Higher Education, especially in recent years. In what way this movement has influenced organisations, their ...