A Formal Semantics for Control and Data flow in the Gannet Service-based System-on-Chip Architecture.
Wim VanderbauwhedePublished in: ERSA (2008)
Keyphrases
- data flow
- formal semantics
- database machine
- control flow
- data transfer
- systolic array
- digital signal processing
- operational semantics
- formal language
- modeling language
- lower layers
- object oriented software
- logical language
- hardware and software
- management system
- logical reasoning
- theorem prover
- object oriented
- power consumption
- access control
- embedded systems
- web services
- business logic
- relational databases
- database