Fine Grained Control Flow Checking with Dedicated FPGA Monitors.
Augusto W. HoppeJürgen BeckerFernanda Lima KastensmidtPublished in: SoCC (2020)
Keyphrases
- fine grained
- control flow
- data flow
- coarse grained
- software testing
- hardware implementation
- process model
- access control
- tightly coupled
- modeling language
- business process models
- massively parallel
- workflow management systems
- transition systems
- object oriented
- high level
- case study
- information systems
- artificial intelligence
- database