Tydi-lang: A Language for Typed Streaming Hardware.
Yongding TianMatthijs A. ReukersZaid Al-ArsH. Peter HofsteeMatthijs BrobbelJohan PeltenburgJeroen van StratenPublished in: CoRR (2022)
Keyphrases
- video sequences
- real time
- lambda calculus
- low cost
- data streams
- hardware and software
- language learning
- higher order
- programming language
- natural language
- artificial intelligence
- computing power
- target language
- massively parallel
- neural network
- relational databases
- general purpose
- computing systems
- knowledge representation
- image processing
- operational semantics
- hardware architecture
- streaming media
- parallel hardware
- database