Výsledky vyhledávání - Concurrent Programming — parallel programming General Terms Languages

From a Formalized Parallel Action Language to Its Efficient Code Generation

Autoři: Llopard, Ivan Fabre, Christian Cohen, Albert a další

Přispěvatelé: Llopard, Ivan Fabre, Christian Cohen, Albert a další

Zdroj: ACM Transactions on Embedded Computing Systems. 16:1-28

Témata: D13 [Programming Techniques]: Concurrent programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], State diagrams, Performance, Parallel programming, 02 engineering and technology, 16. Peace & justice, Parallels Languages, Additional Key Words and Phrases: Action Language, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Model Driven Engineering, D22 [Design Tools and Techniques]: Object-oriented design methods, 0202 electrical engineering, electronic engineering, information engineering, General Terms: Languages, Algorithms

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01425140/file/tecs16.pdf
https://inria.hal.science/hal-01425140v1
https://inria.hal.science/hal-01425140v1/document
https://doi.org/10.1145/0000000.0000000
https://dblp.uni-trier.de/db/journals/tecs/tecs16.html#LlopardF017
https://hal.archives-ouvertes.fr/hal-01425140v1
https://doi.org/10.1145/2990195
https://dl.acm.org/doi/10.1145/2990195
https://hal.inria.fr/hal-01425140/document
https://hal.inria.fr/hal-01425140

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autoři: Ilya Sergey

Resource Type: eBook.

Témata: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Data Parallel C++

Autoři: James Reinders Ben Ashbaugh James Brodman a další

Resource Type: eBook.

Témata: C++ (Computer program language), Heterogeneous computing, OpenCL (Computer program language)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Hardware / General

Data Parallel C++

Autoři: James Reinders Ben Ashbaugh James Brodman a další

Resource Type: eBook.

Témata: C++ (Computer program language), Heterogeneous computing, OpenCL (Computer program language)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Hardware / General

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autoři: Luís Caires

Resource Type: eBook.

Témata: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Concurrent Programming—Parallel Programming General Terms Languages, Verification

Autoři: Shivali Agarwal Rajkishore Barik Rudrapatna K Shyamasundar a další

Přispěvatelé: Shivali Agarwal Rajkishore Barik Rudrapatna K Shyamasundar a další

Zdroj: http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/agarwal.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.742; http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/agarwal.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.742
http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/agarwal.pdf

Parallel and Concurrent Programming in Haskell : Techniques for Multicore and Multithreaded Programming

Autoři: Simon Marlow

Resource Type: eBook.

Témata: Parallel programming (Computer science), Computer multitasking, Haskell (Computer program language)

Categories: COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General

Concurrent programming structures. D.1.3 [Software]: Concurrent Programming – Parallel Programming General Terms: Languages, Performance

Autoři: Mitsuhisa Sato The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Mitsuhisa Sato The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cecs.uci.edu/~papers/compendium94-03/papers/2002/isss02/pdffiles/p109.pdf.

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.2770
http://www.cecs.uci.edu/~papers/compendium94-03/papers/2002/isss02/pdffiles/p109.pdf

Parallel Execution of Multi-set Constraint Rewrite Rules

Autoři: Martin Sulzmann Rued Langgaards Vej Edmund S. L. Lam a další

Přispěvatelé: Martin Sulzmann Rued Langgaards Vej Edmund S. L. Lam a další

Zdroj: http://ww2.cs.mu.oz.au/~sulzmann/publications/parallel-chr.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming General Terms Languages, Performance

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.563.2109
http://ww2.cs.mu.oz.au/~sulzmann/publications/parallel-chr.pdf

A survey of concurrency-oriented refactoring.

Autoři: Zhang, Yang Li, Liuxu Zhang, Dongwen

Zdroj: Concurrent Engineering: Research & Applications; Dec2020, Vol. 28 Issue 4, p319-330, 12p

Témata: PARALLEL programming, PROGRAMMING languages, SURVEYS

Semantics of transactional memory and automatic mutual exclusion

Autoři: Martín Abadi Andrew Birrell Tim Harris a další

Přispěvatelé: Martín Abadi Andrew Birrell Tim Harris a další

Zdroj: http://research.microsoft.com/~tharris/papers/2008-popl.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming General Terms Languages, Theory

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.3656
http://research.microsoft.com/~tharris/papers/2008-popl.pdf

Concurrency control with data coloring

Autoři: Luis Ceze Christoph Von Praun Pablo Montesinos a další

Přispěvatelé: Luis Ceze Christoph Von Praun Pablo Montesinos a další

Zdroj: http://www.in.ohm-hochschule.de/professors/praun/pubs/mspc08.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—parallel programming General Terms Languages, Performance Keywords Programming Model, Concurrency Control, Data Coloring

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.8445
http://www.in.ohm-hochschule.de/professors/praun/pubs/mspc08.pdf

An annotation assistant for interactive debugging of programs with common synchronization idioms

Autoři: Tayfun Elmas Ali Sezgin Serdar Tasiran a další

Přispěvatelé: Tayfun Elmas Ali Sezgin Serdar Tasiran a další

Zdroj: http://portal.ku.edu.tr/~stasiran/publications/padtad09.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging — debugging aids, diagnostics, D.2.4 [Software Engineering, Software/Program Verification — assertion checkers, formal methods, D.1.3 [Programming Tech- niques, Concurrent Programming — parallel programming General Terms Languages, Theory, Verification Keywords Concurrent Programs, Atomicity, Synchronization Id

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.2360; http://portal.ku.edu.tr/~stasiran/publications/padtad09.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.2360
http://portal.ku.edu.tr/~stasiran/publications/padtad09.pdf

Concurrent Programming Interviews

Autoři: Bonan Liu

Resource Type: eBook.

Témata: Engineers--Interviews, Employment interviewing, Software engineering

Categories: COMPUTERS / Programming / General, COMPUTERS / Languages / C++, COMPUTERS / Software Development & Engineering / General

Asynchronous Programming in Rust : Learn Asynchronous Programming by Building Working Examples of Futures, Green Threads, and Runtimes

Autoři: Carl Fredrik Samson

Resource Type: eBook.

Témata: Asynchronous transfer mode, Rust (Computer program language)

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Programming / General, COMPUTERS / Programming / Parallel

Start Concurrent : An Introduction to Problem Solving in Java with a Focus on Concurrency, 2014

Autoři: Barry Wittman Aditya Mathur Tim Korb

Resource Type: eBook.

Témata: Parallel programming (Computer science), Multiprocessors--Programming, Java (Computer program language), Computer multitasking

Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / General, COMPUTERS / Reference

Concurrency in .NET : Modern Patterns of Concurrent and Parallel Programming

Autoři: Riccardo Terrell

Resource Type: eBook.

Témata: Microsoft .NET Framework, Parallel programming (Computer science), Computer multitasking

Categories: COMPUTERS / Languages / C#, COMPUTERS / Programming / Parallel, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Microsoft, COMPUTERS / Languages / .NET

Concurrent Programming: Algorithms, Principles, and Foundations

Autoři: Michel Raynal

Resource Type: eBook.

Témata: Parallel programming (Computer science)--Distributed processing, Electronic data processing, Computer multitasking

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Concurrent programming constructs for parallel MPI applications.

Autoři: Berka, Tobias Kollias, Giorgos Hagenauer, Helge a další

Zdroj: Journal of Supercomputing; Feb2013, Vol. 63 Issue 2, p385-406, 22p

Témata: PARALLEL programming, CLIENT/SERVER computing equipment, COMPUTER input-output equipment design & construction, INFORMATION retrieval, THREADS (Computer programs), PROGRAMMING language semantics

parallelizable programming instead?

Autoři: João Cachopo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: João Cachopo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://gee.cs.oswego.edu/dl/html/cap/cap100_submission_1.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming General Terms Languages, Performance Keywords Automatic parallelization, Thread-Level Speculation, Software Transactional Memory

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.9437; http://gee.cs.oswego.edu/dl/html/cap/cap100_submission_1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.9437
http://gee.cs.oswego.edu/dl/html/cap/cap100_submission_1.pdf