Refactoring GrPPI: generic refactoring for generic parallelism in C++

C Brown, V Janjic, AD Barwell, JD Garcia… - International Journal of …, 2020 - Springer
Abstract The Generic Reusable Parallel Pattern Interface (GrPPI) is a very useful abstraction
over different parallel pattern libraries, allowing the programmer to write generic patterned …

Free the Conqueror! Refactoring divide-and-conquer functions

T Kozsik, M Tóth, I Bozó - Future Generation Computer Systems, 2018 - Elsevier
Divide-and-conquer algorithms appear in the solution of many computationally intensive
problems, and are good candidates for parallelization. A divide-and-conquer computation …

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems

A Boucherit, LM Castro, A Khababa… - Multiagent and Grid …, 2020 - content.iospress.com
The formal design and development of multi-agent systems has attracted a considerable
attention over the past decades because of their extensive use in safety-critical applications …

Going stateless in concurrent evolutionary algorithms

JJ Merelo, JM García-Valdez - … Sciences in Engineering: 5th Workshop on …, 2018 - Springer
Concurrent languages such as Perl 6 fully leverage the power of current multi-core and
hyper-threaded computer architectures, and they include easy ways of automatically …

Scaling in concurrent evolutionary algorithms

JJ Merelo, JLJ Laredo, PA Castillo… - … Computer Sciences in …, 2019 - Springer
The concept of channel, a computational mechanism used to convey state to different
threads of process execution, is at the core of the design of multi-threaded concurrent …

pi-par: a dependently-typed parallel language with algorithmic skeletons

CM Brown, AD Barwell, F Sloan - 2024 - research-repository.st-andrews.ac …
Algorithmic skeletons are an effective, pattern-based approach for parallelising software.
However, despite implementations for a range of languages and paradigms, there is …

Extending the “open-closed principle” to automated algorithm configuration

J Swan, S Adriænsen, AD Barwell… - Evolutionary …, 2019 - ieeexplore.ieee.org
Metaheuristics are an effective and diverse class of optimization algorithms: a means of
obtaining solutions of acceptable quality for otherwise intractable problems. The selection …

Reusable Algorithmic Skeleton Framework for Clustering Algorithms in Wireless Sensor Network (SCW)

H Taheri, A Savadi, S Abrishami - 2023 - researchsquare.com
Abstract In Wireless Sensor Networks (WSNs), clustering is often used to improve
communication and routing. Therefore, clustering approaches highly attract several …

Implementation matters, also in concurrent evolutionary algorithms

JJM Guervós, M García-Valdez… - Proceedings of the 2020 …, 2020 - dl.acm.org
Concurrency in evolutionary algorithms allow researchers to leverage the performance of
powerful multi-core desktop architectures by parallelizing tasks using a high-level interface …

Towards semi-automatic data-type translation for parallelism in Erlang

AD Barwell, C Brown, D Castro… - Proceedings of the 15th …, 2016 - dl.acm.org
As part of ongoing research into programmer-in-the-loop parallelisation, we are studying the
problem of automatically introducing alternative data structures to support parallelism. Our …