Výsledky vyhledávání - "Programming—Parallel programming"

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

Mixed-size concurrency: ARM, POWER, C/C++11, and SC

Autoři: Flur, Shaked Sarkar, Susmit Pulte, Christopher a další

Přispěvatelé: Flur, Shaked Sarkar, Susmit Pulte, Christopher a další

Zdroj: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. :429-442

Témata: QA75, QA75 Electronic computers. Computer science, C0 [General]: Modeling of computer architecture, ~DC~, Mixed-size, NDAS, ISA, 02 engineering and technology, Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], F31 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs Keywords Relaxed Memory Models, mixed-size, Relaxed Memory Models, 0202 electrical engineering, electronic engineering, information engineering, BDC, D13 [Programming Techniques]: Con- current Programming—Parallel programming, semantics, R2C

Popis souboru: application/pdf

Přístupová URL adresa: https://kar.kent.ac.uk/64723/1/mixed-size.pdf
https://inria.hal.science/hal-01413221v1
https://research-repository.st-andrews.ac.uk/handle/10023/9901
https://hal.inria.fr/hal-01413221
https://dl.acm.org/doi/pdf/10.1145/3009837.3009839
https://hal.inria.fr/hal-01413221/document
https://doi.org/10.1145/3009837.3009839
https://dblp.uni-trier.de/db/conf/popl/popl2017.html#FlurSPNMGSBS17
https://hdl.handle.net/10023/9901

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

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

Center for Programming Models for Scalable Parallel Computing: Future Programming Models

Popis souboru: Medium: ED; Size: 8 pages

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

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

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, 9633 ; Fundamental Approaches to Software Engineering

Témata: 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), info:eu-repo/classification/ddc/004, Data processing, computer science

Popis souboru: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-662-49665-7; info:eu-repo/semantics/altIdentifier/isbn/978-3-662-49664-0; http://hdl.handle.net/20.500.11850/113623

Dostupnost: https://hdl.handle.net/20.500.11850/113623
https://doi.org/10.3929/ethz-a-010603195

An Interference-Free Programming Model for Network Objects

Autoři: Schill, Mischael Poskitt, Christopher M. Meyer, Bertrand

Témata: VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPEZIELLE PROGRAMMIERMETHODEN, SPEZIFIKATIONEN (SOFTWARE ENGINEERING), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), SPECIAL PROGRAMMING METHODS, SPECIFICATIONS (SOFTWARE ENGINEERING), info:eu-repo/classification/ddc/004, Data processing, computer science

Popis souboru: application/application/pdf

Relation: http://hdl.handle.net/20.500.11850/155552

Dostupnost: https://hdl.handle.net/20.500.11850/155552
https://doi.org/10.3929/ethz-a-010624290

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

Autoři: Gross, Thomas id_orcid:0 000-0002-2038-2902 Majó, Zoltán

Zdroj: PPoPP 2015 Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Témata: SOFTWAREBIBLIOTHEKEN + PROGRAMMBIBLIOTHEKEN (SOFTWARE ENGINEERING), VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SOFTWARE LIBRARIES + PROGRAM LIBRARIES (SOFTWARE ENGINEERING), CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), info:eu-repo/classification/ddc/004, Data processing, computer science

Popis souboru: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-4503-3205-7; info:eu-repo/semantics/altIdentifier/wos/000367254800022; http://hdl.handle.net/20.500.11850/98643

Dostupnost: https://hdl.handle.net/20.500.11850/98643
https://doi.org/10.3929/ethz-a-010381204

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

Beyond Pattern Matching: A Concurrency Model for Stateful Deep Packet Inspection

Autoři: Lorenzo De Carli Robin Sommer Somesh Jha a další

Přispěvatelé: Lorenzo De Carli Robin Sommer Somesh Jha a další

Zdroj: http://www.icsi.berkeley.edu/pubs/networking/beyondpattern14.pdf.

Témata: Categories and Subject Descriptors C.2.3 [Computer-Communication Networks, Network Opera- tions—Network monitoring, D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming Keywords NIDS, Flexible intrusion detection, Scalable traffic analysis

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.675.1686; http://www.icsi.berkeley.edu/pubs/networking/beyondpattern14.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.675.1686
http://www.icsi.berkeley.edu/pubs/networking/beyondpattern14.pdf

The Pochoir Stencil Compiler

Autoři: Citable Link Yuan Tang Rezaul Chowdhury a další

Přispěvatelé: Citable Link Yuan Tang Rezaul Chowdhury a další

Zdroj: http://dspace.mit.edu/openaccess-disseminate/1721.1/72122/.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming— Parallel programming, D.3.2 [Programming Languages, Lan- guage Classifications—Specialized application languages, G.4 [Mathematical Software, Algorithm d

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.6724
http://dspace.mit.edu/openaccess-disseminate/1721.1/72122/

The scalable commutativity rule: Designing scalable software for multicore processors

Autoři: Austin T. Clements M. Frans Kaashoek Nickolai Zeldovich a další

Přispěvatelé: Austin T. Clements M. Frans Kaashoek Nickolai Zeldovich a další

Zdroj: https://pdos.csail.mit.edu/papers/commutativity%3Atocs.pdf.

Témata: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming— Parallel programming, D.2.2 [Software Engineering, Design Tools and Techniques, D.4.7 [Operating Systems, Organization and Design, D.4.8 [Operating Systems, Performance General Terms, Design, Performance, Theory Additional Key Words and Phrases, Commutativity, conflict freedom, multicore, software interfaces ACM Reference Format

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.37

Morph Algorithms on GPUs

Autoři: Rupesh Nasre Martin Burtscher Keshav Pingali a další

Přispěvatelé: Rupesh Nasre Martin Burtscher Keshav Pingali a další

Zdroj: http://iss.ices.utexas.edu/Publications/Papers/nasre13-ppopp.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming General Terms Algorithms, Languages, Performance Keywords Morph Algorithms

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.389.9494
http://iss.ices.utexas.edu/Publications/Papers/nasre13-ppopp.pdf

Zoomm: a parallel web browser engine for multicore mobile devices

Autoři: Seth Fowler Pablo Montesinos Ortego Wayne a další

Přispěvatelé: Seth Fowler Pablo Montesinos Ortego Wayne a další

Zdroj: http://www.tinmith.net/papers/cascaval-ppopp-2013.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming- Parallel Programming Keywords

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.392.8586
http://www.tinmith.net/papers/cascaval-ppopp-2013.pdf

OASIcs, Volume 43, ICCSW'14, Complete Volume

Autoři: Neykova, Rumyana Ng, Nicholas Rumyana Neykova and Nicholas Ng

Přispěvatelé: Neykova, Rumyana Ng, Nicholas Rumyana Neykova and Nicholas Ng

Témata: Parallel Programming, Languages and Compilers, Parallel Architectures, Applicative (Functional) Programming, Parallel Programming, Requirements/Specifications Software/Program Verification, Concurrent Programming, Complexity Measures and Classes, Specifying and Verifying and Reasoning about Programs, Parallel Architectures, Languages and Compilers, Requirements/Specifications Software/Program Verification, Applicative (Functional) Programming, Concurrent Programming, Specifying and Verifying and Reasoning about Programs, ddc:004, Complexity Measures and Classes

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014

P.: Dynamic trace-based analysis of vectorization potential of applications

Autoři: Justin Holewinski Ragavendar Ramamurthi Mahesh Ravishankar a další

Přispěvatelé: Justin Holewinski Ragavendar Ramamurthi Mahesh Ravishankar a další

Zdroj: http://www.cs.ucla.edu/%7Epouchet/doc/pldi-article.12.pdf.

Témata: Categories and Subject Descriptors C.4 [Performance of sys- tems, Measurement techniques, Performance attributes, D.1.3 [Programming techniques, Concurrent programming—Parallel programming, D.3.4 [Programming Languages, Processors— Com

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.2527
http://www.cs.ucla.edu/%7Epouchet/doc/pldi-article.12.pdf

Aikido: Accelerating Shared Data Dynamic Analyses

Autoři: Marek Olszewski Qin Zhao David Koh a další

Přispěvatelé: Marek Olszewski Qin Zhao David Koh a další

Zdroj: http://groups.csail.mit.edu/commit/papers/2012/olszewski-asplos12-aikido.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming – Parallel Programming, D.2.5 [Software Engineering, Testing and Debugging – Debugging Aids, D.4.0 [Operating Systems, General General Terms Design, Reliability, Performance Keywords Data Race Detection, Debugging, Multicore

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.530
http://groups.csail.mit.edu/commit/papers/2012/olszewski-asplos12-aikido.pdf

DOJ: Dynamically parallelizing object-oriented programs

Autoři: Yong Eom Stephen Yang James C. Jenista a další

Přispěvatelé: Yong Eom Stephen Yang James C. Jenista a další

Zdroj: http://demsky.eecs.uci.edu/publications/PPOPP12.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming General Terms Algorithms, Performance Keywords Parallel Programming, Dynamic Analysis, Object- Oriented Analysis, Heap Analysis, Parallelization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.3704; http://demsky.eecs.uci.edu/publications/PPOPP12.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.3704
http://demsky.eecs.uci.edu/publications/PPOPP12.pdf

Auto-parallelizing stateful distributed streaming applications

Autoři: Scott Schneider Martin Hirzel Bugra Gedik a další

Přispěvatelé: Scott Schneider Martin Hirzel Bugra Gedik a další

Zdroj: http://hirzels.com/martin/papers/pact12-autoparallel.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming–Parallel programming, D.3.4 [Programming Languages, Language Classifications–Concurrent, distributed, and parallel languages Keywords distributed stream

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.374.4136
http://hirzels.com/martin/papers/pact12-autoparallel.pdf