Certifying low-level programs with hardware interrupts and preemptive threads.
Xinyu FengZhong ShaoYuan DongYu GuoPublished in: PLDI (2008)
Keyphrases
- low level
- intermediate level
- control program
- high level
- higher level
- hardware designs
- low cost
- high level language
- hardware and software
- real time
- scheduling problem
- high level programming
- visual features
- low level features
- computer systems
- automatic programming
- multi threaded
- image processing
- mid level
- hardware implementation
- visual information
- lower bound
- visual cues
- massively parallel
- computing power
- computing systems
- priority queue
- programming environment
- lower level
- high end
- hardware architecture
- embedded systems
- scheduling algorithm
- blue gene
- general purpose