Reconfigurable asynchronous logic automata: (RALA).
Neil GershenfeldDavid DalrympleKailiang ChenAra KnaianForrest GreenErik D. DemaineScott GreenwaldPeter Schmidt-NielsenPublished in: POPL (2010)
Keyphrases
- asynchronous circuits
- delay insensitive
- low cost
- classical logic
- cellular automata
- multi valued
- automata theoretic
- general purpose
- automated reasoning
- logic programming
- modal logic
- finite state
- logical framework
- set theory
- multi agent systems
- temporal logic
- reconfigurable architecture
- multi objective evolutionary
- data model
- proof theory
- asynchronous communication
- fine grain
- computational properties
- field programmable gate array
- search algorithm
- finite state machines
- hardware implementation