Suchergebnisse - async-finish Programming Model*

Resilient Optimistic Termination Detection for the Async-Finish Model

Autoren: Sara S. Hamouda Josh Milthorpe Hamouda, Sara

Weitere Verfasser: Sara S. Hamouda Josh Milthorpe Hamouda, Sara

Quelle: Lecture Notes in Computer Science ISBN: 9783030206550

Schlagwörter: Resilience, Async-finish, Termination detection, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.inria.fr/hal-02169496/file/Hamouda2019_ISC_HPC.pdf
https://inria.hal.science/hal-02169496v1/document
https://inria.hal.science/hal-02169496v1
https://doi.org/10.1007/978-3-030-20656-7_15
https://hal.inria.fr/hal-02169496/document
https://hal.archives-ouvertes.fr/LIP6/hal-02169496v1
https://link.springer.com/chapter/10.1007/978-3-030-20656-7_15
https://rd.springer.com/chapter/10.1007/978-3-030-20656-7_15

the eureka programming model for speculative task parallelism

Autoren: Imam, Shams Sarkar, Vivek Shams Imam and Vivek Sarkar

Weitere Verfasser: Imam, Shams Sarkar, Vivek Shams Imam and Vivek Sarkar

Schlagwörter: Async-Finish Model, Parallel Programming, Task Cancellation, Delimited Continuations, Speculative Parallelism, ddc:004, Task Termination, Eureka Model

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/opus/volltexte/2015/5232/pdf/22.pdf
https://dblp.uni-trier.de/db/conf/ecoop/ecoop2015.html#ImamS15
https://drops.dagstuhl.de/opus/volltexte/2015/5232/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.421

the eureka programming model for speculative task parallelism artifact

Autoren: Imam, Shams Sarkar, Vivek Shams Imam and Vivek Sarkar

Weitere Verfasser: Imam, Shams Sarkar, Vivek Shams Imam and Vivek Sarkar

Schlagwörter: Async-Finish Model, Parallel Programming, Task Cancellation, Delimited Continuations, Speculative Parallelism, ddc:004, Task Termination, Eureka Model

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.6

Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models

Autoren: Imam, Shams

Thesis Advisors: Sarkar, Vivek

Schlagwörter: Parallel Programming, Actor Model, Fork-Join Model, Async-Finish Model, Habanero-Scala

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/1911/71662

Efficient data race detection of async-finish programs using vector clocks

Autoren: Kumar, Shivam Agrawal, Anupam Biswas, Swarnendu

Quelle: Proceedings of the Thirteenth International Workshop on Programming Models and Applications for Multicores and Manycores. :45-54

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2112.04352

A Type System for Ensuring Safe, Structured Concurrency in Scala

Additional Titles: Ett typsystem för säker och strukturerad samtidighet

Autoren: Willenbrink, Sebastian

Index Begriffe: Concurrent programming, Object-oriented programming, Operational semantics, Scala, Samtidig programmering, Objekt-orienterad programmering, Operationell semantik, Computer and Information Sciences, Data- och informationsvetenskap, Student thesis, info:eu-repo/semantics/bachelorThesis, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-368730
TRITA-EECS-EX ; 2025:592

Resilience in high-level parallel programming languages

Autoren: Hamouda, Sara S.

Index Begriffe: APGAS, Resilience, Fault Tolerance, X10, MPI-ULFM, Transactional Memory, Checkpoint-Restart, Async-Finish, Task-Based Runtime Systems, Termination Detection, Taxonomy of Resilient Programming Models, Thesis (PhD)

URL: http://hdl.handle.net/1885/164137

The Eureka Programming Model for Speculative Task Parallelism (Artifact)

Autoren: http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.421 Imam, Shams Sarkar, Vivek

Index Begriffe: Async-Finish Model, Delimited Continuations, Eureka Model, Parallel Programming, Speculative Parallelism, Task Cancellation, Task Termination, Data processing Computer science, InProceedings, publishedVersion

Habanero-Scala: Async-Finish Programming in Scala

Autoren: Shams Imam Vivek Sarkar The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Shams Imam Vivek Sarkar The Pennsylvania State University CiteSeerX Archives

Quelle: http://days2012.scala-lang.org/sites/days2012/files/imam_habanero.pdf.

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1077.2827

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1077.2827
http://days2012.scala-lang.org/sites/days2012/files/imam_habanero.pdf

Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models

Autoren: Imam, Shams Sarkar, Vivek Cartwright, Robert S. et al.

Weitere Verfasser: Imam, Shams Sarkar, Vivek Cartwright, Robert S. et al.

Schlagwörter: Parallel programming, Actor model, Fork-join model, Async-finish model, Habanero-Scala

Dateibeschreibung: application/pdf

Relation: Imam, Shams. "Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models." (2013) Master’s Thesis, Rice University. https://hdl.handle.net/1911/71662 .; https://hdl.handle.net/1911/71662; 123456789/ETD-2012-12-82

Verfügbarkeit: https://hdl.handle.net/1911/71662

Efficient data race detection for async-finish parallelism.

Autoren: Raman, Raghavan Zhao, Jisheng Sarkar, Vivek et al.

Quelle: Formal Methods in System Design; Dec2012, Vol. 41 Issue 3, p321-347, 27p

Schlagwörter: PARALLEL programming, RUN time systems (Computer science), MULTICORE processors, DEVELOPMENT of application software, PARALLEL algorithms, PROGRAMMING languages

A high-productivity task-based programming model for clusters.

Autoren: Tejedor, Enric Farreras, Montse Grove, David et al.

Quelle: Concurrency & Computation: Practice & Experience; Dec2012, Vol. 24 Issue 18, p2421-2448, 28p, 12 Diagrams, 1 Chart, 3 Graphs

Schlagwörter: PARALLEL programming, HIGH performance computing, DATA flow computing, MULTIPROCESSORS, COMPARATIVE studies, COMPUTER programming

A continuation-based task programming model for C++: design of the Causeway library.

Autoren: Čukić, Ivan

Quelle: Software: Practice & Experience; Dec2016, Vol. 46 Issue 12, p1617-1656, 40p

Schlagwörter: C++, AJAX (Web development technology), CONTINUATION methods, FUNCTIONAL programming (Computer science), TEAMS in the workplace

Expressing and Composing Actors for Deterministic and Scalable Programming in Cloud.

Autoren: Lianghuan, Kang Hanglong, Zhan Donggang, Cao

Quelle: 2015 IEEE Symposium on Service-Oriented System Engineering; 2015, p267-275, 9p

Intermediate Representations for Explicitly Parallel Programs.

Autoren: SUSUNGI, ADILLA TADONKI, CLAUDE

Quelle: ACM Computing Surveys; Jun2022, Vol. 54 Issue 5, p1-24, 24p

Schlagwörter: PROGRAMMING languages, MULTICORE processors, PARALLEL programming, COMPILERS (Computer programs)

Automatically balancing relocatable distributed collections.

Autoren: Finnerty, Patrick Kamada, Tomio Ohta, Chikara

Quelle: Concurrency & Computation: Practice & Experience; 12/10/2023, Vol. 35 Issue 27, p1-15, 15p

Schlagwörter: DYNAMIC loads, COLLECTIONS, DATA distribution, DATA entry, DYNAMIC balance (Mechanics)

Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC.

Autoren: YIP, EUGENE GIRAULT, ALAIN ROOP, PARTHA S. et al.

Quelle: ACM Transactions on Programming Languages & Systems; Jun2023, Vol. 45 Issue 2, p1-74, 74p

Schlagwörter: PARALLEL programming, MULTICORE processors, PROGRAMMING languages, PITFALL traps, DEBUGGING

Dynamic Deadlock Verification for General Barrier Synchronisation.

Autoren: Cogumbreiro, Tiago Hu, Raymond Martins, Francisco et al.

Quelle: ACM Transactions on Programming Languages & Systems; Mar2019, Vol. 41 Issue 1, p1-38, 38p

Schlagwörter: VERIFICATION of computer systems, SYNCHRONIZATION software, SOFTWARE libraries (Computer programming), JAVA programming language

Argobots: A Lightweight Low-Level Threading and Tasking Framework.

Autoren: Seo, Sangmin Amer, Abdelhalim Balaji, Pavan et al.

Quelle: IEEE Transactions on Parallel & Distributed Systems; Mar2018, Vol. 29 Issue 3, p512-526, 15p

Schlagwörter: THREADS (Computer programs), PORTABLE computers, COMPUTER programming, SYNCHRONIZATION, INTERFERENCE (Telecommunication)

A Type System for Ensuring Safe, Structured Concurrency in Scala ; Ett typsystem för säker och strukturerad samtidighet

Autoren: Willenbrink, Sebastian

Schlagwörter: Concurrent programming, Object-oriented programming, Operational semantics, Scala, Samtidig programmering, Objekt-orienterad programmering, Operationell semantik, Computer and Information Sciences, Data- och informationsvetenskap

Dateibeschreibung: application/pdf

Relation: TRITA-EECS-EX; 2025:592

Verfügbarkeit: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-368730