Search Results - Safe Parallel Programming
-
1
SkePU 2: Flexible and Type-Safe Skeleton Programming for Heterogeneous Parallel Systems
ISSN: 0885-7458, 1573-7640, 1573-7640Published: New York Springer US 01.02.2018Published in International journal of parallel programming (01.02.2018)“…In this article we present SkePU 2 , the next generation of the SkePU C++ skeleton programming framework for heterogeneous parallel systems…”
Get full text
Journal Article -
2
Reference Capabilities for Safe Parallel Array Programming
ISSN: 2473-7321, 2473-7321Published: 2020Published in The Art, Science, and Engineering of Programming (2020)“… For parallel operations on arrays to be deterministic, data-race freedom must be guaranteed. For operations on arrays of primitive data, data-race freedom is obtained by coordinating accesses so that no two threads operate on the same array indices…”
Get full text
Journal Article -
3
Reference Capabilities for Safe Parallel Array Programming
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 05.08.2019Published in arXiv.org (05.08.2019)“… For parallel operations on arrays to be deterministic, data-race freedom must be guaranteed. For operations on arrays of primitive data, data-race freedom is obtained by coordinating accesses so that no two threads operate on the same array indices…”
Get full text
Paper -
4
Programming Systems for Safe and Accurate Parallel Programs in the Face of Uncertainty
ISBN: 9798346746409Published: ProQuest Dissertations & Theses 01.01.2022“… Furthermore, increased volume of data, and the rise of highly parallel and often heterogeneous systems have brought forth new challenges in overcoming bottlenecks in both computation…”
Get full text
Dissertation -
5
Safe and scalable parallel programming with session types
Published: ProQuest Dissertations & Theses 01.01.2014“…Parallel programming is a technique that can coordinate and utilise multiple hardware resources simultaneously, to improve the overall computation performance…”
Get full text
Dissertation -
6
Visualizing Parallel Dynamic Programming using the Thread Safe Graphics Library
Published: IEEE 01.11.2021Published in 2021 IEEE/ACM Ninth Workshop on Education for High Performance Computing (EduHPC) (01.11.2021)“… In this work, we present an approach of teaching parallel computing within an undergraduate algorithms course that combines the paradigms of dynamic programming and multithreaded parallelization…”
Get full text
Conference Proceeding -
7
A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing
ISSN: 2377-5750Published: IEEE 01.03.2018Published in Proceedings - Euromicro Workshop on Parallel and Distributed Processing (01.03.2018)“…, race conditions, which are hard to find due to their nondeterministic nature. In this paper, we present a graphical programming model for parallel stream processing…”
Get full text
Conference Proceeding -
8
Efficient Parallel Functional Programming with Effects
ISSN: 2475-1421, 2475-1421Published: New York, NY, USA ACM 06.06.2023Published in Proceedings of ACM on programming languages (06.06.2023)“…Although functional programming languages simplify writing safe parallel programs by helping programmers to avoid data races, they have traditionally delivered poor performance…”
Get full text
Journal Article -
9
Teaching concurrent and parallel programming by patterns: An interactive ICT approach
ISSN: 0743-7315, 1096-0848Published: Elsevier Inc 01.07.2017Published in Journal of parallel and distributed computing (01.07.2017)“…The use of programming patterns is considered to be a conceptual aid for programmers for developing understandable and testable concurrent and parallel code which is not only well built but also safe…”
Get full text
Journal Article -
10
Towards Safer Parallel STL Usage
Published: IEEE 23.11.2022Published in 2022 IEEE 16th International Scientific Conference on Informatics (Informatics) (23.11.2022)“…Effective and safe parallel programming is among the biggest challenges of today's software technology. The C++…”
Get full text
Conference Proceeding -
11
Professional Parallel Programming with C#: Master Parallel Extensions With . NET 4
ISBN: 1118546032, 9781118546031Published: Newark John Wiley & Sons, Incorporated 2010Get full text
eBook -
12
Bulk synchronous parallel ML with exceptions
ISSN: 0167-739X, 1872-7115Published: Elsevier B.V 01.03.2010Published in Future generation computer systems (01.03.2010)“…Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms…”
Get full text
Journal Article -
13
A Tag-Based Solution for Safer Parallel STL Usage
ISSN: 1338-3957, 1335-8243, 1338-3957Published: Kosice Sciendo 01.06.2023Published in Acta electrotechnica et informatica (01.06.2023)“…) with the promise to achieve safe, efficient, and scalable parallel programming in an easy way. While the syntax remained familiar, the new parallel algorithms introduced additional requirements, which are often ignored even by experienced programmers…”
Get full text
Journal Article -
14
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 01.02.2019Published in arXiv.org (01.02.2019)“…ParaSail is a language specifically designed to simplify the construction of programs that make full, safe use of parallel hardware even while manipulating potentially irregular data structures…”
Get full text
Paper -
15
Using shared arrays in message-driven parallel programs
ISSN: 0167-8191, 1872-7336Published: Elsevier B.V 01.01.2012Published in Parallel computing (01.01.2012)“… ► This model is demonstrated through coupling a new algorithm to existing code. This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models…”
Get full text
Journal Article -
16
A Parallel Graph Environment for Real-World Data Analytics Workflows
ISSN: 1558-1101Published: EDAA 01.03.2019Published in Proceedings - Design, Automation, and Test in Europe Conference and Exhibition (01.03.2019)“… The diversity of real-world data sources and analytic workflows impose challenging hardware and software requirements for parallel graph platforms…”
Get full text
Conference Proceeding -
17
Activate Omaha: the journey to an active living environment
ISSN: 0749-3797, 1873-2607, 1873-2607Published: Netherlands 01.12.2009Published in American journal of preventive medicine (01.12.2009)“… Complementary programming was implemented parallel to the marketing campaigns. Safe Routes to School infrastructure projects were federally funded, and 20 miles of on-street bicycle facilities were funded privately…”
Get full text
Journal Article -
18
Parallel Multistep Evaluation With Efficient Data Utilization for Safe Neural Critic Control and Its Application to Orbital Maneuver Systems
ISSN: 2162-237X, 2162-2388, 2162-2388Published: United States IEEE 01.09.2025Published in IEEE transaction on neural networks and learning systems (01.09.2025)“… To address the neglects in safe neural critic control, this article introduces a parallel multistep evaluation mechanism that combines data from the system interaction with data generated by data-driven models…”
Get full text
Journal Article -
19
Robust optimization on redundancy allocation problems in multi-state and continuous-state series–parallel systems
ISSN: 0951-8320, 1879-0836Published: Barking Elsevier Ltd 01.02.2022Published in Reliability engineering & system safety (01.02.2022)“…In this paper, we consider the redundancy allocation problem (RAP) with uncertainties in component parameters for multi-state series–parallel system (MSSPS…”
Get full text
Journal Article -
20
Reliability–redundancy allocation problem considering optimal redundancy strategy using parallel genetic algorithm
ISSN: 0951-8320, 1879-0836Published: Barking Elsevier Ltd 01.03.2017Published in Reliability engineering & system safety (01.03.2017)“… that has been used in most related studies. A parallel genetic algorithm for solving the RRAP as a mixed-integer nonlinear programming model is presented, and its performance is compared with those of…”
Get full text
Journal Article

