Higher-order concurrency for microcontrollers.
Abhiroop SarkarRobert KrookBo Joel SvenssonMary SheeranPublished in: MPLR (2021)
Keyphrases
- higher order
- hardware and software
- concurrency control
- natural images
- high order
- low order
- markov models
- database systems
- pairwise
- markov random field
- lambda calculus
- software systems
- object oriented languages
- conditional random fields
- databases
- information systems
- machine learning
- real world
- object oriented
- transaction processing
- high level
- lower order
- anti unification