Suchergebnisse - Wilson, Amalee | OPAC THWS

1

A sparse iteration space transformation framework for sparse tensor algebra von Senanayake, Ryan, Hong, Changwan, Wang, Ziheng, Wilson, Amalee, Chou, Stephen, Kamil, Shoaib, Amarasinghe, Saman, Kjolstad, Fredrik

Veröffentlicht in Proceedings of ACM on programming languages

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks von Pirkelbauer, Peter, Wilson, Amalee, Peterson, Christina, Dechev, Damian

Veröffentlicht in ACM transactions on architecture and code optimization

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Travel grantee reflects on research and mentoring at SC17 von Wilson, Amalee

Veröffentlicht in SIGHPC connect

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving von Mann, Makai, Wilson, Amalee, Zohar, Yoni, Stuntz, Lindsey, Irfan, Ahmed, Brown, Kristopher, Donovick, Caleb, Guman, Allison, Tinelli, Cesare, Barrett, Clark

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Partitioning Strategies for Distributed SMT Solving von Wilson, Amalee, Noetzli, Andres, Reynolds, Andrew, Cook, Byron, Tinelli, Cesare, Barrett, Clark

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Partitioning Strategies for Distributed SMT Solving von Wilson, Amalee, Noetzli, Andres, Reynolds, Andrew, Cook, Byron, Tinelli, Cesare, Barrett, Clark

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Smt-Switch: a solver-agnostic C++ API for SMT Solving von Mann, Makai, Wilson, Amalee, Tinelli, Cesare, Barrett, Clark

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Partitioning Strategies for Distributed SMT Solving von Wilson, Amalee, Noetzli, Andres, Reynolds, Andrew, Cook, Byron, Tinelli, Cesare, Barrett, Clark

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Smt-Switch: a solver-agnostic C++ API for SMT Solving von Mann, Makai, Wilson, Amalee, Tinelli, Cesare, Barrett, Clark

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: