A tuneable software cache coherence protocol for heterogeneous MPSoCs.
Frank E. B. OpheldersMarco BekooijHenk CorporaalPublished in: CODES+ISSS (2009)
Keyphrases
- software systems
- real world
- software development
- computer systems
- lightweight
- software tools
- software architecture
- neural network
- communication protocol
- formal analysis
- software design
- software developers
- software projects
- digital libraries
- information systems
- development process
- multi party
- formal methods
- authentication protocol
- data sets
- tcp ip
- coloured petri nets