Výsledky vyhľadávania - integer linear programming ACM Reference Format

Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs Autor Rodríguez-Iglesias, Alonso, Tongli, Santoshkumar T., Tucker, Emily, Pouchet, Louis-Noël, Rodríguez, Gabriel, Touriño, Juan

“… In this work we present UZP, a new sparse format based on polyhedral sets of integer points. UZP is a flexible format that subsumes CSR, COO, DIA, BCSR, etc…”
Získať plný text

Fast and Optimal Extraction for Sparse Equality Graphs Autor Goharshady, Amir Kafshdar, Lam, Chun Kit, Parreaux, Lionel

“…Equality graphs (e-graphs) are used to compactly represent equivalence classes of terms in symbolic reasoning systems. Beyond their original roots in automated…”
Získať plný text