1870 search results - page 176 / 374 » Abstract And-Parallel Machines |
157
click to vote
POPL
2002
ACM
15 years 11 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
SAMOS
2009
Springer
15 years 5 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
15 years 5 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
15 years 4 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
15 years 4 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...