Výsledky vyhľadávania - Concurrent Programming — parallel programming General Terms Languages~

From a Formalized Parallel Action Language to Its Efficient Code Generation

Autori: Llopard, Ivan Fabre, Christian Cohen, Albert a ďalší

Prispievatelia: Llopard, Ivan Fabre, Christian Cohen, Albert a ďalší

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

Predmety: 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 súboru: application/pdf

Prí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

Autori: Ilya Sergey

Typ zdroja: eBook.

Predmet: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Data Parallel C++

Autori: James Reinders Ben Ashbaugh James Brodman a ďalší

Typ zdroja: eBook.

Predmet: C++ (Computer program language), Heterogeneous computing, OpenCL (Computer program language)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Hardware / General

Data Parallel C++

Autori: James Reinders Ben Ashbaugh James Brodman a ďalší

Typ zdroja: eBook.

Predmet: C++ (Computer program language), Heterogeneous computing, OpenCL (Computer program language)

Kategórie: 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

Autori: Luís Caires

Typ zdroja: eBook.

Predmet: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Kategórie: 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

Autori: Shivali Agarwal Rajkishore Barik Rudrapatna K Shyamasundar a ďalší

Prispievatelia: Shivali Agarwal Rajkishore Barik Rudrapatna K Shyamasundar a ďalší

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

Popis súboru: 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

Dostupnosť: 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

Autori: Simon Marlow

Typ zdroja: eBook.

Predmet: Parallel programming (Computer science), Computer multitasking, Haskell (Computer program language)

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General

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

Autori: Mitsuhisa Sato The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Mitsuhisa Sato The Pennsylvania State University CiteSeerX Archives

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

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: Martin Sulzmann Rued Langgaards Vej Edmund S. L. Lam a ďalší

Prispievatelia: Martin Sulzmann Rued Langgaards Vej Edmund S. L. Lam a ďalší

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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.

Autori: Zhang, Yang Li, Liuxu Zhang, Dongwen

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

Predmety: PARALLEL programming, PROGRAMMING languages, SURVEYS

Semantics of transactional memory and automatic mutual exclusion

Autori: Martín Abadi Andrew Birrell Tim Harris a ďalší

Prispievatelia: Martín Abadi Andrew Birrell Tim Harris a ďalší

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: Luis Ceze Christoph Von Praun Pablo Montesinos a ďalší

Prispievatelia: Luis Ceze Christoph Von Praun Pablo Montesinos a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Tayfun Elmas Ali Sezgin Serdar Tasiran a ďalší

Prispievatelia: Tayfun Elmas Ali Sezgin Serdar Tasiran a ďalší

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Bonan Liu

Typ zdroja: eBook.

Predmet: Engineers--Interviews, Employment interviewing, Software engineering

Kategórie: 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

Autori: Carl Fredrik Samson

Typ zdroja: eBook.

Predmet: Asynchronous transfer mode, Rust (Computer program language)

Kategórie: COMPUTERS / Programming / Algorithms, COMPUTERS / Programming / General, COMPUTERS / Programming / Parallel

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

Autori: Barry Wittman Aditya Mathur Tim Korb

Typ zdroja: eBook.

Predmet: Parallel programming (Computer science), Multiprocessors--Programming, Java (Computer program language), Computer multitasking

Kategórie: COMPUTERS / Languages / Java, COMPUTERS / Programming / General, COMPUTERS / Reference

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

Autori: Riccardo Terrell

Typ zdroja: eBook.

Predmet: Microsoft .NET Framework, Parallel programming (Computer science), Computer multitasking

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

Concurrent Programming: Algorithms, Principles, and Foundations

Autori: Michel Raynal

Typ zdroja: eBook.

Predmet: Parallel programming (Computer science)--Distributed processing, Electronic data processing, Computer multitasking

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Concurrent programming constructs for parallel MPI applications.

Autori: Berka, Tobias Kollias, Giorgos Hagenauer, Helge a ďalší

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

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

parallelizable programming instead?

Autori: João Cachopo The Pennsylvania State University CiteSeerX Archives

Prispievatelia: João Cachopo The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: 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

Dostupnosť: 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