Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.
Xinyu FengZhong ShaoYu GuoYuan DongPublished in: J. Autom. Reason. (2009)
Keyphrases
- low level
- control program
- high level
- intermediate level
- higher level
- high level language
- low cost
- hardware and software
- hardware designs
- high level programming
- scheduling problem
- lower level
- hardware implementation
- low level features
- real time
- automatic programming
- visual information
- embedded systems
- personal computer
- java programs
- visual cues
- computing power
- hardware design
- computer systems
- operating system
- multi threaded
- vlsi implementation
- response time
- priority queue
- lower bound