E-LIB Suche - Ergebnisse für: Wilson, Amalee

1

Partitioning Strategies for Distributed SMT Solving:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Wilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew... - p. 199-208 , 2023

Link: https://doi.org/10.34727..

2

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,

Mann, Makai ; Wilson, Amalee ; Zohar, Yoni... - p. 377-386 , 2021

Link: https://doi.org/10.1007/..

3

A sparse iteration space transformation framework for spars..:

Senanayake, Ryan ; Hong, Changwan ; Wang, Ziheng...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

4

A sparse iteration space transformation framework for spars..:

Senanayake, Ryan ; Hong, Changwan ; Wang, Ziheng...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

5

Optimized Transactional Data Structure Approach to Concurre..:

, In: 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD),

Peterson, Christina ; Wilson, Amalee ; Pirkelbauer, Peter. - p. 107-115 , 2020

Link: https://doi.org/10.1109/..

6

Blaze-Tasks : A Framework for Computing Parallel Reducti..:

Pirkelbauer, Peter ; Wilson, Amalee ; Peterson, Christina.
ACM Transactions on Architecture and Code Optimization (TACO). 15 (2019) 4 - p. 1-25 , 2019

Link: https://dl.acm.org/doi/1..

7

Comparing Artificial Neural Network and Cohort-Component Mo..:

Riiman, Viktoria ; Wilson, Amalee ; Milewicz, Reed.
Population Review. 58 (2019) 2 - p. , 2019

Link: https://doi.org/10.1353/..

8

Blaze-Tasks: A Framework for Computing Parallel Reductions ..:

Pirkelbauer, Peter ; Wilson, Amalee ; Peterson, Christina.
ACM Transactions on Architecture and Code Optimization. 15 (2018) 4 - p. 1-25 , 2018

Link: https://doi.org/10.1145/..

9

Travel grantee reflects on research and mentoring at SC17:

Wilson, Amalee
ACM SIGHPC Connect. 6 (2018) 2 - p. 6 ff. , 2018

Link: https://dl.acm.org/doi/1..

10

Travel grantee reflects on research and mentoring at SC17:

Wilson, Amalee
ACM SIGHPC Connect. 6 (2018) 2 - p. 6-6 , 2018

Link: https://doi.org/10.1145/..

11

Partitioning Strategies for Distributed SMT Solving:

Wilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew...
http://arxiv.org/abs/2306.05854. , 2023

Link: http://arxiv.org/abs/230..

12

A sparse iteration space transformation framework for spars..:

Senanayake, Ryan ; Hong, Changwan ; Wang, Ziheng...
10.1145/3428226. , 2021

Link: https://hdl.handle.net/1..

13

Smt-Switch: a solver-agnostic C++ API for SMT Solving:

Mann, Makai ; Wilson, Amalee ; Tinelli, Cesare.
http://arxiv.org/abs/2007.01374. , 2020

Link: http://arxiv.org/abs/200..