System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System.
Shane T. FlemingDavid B. ThomasGeorge A. ConstantinidesDan R. GhicaPublished in: FPGA (2015)
Keyphrases
- higher order
- computer systems
- embedded systems
- software tools
- personal computer
- hardware and software
- low cost
- control software
- software architecture
- hardware platforms
- software implementation
- hardware design
- user interface
- dedicated hardware
- natural images
- higher level
- software systems
- high end
- blue gene
- computing platform
- real time
- conditional random fields
- markov random field
- information systems
- software maintenance
- computing systems
- levels of abstraction
- software developers
- low order
- high order
- single chip
- data processing
- lower order
- control unit
- software development
- pairwise