Suchergebnisse - Safe Parallel Programming
-
1
SkePU 2: Flexible and Type-Safe Skeleton Programming for Heterogeneous Parallel Systems
ISSN: 0885-7458, 1573-7640, 1573-7640Veröffentlicht: New York Springer US 01.02.2018Veröffentlicht 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 …”
Volltext
Journal Article -
2
Reference Capabilities for Safe Parallel Array Programming
ISSN: 2473-7321, 2473-7321Veröffentlicht: 2020Veröffentlicht 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 …”
Volltext
Journal Article -
3
Reference Capabilities for Safe Parallel Array Programming
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 05.08.2019Veröffentlicht 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 …”
Volltext
Paper -
4
Programming Systems for Safe and Accurate Parallel Programs in the Face of Uncertainty
ISBN: 9798346746409Veröffentlicht: 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 …”
Volltext
Dissertation -
5
Safe and scalable parallel programming with session types
Veröffentlicht: 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 …”
Volltext
Dissertation -
6
Visualizing Parallel Dynamic Programming using the Thread Safe Graphics Library
Veröffentlicht: IEEE 01.11.2021Veröffentlicht 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 …”
Volltext
Tagungsbericht -
7
A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing
ISSN: 2377-5750Veröffentlicht: IEEE 01.03.2018Veröffentlicht 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 …”
Volltext
Tagungsbericht -
8
Efficient Parallel Functional Programming with Effects
ISSN: 2475-1421, 2475-1421Veröffentlicht: New York, NY, USA ACM 06.06.2023Veröffentlicht 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 …”
Volltext
Journal Article -
9
Professional Parallel Programming with C#: Master Parallel Extensions With . NET 4
ISBN: 1118546032, 9781118546031Veröffentlicht: Newark John Wiley & Sons, Incorporated 2010Volltext
E-Book -
10
Teaching concurrent and parallel programming by patterns: An interactive ICT approach
ISSN: 0743-7315, 1096-0848Veröffentlicht: Elsevier Inc 01.07.2017Veröffentlicht 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 …”
Volltext
Journal Article -
11
Towards Safer Parallel STL Usage
Veröffentlicht: IEEE 23.11.2022Veröffentlicht 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++ …”
Volltext
Tagungsbericht -
12
Bulk synchronous parallel ML with exceptions
ISSN: 0167-739X, 1872-7115Veröffentlicht: Elsevier B.V 01.03.2010Veröffentlicht in Future generation computer systems (01.03.2010)“… Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms …”
Volltext
Journal Article -
13
A Tag-Based Solution for Safer Parallel STL Usage
ISSN: 1338-3957, 1335-8243, 1338-3957Veröffentlicht: Kosice Sciendo 01.06.2023Veröffentlicht 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 …”
Volltext
Journal Article -
14
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 01.02.2019Veröffentlicht 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 …”
Volltext
Paper -
15
Using shared arrays in message-driven parallel programs
ISSN: 0167-8191, 1872-7336Veröffentlicht: Elsevier B.V 01.01.2012Veröffentlicht 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 …”
Volltext
Journal Article -
16
A Parallel Graph Environment for Real-World Data Analytics Workflows
ISSN: 1558-1101Veröffentlicht: EDAA 01.03.2019Veröffentlicht 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 …”
Volltext
Tagungsbericht -
17
Activate Omaha: the journey to an active living environment
ISSN: 0749-3797, 1873-2607, 1873-2607Veröffentlicht: Netherlands 01.12.2009Veröffentlicht 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 …”
Volltext
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-2388Veröffentlicht: United States IEEE 01.09.2025Veröffentlicht 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 …”
Volltext
Journal Article -
19
Robust optimization on redundancy allocation problems in multi-state and continuous-state series–parallel systems
ISSN: 0951-8320, 1879-0836Veröffentlicht: Barking Elsevier Ltd 01.02.2022Veröffentlicht 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 …”
Volltext
Journal Article -
20
Reliability–redundancy allocation problem considering optimal redundancy strategy using parallel genetic algorithm
ISSN: 0951-8320, 1879-0836Veröffentlicht: Barking Elsevier Ltd 01.03.2017Veröffentlicht 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 …”
Volltext
Journal Article

