Výsledky vyhledávání - Concurrent Programming-parallel programming~

Functional and Concurrent Programming : Core Concepts and Features

Autoři: Michel Charpentier

Resource Type: eBook.

Témata: Computer multitasking, Object-oriented programming (Computer science)

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#

Elements of concurrent programming (Third edition)

Autoři: PETTOROSSI, ALBERTO Pettorossi, A

Přispěvatelé: PETTOROSSI, ALBERTO Pettorossi, A

Témata: Parallel programs, Concurrent programming, Parallel programs, Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, Concurrent programming

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/2108/32773

Concurrent Programming on Windows

Autoři: Joe Duffy

Resource Type: eBook.

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

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

Learning Concurrent Programming in Scala : Practical Multithreading in Scala

Autoři: Aleksandar Prokopec

Resource Type: eBook.

Témata: Scala (Computer program language), Application software--Development

Categories: COMPUTERS / Languages / Java, COMPUTERS / Distributed Systems / General, COMPUTERS / Programming / Parallel

Concurrent Programming in Mac OS X and IOS : Unleash Multicore Performance with Grand Central Dispatch

Autoři: Vandad Nahavandipoor

Resource Type: eBook.

Témata: Application software--Development, Macintosh (Computer)--Programming

Categories: COMPUTERS / Programming / Macintosh, COMPUTERS / Programming / Parallel

GPU Acceleration of Particle AdvectionWorkloads in a Parallel, Distributed Memory Setting

Přispěvatelé: Childs, Hank

Zdroj: Conference: Eurographics Symposium on Parallel Graphics and Visualization (2013), Girona, Spain, May 4,5

Popis souboru: Medium: ED; Size: 8

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/1171758

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Autoři: CORRODI, Claudio HEUßNER, Alexander POSKITT, Christopher M. a další

Přispěvatelé: CORRODI, Claudio HEUßNER, Alexander POSKITT, Christopher M. a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783662496640
Lecture Notes in Computer Science, 9633
Fundamental Approaches to Software Engineering

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), GRAPHENALGORITHMEN + GEOMETRISCHE ALGORITHMEN (GRAPHENTHEORIE), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING), GRAPH ALGORITHMS + GEOMETRIC ALGORITHMS (GRAPH THEORY), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer Science - Software Engineering, Data processing, computer science, 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Programming Languages, Software Engineering, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Programming Languages and Compilers, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Programming Languages (cs.PL)

Popis souboru: application/application/pdf; application/pdf

Přístupová URL adresa: https://ink.library.smu.edu.sg/sis_research/4907
http://arxiv.org/abs/1603.00307
https://arxiv.org/pdf/1603.00307
https://www.arxiv.org/abs/1603.00307
http://export.arxiv.org/pdf/1603.00307
https://dblp.uni-trier.de/db/journals/corr/corr1603.html#CorrodiHP16
https://ui.adsabs.harvard.edu/abs/2016arXiv160300307C/abstract
https://ink.library.smu.edu.sg/sis_research/4907/
https://www.research-collection.ethz.ch/handle/20.500.11850/113623
https://link.springer.com/chapter/10.1007/978-3-662-49665-7_3
https://core.ac.uk/display/79442304
http://hdl.handle.net/20.500.11850/113623

An Interference-Free Programming Model for Network Objects

Autoři: SCHILL, Mischael POSKITT, Christopher M. MEYER, Bertrand a další

Přispěvatelé: SCHILL, Mischael POSKITT, Christopher M. MEYER, Bertrand a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783319395180

Témata: FOS: Computer and information sciences, SPECIAL PROGRAMMING METHODS, OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), 01 natural sciences, CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Computer Science - Software Engineering, Data processing, computer science, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPECIFICATIONS (SOFTWARE ENGINEERING), 0202 electrical engineering, electronic engineering, information engineering, SPEZIFIKATIONEN (SOFTWARE ENGINEERING), Computer Science - Programming Languages, [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], SPEZIELLE PROGRAMMIERMETHODEN, Software Engineering, Software Engineering (cs.SE), Programming Languages and Compilers, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Programming Languages (cs.PL)

Popis souboru: application/pdf; application/application/pdf

Přístupová URL adresa: https://ink.library.smu.edu.sg/sis_research/4908
http://arxiv.org/abs/1604.04591
https://core.ac.uk/display/42707873
https://link.springer.com/chapter/10.1007/978-3-319-39519-7_14/fulltext.html
https://e-citations.ethbib.ethz.ch/view/pub:176554
https://rd.springer.com/chapter/10.1007/978-3-319-39519-7_14
https://dblp.uni-trier.de/db/journals/corr/corr1604.html#SchillPM16
http://ui.adsabs.harvard.edu/abs/2016arXiv160404591S/abstract
https://arxiv.org/pdf/1604.04591.pdf
http://export.arxiv.org/pdf/1604.04591
https://www.arxiv.org/abs/1604.04591
http://hdl.handle.net/20.500.11850/155552

Unified Interference-free Parallel, Concurrent and Distributed Programming

Autoři: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Přispěvatelé: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Témata: DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME), VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science

Popis souboru: application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/mapping/view/eth:50417
http://e-collection.library.ethz.ch/eserv/eth:50417/eth-50417-02.pdf
https://e-collection.library.ethz.ch/view/eth:50417
https://www.research-collection.ethz.ch/bitstream/20.500.11850/127377/1/eth-50417-01.pdf
http://hdl.handle.net/20.500.11850/127377

A library for portable and composable data locality optimizations for NUMA systems

Autoři: Thomas R. Gross Zoltan Majo

Zdroj: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. :227-238

Témata: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), SOFTWARE LIBRARIES + PROGRAM LIBRARIES (SOFTWARE ENGINEERING), Data processing, computer science, 4. Education, SOFTWAREBIBLIOTHEKEN + PROGRAMMBIBLIOTHEKEN (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), 14. Life underwater

Přístupová URL adresa: https://www.research-collection.ethz.ch/bitstream/20.500.11850/98643/1/eth-47328-01.pdf
https://doi.acm.org/10.1145/2688500.2688509
https://dl.acm.org/doi/10.1145/2858788.2688509
https://www.research-collection.ethz.ch/mapping/view/eth:47328
https://dblp.uni-trier.de/db/conf/ppopp/ppopp2015.html#MajoG15
http://www.lst.ethz.ch/research/publications/PPOPP_2015/PPOPP_2015.pdf
https://www.research-collection.ethz.ch/bitstream/20.500.11850/98643/1/eth-47328-01.pdf
https://dl.acm.org/doi/10.1145/3040222
https://doi.org/10.1145/3040222
https://dblp.uni-trier.de/db/journals/topc/topc3.html#MajoG17

Phase-concurrent hash tables for determinism

Autoři: Julian Shun Guy E. Blelloch The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Julian Shun Guy E. Blelloch The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.eecs.berkeley.edu/%7Ejshun/hash.pdf.

Témata: Categories and Subject Descriptors, D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming Keywords, Hash Table, Determinism, Applications

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.2353; http://www.eecs.berkeley.edu/%7Ejshun/hash.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.2353
http://www.eecs.berkeley.edu/%7Ejshun/hash.pdf

Trace and Stable Failures Semantics for CSP-Agda

Autoři: Bashar Igried Anton Setzer

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 36-51 (2017)

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, QA75.5-76.95, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Computer Science - Distributed, Parallel, and Cluster Computing, Electronic computers. Computer science, D.1.3 Concurrent Programming---Parallel programming, D.2.4 Software/Program Verification---Formal methods, D.3.1 Formal Definitions and Theory---Semantics, F.3.2 Semantics of Programming Languages---Denotational semantics---Operational semantics---Process, QA1-939, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics, Mathematics, Programming Languages (cs.PL)

Přístupová URL adresa: https://arxiv.org/pdf/1709.04714
http://arxiv.org/abs/1709.04714
https://doaj.org/article/15158e0a85a14927bdf0b8076f88930b
https://arxiv.org/pdf/1709.04714
https://arxiv.org/abs/1709.04714
http://ui.adsabs.harvard.edu/abs/2017arXiv170904714I/abstract
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf
https://arxiv.org/abs/1709.04714v1
https://cronfa.swan.ac.uk/Record/cronfa33725
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf

Supporting Time-Based QoS Requirements in Software Transactional Memory

Autoři: Maldonado, Walther Marlier, Patrick Felber, Pascal a další

Přispěvatelé: Maldonado, Walther Marlier, Patrick Felber, Pascal a další

Zdroj: ACM Transactions on Parallel Computing, Vol. 2, no.2, p. 1-30 (2015)

Témata: 2. Zero hunger, Fairness, Scheduling, Categories and Subject Descriptors: D13 [Programming Techniques]: Concurrent Programming—Parallel Programming General Terms: Performance, 0103 physical sciences, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Quality of Service, Reliability Additional Key Words and Phrases: Contention Management, Transactional Memory, 02 engineering and technology, 01 natural sciences, 7. Clean energy

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01240225/file/Maldonado_et_al_TOPC.pdf
https://inria.hal.science/hal-01240225v1
https://doi.org/10.1145/2779621
https://inria.hal.science/hal-01240225v1/document
https://dblp.uni-trier.de/db/journals/topc/topc2.html#MaldonadoMFLMR15
https://dl.acm.org/doi/10.1145/2779621
https://hal.archives-ouvertes.fr/hal-01240225
https://dial.uclouvain.be/pr/boreal/object/boreal:213814
https://hal.inria.fr/hal-01240225
https://hal.inria.fr/hal-01240225/document
https://hdl.handle.net/2078.1/213814

FastForward for efficient pipeline parallelism: A cache-optimized concurrent lock-free queue

Autoři: John Giacomoni Manish Vachharajani The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: John Giacomoni Manish Vachharajani The Pennsylvania State University CiteSeerX Archives

Zdroj: http://ce.colorado.edu/users/jgiacomo/papers/giacomoni08ppopp.pdf.

Témata: niques, Concurrent Programming—Parallel Programming General Terms algorithms, performance, experimentation Keywords FastForward, nonblocking synchronization, lock-free, queue, linearizability, pipeline parallel, multicore, multiprocessors

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.559.3372; http://ce.colorado.edu/users/jgiacomo/papers/giacomoni08ppopp.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.559.3372
http://ce.colorado.edu/users/jgiacomo/papers/giacomoni08ppopp.pdf

Sequences for Parallel Programming

Autoři: Kourtis, Kornilios

Zdroj: Technical Report / Systems Group, Department of Computer Science, ETH Zurich

Témata: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science

Popis souboru: application/application/pdf

Přístupová URL adresa: http://hdl.handle.net/20.500.11850/129199

Commutative set: A language extension for implicit parallel programming

Autoři: Prakash Prabhu Soumyadeep Ghosh Yun Zhang a další

Přispěvatelé: Prakash Prabhu Soumyadeep Ghosh Yun Zhang a další

Zdroj: http://liberty.princeton.edu/Publications/pldi11_commset.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming, D.3.4 [Programming Languages, Processors—Compilers, Optimization Languages, Performance, Design, Experimenta- General Terms tion Keywords Implicit parallelism, semantic commutativity, programming model, automatic parallelization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.7696; http://liberty.princeton.edu/Publications/pldi11_commset.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.7696
http://liberty.princeton.edu/Publications/pldi11_commset.pdf

Practical framework for contract-based concurrent object-oriented programming

Autoři: Piotr Nienaltowski

Témata: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING), PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING), PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME)

Přístupová URL adresa: http://se.inf.ethz.ch/old/people/nienaltowski/research_plan_public.pdf
https://www.research-collection.ethz.ch/handle/20.500.11850/7159

Transactional boosting: A methodology for highly-concurrent transactional objects

Autoři: Maurice Herlihy Eric Koskinen The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Maurice Herlihy Eric Koskinen The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.brandeis.edu//~cs220/reads/p207-herlihy.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming – Parallel Programming, D.3.3 [Programming Languages, Language Constructs and Features – Frameworks, Concurrent programming structures, E.1 [Data Structures, Distributed data structures, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Algorithms, Languages, Theory Keywords Transactional Boosting, non-blocking algorithms, abstract locks

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.7751
http://www.cs.brandeis.edu//~cs220/reads/p207-herlihy.pdf

A component language for pointer-free concurrent programming and its application to simulation

Autoři: Bläser, Luc Nagel, Kai Gutknecht, Jürg

Přispěvatelé: Bläser, Luc Nagel, Kai Gutknecht, Jürg

Témata: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), COMPUTER SIMULATION, SOFTWARE REUSABILITY + SOFTWARE REUSE + COMPONENT-BASED SOFTWARE DESIGN (SOFTWARE ENGINEERING), Data processing, computer science, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), CD-ROM (DOCUMENT TYPES), COMPUTERSIMULATION, CD-ROM (DOKUMENTENTYP), SOFTWAREWIEDERVERWENDUNG + KOMPONENTENBASIERTE SOFTWAREENTWICKLUNG (SOFTWARE ENGINEERING)

Popis souboru: application/application/pdf

Přístupová URL adresa: https://www.research-collection.ethz.ch/handle/20.500.11850/72904
http://e-collection.library.ethz.ch/view/eth:30090
http://hdl.handle.net/20.500.11850/72904

Concurrent cache-oblivious B-trees

Autoři: Michael A. Bender Jeremy T. Fineman Seth Gilbert a další

Přispěvatelé: Michael A. Bender Jeremy T. Fineman Seth Gilbert a další

Zdroj: http://supertech.csail.mit.edu/papers/cobtree.pdf.

Témata: Categories and Subject Descriptors, D.1.3 Programming Techniques Concurrent Programming—parallel programming, E.1 Data Structures Distributed Data Structures, E.1 Data Structures Trees, G.3 Probability and Statistics Probabilistic algorithms, General Terms, Algorithms, Theory. Keywords, Cache-Oblivious B-tree, Concurrent B-tree, Non- Blocking, Lock Free, Exponential Tree, Packed-Memory Array

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.6378; http://supertech.csail.mit.edu/papers/cobtree.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.6378
http://supertech.csail.mit.edu/papers/cobtree.pdf