Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Amalee Wilson"'
Autor:
Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Cesare Tinelli, Caleb Donovick, Allison Guman, Amalee Wilson, Yoni Zohar, Clark Barrett, Makai Mann
Publikováno v:
Theory and Applications of Satisfiability Testing – SAT 2021 ISBN: 9783030802226
SAT
SAT
This paper presents Smt-Switch, an open-source, solver-agnostic API for SMT solving. Smt-Switch provides simple, uniform, and high-performance access to SMT solving for applications in areas such as automated reasoning, planning, and formal verificat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee66dd87eb7392f5c56f10fd55cbd995
https://doi.org/10.1007/978-3-030-80223-3_26
https://doi.org/10.1007/978-3-030-80223-3_26
Publikováno v:
SBAC-PAD
The optimistic concurrency control (OCC) utilized by in-memory databases performs writes on thread-local copies and makes the writes visible upon passing validation. However, high contention workloads suffer from failure of the validation step due to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eca4921bbd866ebe1373d8a7cd9d390e
https://doi.org/10.1109/sbac-pad49847.2020.00025
https://doi.org/10.1109/sbac-pad49847.2020.00025
Publikováno v:
ACM Transactions on Architecture and Code Optimization. 15:1-25
Compared to threads, tasks are a more fine-grained alternative. The task parallel programming model offers benefits in terms of better performance portability and better load-balancing for problems that exhibit nonuniform workloads. A common scenario
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::80fe4bef067a5f8c4c77993d30546b18
https://doi.org/10.1145/3293448
https://doi.org/10.1145/3293448
Publikováno v:
Population Review. 58
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01bd23e5ab19855aafad6dcd8ebd79c6
https://doi.org/10.1353/prv.2019.0008
https://doi.org/10.1353/prv.2019.0008
Autor:
Amalee Wilson
Publikováno v:
ACM SIGHPC Connect. 6:6-6
This year SIGHPC awarded seven travel grants to students to help them attend SC17. Amalee Wilson (U. Alabama) sent us this post-conference update.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::888b5d5a3506a60d89e812d69cb27270
https://doi.org/10.1145/3231043.3231049
https://doi.org/10.1145/3231043.3231049