Resource Sharing for Verified High-Level Synthesis.
Michalis PardalosYann HerklotzJohn WickersonPublished in: FCCM (2022)
Keyphrases
- resource sharing
- high level synthesis
- grid computing
- load balancing
- information sharing
- resource allocation
- distributed computing
- parallel architecture
- virtual organization
- peer to peer
- network resources
- cloud computing
- design space exploration
- database
- distributed environment
- fault tolerance
- software agents
- distributed systems
- search space
- real time