View in EDS HTML Full Text PDF Full Text

USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS.

Saved in:
Bibliographic Details
Title: USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS.
Authors: Gorlatch, Sergei1 (AUTHOR) gorlatch@uni-muenster.de, Garanina, Natalia2,3 (AUTHOR), Staroletov, Sergey4 (AUTHOR)
Source: Journal of Mathematical Sciences. May2025, Vol. 290 Issue 5, p641-653. 13p.
Database: Academic Search Ultimate
Full text is not displayed to guests.
Description
ISSN:10723374
DOI:10.1007/s10958-025-07687-3