Suchergebnisse - Concurrent Programming—Parallel Programming

Functional and Concurrent Programming : Core Concepts and Features

Autoren: Michel Charpentier

Resource Type: eBook.

Schlagworte: Computer multitasking, Object-oriented programming (Computer science)

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

Elements of concurrent programming (Third edition)

Autoren: PETTOROSSI, ALBERTO Pettorossi, A

Weitere Verfasser: PETTOROSSI, ALBERTO Pettorossi, A

Schlagwörter: Parallel programs, Concurrent programming, Parallel programs, Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, Concurrent programming

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/2108/32773

Concurrent Programming on Windows

Autoren: Joe Duffy

Resource Type: eBook.

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

Autoren: Aleksandar Prokopec

Resource Type: eBook.

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

Autoren: Vandad Nahavandipoor

Resource Type: eBook.

Schlagworte: Application software--Development, Macintosh (Computer)--Programming

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

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

Weitere Verfasser: Childs, Hank

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

Dateibeschreibung: Medium: ED; Size: 8

Zugangs-URL: http://www.osti.gov/scitech/servlets/purl/1171758

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Autoren: CORRODI, Claudio HEUßNER, Alexander POSKITT, Christopher M. et al.

Weitere Verfasser: CORRODI, Claudio HEUßNER, Alexander POSKITT, Christopher M. et al.

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

Schlagwörter: 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)

Dateibeschreibung: application/application/pdf; application/pdf

Zugangs-URL: 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

Autoren: SCHILL, Mischael POSKITT, Christopher M. MEYER, Bertrand et al.

Weitere Verfasser: SCHILL, Mischael POSKITT, Christopher M. MEYER, Bertrand et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783319395180

Schlagwörter: 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)

Dateibeschreibung: application/pdf; application/application/pdf

Zugangs-URL: 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

Autoren: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Weitere Verfasser: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Schlagwörter: 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

Dateibeschreibung: application/application/pdf

Zugangs-URL: 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

Autoren: Thomas R. Gross Zoltan Majo

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

Schlagwörter: 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

Zugangs-URL: 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

Autoren: Julian Shun Guy E. Blelloch The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Julian Shun Guy E. Blelloch The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: Categories and Subject Descriptors, D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming Keywords, Hash Table, Determinism, Applications

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Bashar Igried Anton Setzer

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

Schlagwörter: 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)

Zugangs-URL: 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

Autoren: Maldonado, Walther Marlier, Patrick Felber, Pascal et al.

Weitere Verfasser: Maldonado, Walther Marlier, Patrick Felber, Pascal et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: John Giacomoni Manish Vachharajani The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: John Giacomoni Manish Vachharajani The Pennsylvania State University CiteSeerX Archives

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

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

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

Verfügbarkeit: 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

Autoren: Kourtis, Kornilios

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

Schlagwörter: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science

Dateibeschreibung: application/application/pdf

Zugangs-URL: http://hdl.handle.net/20.500.11850/129199

Commutative set: A language extension for implicit parallel programming

Autoren: Prakash Prabhu Soumyadeep Ghosh Yun Zhang et al.

Weitere Verfasser: Prakash Prabhu Soumyadeep Ghosh Yun Zhang et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Piotr Nienaltowski

Schlagwörter: 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)

Zugangs-URL: 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

Autoren: Maurice Herlihy Eric Koskinen The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Maurice Herlihy Eric Koskinen The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Bläser, Luc Nagel, Kai Gutknecht, Jürg

Weitere Verfasser: Bläser, Luc Nagel, Kai Gutknecht, Jürg

Schlagwörter: 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)

Dateibeschreibung: application/application/pdf

Zugangs-URL: 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

Autoren: Michael A. Bender Jeremy T. Fineman Seth Gilbert et al.

Weitere Verfasser: Michael A. Bender Jeremy T. Fineman Seth Gilbert et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

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