Search Results - Concurrent Programming—Parallel Programming~

Functional and Concurrent Programming : Core Concepts and Features

Authors: Michel Charpentier

Resource Type: eBook.

Subjects: 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)

Authors: PETTOROSSI, ALBERTO Pettorossi, A

Contributors: PETTOROSSI, ALBERTO Pettorossi, A

Subject Terms: Parallel programs, Concurrent programming, Parallel programs, Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, Concurrent programming

File Description: application/pdf

Access URL: https://hdl.handle.net/2108/32773

Concurrent Programming on Windows

Authors: Joe Duffy

Resource Type: eBook.

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

Authors: Aleksandar Prokopec

Resource Type: eBook.

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

Authors: Vandad Nahavandipoor

Resource Type: eBook.

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

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

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

Contributors: Childs, Hank

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

File Description: Medium: ED; Size: 8

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

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

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

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

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

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

File Description: application/application/pdf; application/pdf

Access 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

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

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

Source: Lecture Notes in Computer Science ISBN: 9783319395180

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

File Description: application/pdf; application/application/pdf

Access 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

Authors: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

Contributors: Schill, Mischael Mattern, Friedemann Meyer, Bertrand

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

File Description: application/application/pdf

Access 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

Authors: Thomas R. Gross Zoltan Majo

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

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

Access 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

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

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

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

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

File Description: application/pdf

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

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

Authors: Bashar Igried Anton Setzer

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

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

Access 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

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

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

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

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

File Description: application/pdf

Access 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

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

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

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

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

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

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

Authors: Kourtis, Kornilios

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

Subject Terms: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science

File Description: application/application/pdf

Access URL: http://hdl.handle.net/20.500.11850/129199

Commutative set: A language extension for implicit parallel programming

Authors: Prakash Prabhu Soumyadeep Ghosh Yun Zhang et al.

Contributors: Prakash Prabhu Soumyadeep Ghosh Yun Zhang et al.

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

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

File Description: application/pdf

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

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

Authors: Piotr Nienaltowski

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

Access 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

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

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

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

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

File Description: application/pdf

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

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

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

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

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

File Description: application/application/pdf

Access 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

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

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

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

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

File Description: application/pdf

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

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