Logic-in-Memory architecture made real.
D. PalaGiovanni CausaprunoMarco VaccaFabrizio RienteGiovanna TurvaniMariagrazia GrazianoMaurizio ZamboniPublished in: ISCAS (2015)
Keyphrases
- logic programming
- real time
- reasoning engine
- memory access
- modal logic
- random access memory
- database systems
- real life
- management system
- memory usage
- memory requirements
- embedded dram
- memory subsystem
- memory management
- classical logic
- automated reasoning
- software architecture
- data structure
- knowledge base
- real world
- data sets