Language and Compilation of Parallel Programs for *-Predictable MPSoC Execution Using Invasive Computing.
Jürgen TeichMichael GlaßSascha RoloffWolfgang Schröder-PreikschatGregor SneltingAndreas WeichslgartnerStefan WildermannPublished in: MCSoC (2016)
Keyphrases
- programs written
- programming language
- operating system
- parallel execution
- source code
- agent programming
- object oriented languages
- dynamic logic
- language learning
- control structures
- program execution
- high level programming language
- intermediate level
- computer programs
- programming environment
- parallel implementation
- error handling
- code generation
- parallel computation
- control flow
- application programs
- multithreading
- execution model
- logic programming language
- formal descriptions
- shared memory
- data flow
- logic programming
- multicore processors
- functional programs
- runtime environment
- natural language
- sorting algorithms
- database languages
- symbolic execution
- control program
- modeling language
- specification language