Nonlinear Code-Based Low-Overhead Fine-Grained Control Flow Checking.
Gilad DarGiorgio Di NataleOsnat KerenPublished in: IEEE Trans. Computers (2022)
Keyphrases
- fine grained
- control flow
- low overhead
- data flow
- coarse grained
- high reliability
- load balancing
- access control
- software testing
- energy efficient
- process model
- shared memory
- communication cost
- workflow management systems
- low cost
- modeling language
- software development
- source code
- real time
- relational databases
- pairwise
- bayesian networks
- artificial intelligence