Combining EDF Scheduling with occam using the Toc Programming Language.
Martin KorsgaardSverre HendsethPublished in: CPA (2008)
Keyphrases
- programming language
- scheduling algorithm
- general purpose
- object oriented
- programming environment
- strongly typed
- table of contents
- high level
- software engineering
- structure extraction
- programming tool
- logic programming
- packet scheduling
- response time
- denotational semantics
- database languages
- object oriented programming
- database language
- specification language
- computer programs
- object oriented concepts
- language independent
- machine learning
- open source
- programming language constructs