受强制性开放获取政策约束的文章 - Adam D. Barwell了解详情
可在其他位置公开访问的文章：17 篇
Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification
AD Barwell, C Brown, K Hammond
Future Generation Computer Systems 79, 669-686, 2018
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
Generalised multiparty session types with crash-stop failures
AD Barwell, A Scalas, N Yoshida, F Zhou
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
Refactoring GrPPI: generic refactoring for generic parallelism in C++
C Brown, V Janjic, AD Barwell, JD Garcia, K MacKenzie
International Journal of Parallel Programming 48, 603-625, 2020
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission …
Type-driven verification of non-functional properties
C Brown, AD Barwell, Y Marquer, C Minh, O Zendra
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
Semi-automatic ladderisation: improving code security through rewriting and dependent types
C Brown, AD Barwell, Y Marquer, O Zendra, T Richmond, C Gu
Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial …, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
A hybrid approach to parallel pattern discovery in C++
C Brown, V Janjic, A Barwell, J Thomson, RC Lozano, M Cole, B Franke, ...
2020 28th Euromicro International Conference on Parallel, Distributed and …, 2020
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
Extending the “open-closed principle” to automated algorithm configuration
J Swan, S Adriænsen, AD Barwell, K Hammond, DR White
Evolutionary computation 27 (1), 173-193, 2019
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Towards semi-automatic data-type translation for parallelism in Erlang
AD Barwell, C Brown, D Castro, K Hammond
Proceedings of the 15th International Workshop on Erlang, 60-61, 2016
强制性开放获取政策： European Commission
A trustworthy framework for resource-aware embedded programming
AD Barwell, C Brown
Proceedings of the 31st Symposium on Implementation and Application of …, 2019
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
CONCUR test-of-time award for the period 1994–97 interview with Uwe Nestmann and Benjamin C. Pierce.
AD Barwell, F Ferreira, N Yoshida
Journal of Logical and Algebraic Methods in Programming 125, 100744, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang
V Janjic, C Brown, A Barwell, K Hammond
Concurrency and Computation: Practice and Experience 33 (14), e5420, 2021
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
In search of a map: using program slicing to discover potential parallelism in recursive functions
AD Barwell, K Hammond
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High …, 2017
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
Restoration of legacy parallelism: transforming pthreads into farm and pipeline patterns
V Janjic, C Brown, AD Barwell
International Journal of Parallel Programming 49 (6), 886-910, 2021
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
Reasoning about non-functional properties using compiler intrinsic function annotations
S Jadhav, MJ Roth, H Falk, C Brown, A Barwell
13th Junior Researcher Workshop on Real-Time Computing (JRWRTC), 25-28, 2019
强制性开放获取政策： European Commission
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)
AD Barwell, P Hou, N Yoshida, F Zhou
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2023
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Towards a refactoring tool for dependently-typed programs
CM Brown, A Barwell, S Thompson, S Sarkar, EC Brady
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Towards a Refactoring Tool for Dependently-Typed Programs Extended Abstract
C Brown, AD Barwell, S Thompson, S Sarkar, E Brady
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
出版信息和资助信息由计算机程序自动确定