Operating system based software generation for systems-on-chip.
Dirk DesmetDiederik VerkestHugo De ManPublished in: DAC (2000)
Keyphrases
- operating system
- computer systems
- operating environment
- high assurance
- microsoft windows
- distributed systems
- windows xp
- application programs
- computing systems
- data processing
- high end
- linux kernel
- high speed
- multi tasking
- application level
- address space
- databases
- virtual machine
- embedded systems
- management system
- database
- software systems
- source code
- low cost
- object oriented
- case study
- information systems