Search Results - Safe Parallel Programming
-
1
Authors: Munera Sánchez, Adrián
Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
Thesis Advisors: Quiñones Moreno, Eduardo, Royuela Alcázar, Sara, Martorell Bofill, Xavier
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: OpenMP, task scheduling, datta affinity, performance portability, adaptability, safety, resilience, fault tolerance, replication, DSML, parallel and heterogeneous computing, embedded computing, real time, Àrees temàtiques de la UPC::Informàtica, 004 - Informàtica
File Description: application/pdf
-
2
Authors: et al.
Source: 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). :239-243
Subject Terms: 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
3
-
4
Authors:
Contributors:
Source: UPMARC Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology.
Subject Terms: Programming Languages, Type Systems, Ownership Types, Concurrency, Parallelism, Actors, Active Objects, Structured Parallelism, Data Race-Freedom, Immutability, Uniqueness, Datavetenskap, Computer Science
File Description: electronic
-
5
Authors:
Source: International journal of parallel programming. 46(1):62-80
Subject Terms: Skeleton programming, SkePU, Source-to-source transformation, C++11, Heterogeneous parallel systems, Portability
File Description: electronic
-
6
Authors:
Source: The Art, Science, and Engineering of Programming. 4(1)
Subject Terms: Arrays, Capabilities, Parallelism, Type systems
File Description: print
Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-313916
https://doi.org/10.22152/programming -journal.org/2020/4/1 -
7
Authors: et al.
Source: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. :87-96
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 6. Clean water
Access URL: http://www.cister.isep.ipp.pt/docs/safe_parallel_programming_in_ada_with_language_extensions/1030/view.pdf
http://dblp.uni-trier.de/db/conf/sigada/hilt2014.html#TaftMPM14
http://www.cister.isep.ipp.pt/docs/safe_parallel_programming_in_ada_with_language_extensions/1030/
https://193.136.60.49/docs/safe_parallel_programming_in_ada_with_language_extensions/1030/
http://www.cister.isep.ipp.pt/docs/safe_parallel_programming_in_ada_with_language_extensions/1030/view.pdf
https://dl.acm.org/doi/10.1145/2663171.2663181
https://dblp.uni-trier.de/db/conf/sigada/hilt2014.html#TaftMPM14 -
8
Authors: et al.
Source: Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications. :243-258
Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences
-
9
Authors: et al.
-
10
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783642305603
-
11
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783642214639
Subject Terms: [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO] Computer Science [cs]
File Description: application/pdf
-
12
Authors:
Source: Future Generation Computer Systems. Feb2026, Vol. 175, pN.PAG-N.PAG. 1p.
-
13
Authors:
Source: Acta Electrotechnica et Informatica, Vol 23, Iss 2, Pp 19-27 (2023)
Subject Terms: c++ programming language, standard template library, concurrent programming, parallel programming, type safety, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
File Description: electronic resource
Relation: https://doaj.org/toc/1338-3957
-
14
Authors: et al.
Source: ACM SIGAda Ada Letters ; volume 34, issue 3, page 87-96 ; ISSN 1094-3641
-
15
Authors: et al.
Contributors: et al.
File Description: application/pdf
-
16
Authors: Zaccone, Raphael1 (AUTHOR) raphael.zaccone@unige.it
Source: Mathematics (2227-7390). May2024, Vol. 12 Issue 10, p1546. 21p.
Subject Terms: *DYNAMIC programming, *DECISION support systems, *PARALLEL programming, *APPROXIMATION algorithms, *SHIPS
-
17
-
18
-
19
Authors:
Resource Type: eBook.
Subjects: Computer programming, Computer networks, Mathematics—Data processing, Electronic digital computers—Evaluation, Microprocessors, Computer architecture, Telecommunication
Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Networking / General, MATHEMATICS / Applied, TECHNOLOGY & ENGINEERING / Telecommunications
-
20
Authors: et al.
Source: 35 ; 1
Relation: Departmental Technical Report: 10/14; http://hdl.handle.net/10044/1/95228; https://doi.org/10.25561/95228
Nájsť tento článok vo Web of Science 
Full Text Finder