Similar Items: Robustness against Read Committed for Transaction Templates with Functional Constraints
- Robustness Against Transactional Causal Consistency
- Automatic Modular Abstractions for Template Numerical Constraints
- An Improved Template Inversion Attack Against Korean Face Images
- Ranking Templates for Linear Loops
- A theory of transaction parallelism in blockchains
- Size-Change Termination, Monotonicity Constraints and Ranking Functions