Search Results - async-finish Programming Model

Resilient Optimistic Termination Detection for the Async-Finish Model

Authors: Sara S. Hamouda Josh Milthorpe Hamouda, Sara

Contributors: Sara S. Hamouda Josh Milthorpe Hamouda, Sara

Source: Lecture Notes in Computer Science ISBN: 9783030206550

Subject Terms: 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]

File Description: application/pdf

Access 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

Authors: Imam, Shams Sarkar, Vivek Shams Imam and Vivek Sarkar

Contributors: Imam, Shams Sarkar, Vivek Shams Imam and Vivek Sarkar

Subject Terms: Async-Finish Model, Parallel Programming, Task Cancellation, Delimited Continuations, Speculative Parallelism, ddc:004, Task Termination, Eureka Model

File Description: application/pdf

Access 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

Authors: Imam, Shams Sarkar, Vivek Shams Imam and Vivek Sarkar

Contributors: Imam, Shams Sarkar, Vivek Shams Imam and Vivek Sarkar

Subject Terms: Async-Finish Model, Parallel Programming, Task Cancellation, Delimited Continuations, Speculative Parallelism, ddc:004, Task Termination, Eureka Model

File Description: application/pdf

Access 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

Authors: Imam, Shams

Thesis Advisors: Sarkar, Vivek

Subject Terms: Parallel Programming, Actor Model, Fork-Join Model, Async-Finish Model, Habanero-Scala

File Description: application/pdf

Availability: http://hdl.handle.net/1911/71662

Resilience in high-level parallel programming languages

Authors: Hamouda, Sara S.

Index Terms: 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)

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

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

A Type System for Ensuring Safe, Structured Concurrency in Scala

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

Authors: Willenbrink, Sebastian

Index Terms: 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

Habanero-Scala: Async-Finish Programming in Scala

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

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

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

File Description: application/pdf

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

Availability: 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

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

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

Subject Terms: Parallel programming, Actor model, Fork-join model, Async-finish model, Habanero-Scala

File Description: 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

Availability: https://hdl.handle.net/1911/71662

Efficient data race detection for async-finish parallelism.

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

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

Subject Terms: 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.

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

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

Subject Terms: 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.

Authors: Čukić, Ivan

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

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

Automatically balancing relocatable distributed collections.

Authors: Finnerty, Patrick Kamada, Tomio Ohta, Chikara

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

Subject Terms: DYNAMIC loads, COLLECTIONS, DATA distribution, DATA entry, DYNAMIC balance (Mechanics)

Efficient Data Race Detection for Async-Finish Parallelism

Authors: Martin Vechev Vivek Sarkar Raghavan Raman et al.

Source: Lecture Notes in Computer Science ISBN: 9783642166112

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://www.cs.technion.ac.il/~yahave/papers/rv2010.pdf
https://rd.springer.com/chapter/10.1007/978-3-642-16612-9_28
https://core.ac.uk/display/102605764
https://link.springer.com/chapter/10.1007%2F978-3-642-16612-9_28
https://dblp.uni-trier.de/db/conf/rv/rv2010.html#RamanZSVY10
https://link.springer.com/10.1007/978-3-642-16612-9_28
https://link.springer.com/article/10.1007/s10703-012-0143-7
https://link.springer.com/article/10.1007/s10703-012-0143-7/fulltext.html
https://dblp.uni-trier.de/db/journals/fmsd/fmsd41.html#RamanZSVY12
http://www.cs.columbia.edu/~junfeng/12fa-e6121/papers/dynamic-verify-determinism.pdf
https://www.cs.rice.edu/~vs3/PDF/RamanZSVY10.pdf

Efficient Data Race Detection for Async-Finish Parallelism.

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

Source: Runtime Verification (9783642166112); 2010, p368-383, 16p

Efficient data race detection for async-finish parallelism

Authors: Raghavan Raman Jisheng Zhao Vivek Sarkar et al.

Contributors: Raghavan Raman Jisheng Zhao Vivek Sarkar et al.

Source: http://www.cs.rice.edu/~vs3/PDF/RamanZSVY10.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.6268; http://www.cs.rice.edu/~vs3/PDF/RamanZSVY10.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.6268
http://www.cs.rice.edu/~vs3/PDF/RamanZSVY10.pdf

Concurrent Programming, Open Systems and Formal Methods

Authors: Jose Meseguer Carlos A. Varela Nalini Venkatasubramanian

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

Fast Compression of Large Semantic Web Data Using X10.

Authors: Cheng, Long Malik, Avinash Kotoulas, Spyros et al.

Source: IEEE Transactions on Parallel & Distributed Systems; Sep2016, Vol. 27 Issue 9, p2603-2617, 15p

Subject Terms: WEB databases, MICROFORMATS, DATA analysis, SEMANTIC Web, SEMANTIC networks (Information theory)

A Scheduling Strategy Supporting OpenMP Task on Heterogeneous Multicore.

Authors: Cao, Qian Zuo, Min

Source: 2012 IEEE 26th International Parallel & Distributed Processing Symposium Workshops & PhD Forum; 1/ 1/2012, p2077-2084, 8p

PufferFish: NUMA-Aware Work-stealing Library using Elastic Tasks

Authors: Vivek Kumar

Source: 2020 IEEE 27th International Conference on High Performance Computing, Data, and Analytics (HiPC). :251-260

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology