Programs with ironclad timing guarantees: work-in-progress.
Marten LohstrohMartin SchoeberlMathieu JanEdward WangEdward A. LeePublished in: EMSOFT Companion (2019)
Keyphrases
- computer programs
- real time
- control structures
- automatic programming
- programming environment
- hidden markov models
- control program
- asynchronous circuits
- intermediate level
- answer sets
- learning environment
- three dimensional
- case study
- social networks
- artificial intelligence
- information retrieval
- machine learning
- neural network