TY - RPRT TI - Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models AU - Massimo Fioravanti AU - Daniele Cattaneo AU - Federico Terraneo AU - Silvano Seva AU - Stefano Cherubin AU - Giovanni Agosta AU - Francesco Casella AU - Alberto Leva PY - 2023 DO - 10.1145/3611661 UR - https://arxiv.org/abs/2212.11135 ID - 2212.11135 ER -