Towards Performance Prediction of Compositional Models in Industrial GALS Designs
No abstract available.
Related papers
- A Toolset for Modelling and Verification of GALS Systems CAV 2004
- GraalNN: Context-Sensitive Static Profiling with Graph Neural Networks CGO 2025
- RacerD: compositional static race detection OOPSLA 2018
- Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers CC 2024
- The JKind Model Checker CAV 2018
- Learning Gradual Typing Performance ECOOP 2024
- Predictable accelerator design with time-sensitive affine types PLDI 2020
- Guiding dynamic programing via structural probability for accelerating programming by example OOPSLA 2020