An Open TCP/IP Core for Reconfigurable Logic.
Apostolos DollasIoannis ErmisIosif KoidisIoannis ZisisChristopher KachrisPublished in: FCCM (2005)
Keyphrases
- logic programming
- logical framework
- low cost
- end to end
- classical logic
- sound and complete axiomatization
- predicate logic
- ip networks
- probability theory
- modal logic
- high speed
- round trip
- reconfigurable architecture
- multi valued
- video streaming
- hardware implementation
- defeasible logic
- linear logic
- proof theory
- floating gate
- multi agent systems