Fault-tolerant in-memory crossbar computing using quantified constraint solving.
Alvaro VelasquezSumit Kumar JhaPublished in: ICCD (2015)
Keyphrases
- fault tolerant
- constraint solving
- fault tolerance
- constraint propagation
- distributed systems
- constraint satisfaction problems
- constraint logic programming
- constraint solver
- constraint satisfaction
- load balancing
- constraint programming
- high availability
- mobile agent system
- state machine
- main memory
- special case
- linear programming
- safety critical
- search space