Výsledky vyhledávání - D.1.3 concurrent programming [parallel programming]~

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 CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency

Autoři: Jaroslav Sevčík Viktor Vafeiadis Francesco Zappa Nardelli a další

Přispěvatelé: Jaroslav Sevčík Viktor Vafeiadis Francesco Zappa Nardelli a další

Zdroj: http://www.mpi-sws.org/~viktor/papers/jacm-compcerttso.pdf.

Témata: Categories and Subject Descriptors, C.1.2 [Multiple Data Stream Architectures (Multiprocessors, Parallel processors, D.1.3 [Concurrent Programming, Parallel programming, F.3.1 [Specifying and Verifying and Reasoning about Programs] General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Relaxed Memory Models, Semantics, Verified Compilation ACM Reference Format

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.4018
http://www.mpi-sws.org/~viktor/papers/jacm-compcerttso.pdf

CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency

Autoři: Jaroslav Sevčík Viktor Vafeiadis Francesco Zappa Nardelli a další

Přispěvatelé: Jaroslav Sevčík Viktor Vafeiadis Francesco Zappa Nardelli a další

Zdroj: http://www.mpi-sws.org/~viktor/papers/compcerttso-long.pdf.

Témata: Categories and Subject Descriptors, C.1.2 [Multiple Data Stream Architectures (Multiprocessors, Parallel processors, D.1.3 [Concurrent Programming, Parallel programming, F.3.1 [Specifying and Verifying and Reasoning about Programs] General Terms, Reliability, Theory, Verification Additional Key Words and Phrases, Relaxed Memory Models, Verified Compilation, Semantics Contents

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.2499
http://www.mpi-sws.org/~viktor/papers/compcerttso-long.pdf

LVars: lattice-based data structures for deterministic parallelism

Autoři: Lindsey Kuper Ryan R. Newton The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Lindsey Kuper Ryan R. Newton The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.indiana.edu/~lkuper/papers/lvars-fhpc13.pdf.

Témata: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Concurrent programming structures, D.1.3 [Concurrent Programming, Parallel programming, D.3.1 [Formal Definitions and Theory, Semantics, D.3.2 [Language Classifications, Concurrent, distributed, and parallel languages Keywords

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.8643
http://www.cs.indiana.edu/~lkuper/papers/lvars-fhpc13.pdf

Categories and Subject Descriptors [D.1.3 Concurrent Programming]: Programming Abstractions General Terms Algorithms, Languages

Autoři: Virendra J. Marathe The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Virendra J. Marathe The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.rochester.edu/~vmarathe/research/papers/2007_PPoPP_MSR.pdf.

Témata: transactional memory, data parallel programming, work groups

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.5678; http://www.cs.rochester.edu/~vmarathe/research/papers/2007_PPoPP_MSR.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.5678
http://www.cs.rochester.edu/~vmarathe/research/papers/2007_PPoPP_MSR.pdf

Charisma: Orchestrating migratable parallel objects

Autoři: Chao Huang The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Chao Huang The Pennsylvania State University CiteSeerX Archives

Zdroj: http://charm.cs.illinois.edu/newPapers/06-18/paper.pdf.

Témata: D.1.3 [Concurrent Programming, Parallel programming, D.3.3

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.2270
http://charm.cs.illinois.edu/newPapers/06-18/paper.pdf

Riding the elephant: managing ensembles with hadoop

Autoři: Elif Dede Madhusudhan Govindaraju Dan Gunter a další

Přispěvatelé: Elif Dede Madhusudhan Govindaraju Dan Gunter a další

Zdroj: http://www.cs.binghamton.edu/~mgovinda/papers/MTAGS-2011-cameraready.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Parallel Programming General Terms Experimentation Keywords MapReduce, Hadoop, scientific ensembles, data-intensive, workflows

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.115
http://www.cs.binghamton.edu/~mgovinda/papers/MTAGS-2011-cameraready.pdf

Exploring the performance and mapping of hpc applications to platforms in the cloud

Autoři: Abhishek Gupta Laxmikant V. Kalé Chun Hui Suen a další

Přispěvatelé: Abhishek Gupta Laxmikant V. Kalé Chun Hui Suen a další

Zdroj: http://charm.cs.illinois.edu/newPapers/12-19/abs.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Parallel Programming, K.6.4 [System Management, Centralization/decentralization Keywords High Performance Computing, Clouds, Resource Scheduling Copyright is held by the author/owner(s). HPDC’12, June 18–22

Time: 2012

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.6097
http://charm.cs.illinois.edu/newPapers/12-19/abs.pdf

Hybrid MPI/GPU Interpolation for Grid DEM Construction

Autoři: Andrew Danner Alexander Breslow Jake Baskin a další

Přispěvatelé: Andrew Danner Alexander Breslow Jake Baskin a další

Zdroj: http://www.cs.swarthmore.edu/%7Eadanner/docs/acmGIS12MPICUDA.pdf.

Témata: Categories and Subject Descriptors, D.1.3 [Concurrent Programming, Distributed programming, Parallel programming General Terms, Algorithms, Design, Performance Keywords, Interpolation, MPI, CUDA, Terrain Modeling

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.242.5792; http://www.cs.swarthmore.edu/%7Eadanner/docs/acmGIS12MPICUDA.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.242.5792
http://www.cs.swarthmore.edu/%7Eadanner/docs/acmGIS12MPICUDA.pdf

Massively parallel processing: It's Déjà Vu all over again

Autoři: Steven P. Levitan Donald M. Chiarulli The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Steven P. Levitan Donald M. Chiarulli The Pennsylvania State University CiteSeerX Archives

Zdroj: http://kona.ee.pitt.edu/steve/Recent+Publications/DAC_2009.pdf.

Témata: C.1.4 [Parallel Architectures]. D.1.3 [Concurrent Programming, Distributed programming, parallel programming. B.7.1 [Integrated Circuits, Microprocessors, Very Large Scale Integration (VLSI). General Terms Algorithms, Performance, Design. Keywords Multicore, Massively Parallel Processing, Parallel Architectures and Algorithms

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.9033; http://kona.ee.pitt.edu/steve/Recent+Publications/DAC_2009.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.9033
http://kona.ee.pitt.edu/steve/Recent+Publications/DAC_2009.pdf

Software thread-level speculation: an optimistic library implementation

Autoři: Cosmin E. Oancea Alan Mycroft The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cosmin E. Oancea Alan Mycroft The Pennsylvania State University CiteSeerX Archives

Zdroj: https://parasol.tamu.edu/people/coancea/Publications/iwmse01-oancea.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Parallel Programming, D.2.2 [Software Engineering, Software Libraries General Terms Performance, Languages, Design, Algorithms Keywords Thread-Level Speculation (TLS, Template-Metaprogramming

Popis souboru: application/pdf

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

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

An efficient software transactional memory using commit-time invalidation

Autoři: Justin E. Gottschlich Manish Vachharajani Jeremy G. Siek a další

Přispěvatelé: Justin E. Gottschlich Manish Vachharajani Jeremy G. Siek a další

Zdroj: http://ecee.colorado.edu/~siek/cgo10.pdf.

Témata: Categories and Subject Descriptors, D.1.3 [Concurrent Programming, Parallel Programming. General Terms, Algorithms, Design, Performance. Keywords, Commit-Time Invalidation, Software Transactional Memory

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.3256; http://ecee.colorado.edu/~siek/cgo10.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.3256
http://ecee.colorado.edu/~siek/cgo10.pdf

3D finite difference computation on GPUs using CUDA

Autoři: Paulius Micikevicius The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Paulius Micikevicius The Pennsylvania State University CiteSeerX Archives

Zdroj: http://developer.download.nvidia.com/CUDA/CUDA_Zone/papers/gpu_3dfd_rev.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Parallel Programming. General Terms Algorithms, Performance, Measurement. Keywords Finite Difference, GPU, CUDA, Parallel Algorithms

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.447; http://developer.download.nvidia.com/CUDA/CUDA_Zone/papers/gpu_3dfd_rev.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.447
http://developer.download.nvidia.com/CUDA/CUDA_Zone/papers/gpu_3dfd_rev.pdf

Parallelizing CAD: A timely research agenda for EDA

Autoři: Bryan Catanzaro Kurt Keutzer Bor-yiing Su a další

Přispěvatelé: Bryan Catanzaro Kurt Keutzer Bor-yiing Su a další

Zdroj: http://www.inf.pucrs.br/~hessel/swe/swe/parallelizing_CAD.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Parallel Programming D.2.11 [Software Architectures, Patterns J.6 [Computer-aided Engineering, Computer-aided Design General Terms Algorithms, Design Keywords Pattern, Framework, Manycore, Parallelization 1. WHY MANYCORE PARALLELISM

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.578.2612; http://www.inf.pucrs.br/~hessel/swe/swe/parallelizing_CAD.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.578.2612
http://www.inf.pucrs.br/~hessel/swe/swe/parallelizing_CAD.pdf

A Type and Effect System for Atomicity

Autoři: Cormac Flanagan Shaz Qadeer The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cormac Flanagan Shaz Qadeer The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.toronto.edu/~azadeh/page11/teaching/fall08/papers/type-atomicity.pdf.

Témata: D.1.3 Concurrent Programming, parallel programming, D.2.4 Software/Program Verification General terms Reliability, Security, Languages, Verification Keywords Multithreading, race conditions, static checking, atomicity

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.539.2754
http://www.cs.toronto.edu/~azadeh/page11/teaching/fall08/papers/type-atomicity.pdf

Concurrent Bounded Model Checking

Autoři: Quoc-sang Phan Pasquale Malacaria Corina S. Păsăreanu a další

Přispěvatelé: Quoc-sang Phan Pasquale Malacaria Corina S. Păsăreanu a další

Zdroj: http://www.eecs.qmul.ac.uk/%7Eqsp30/papers/jpf14.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Parallel programming, D.2.4 [Software/Program Verification, Formal methods General Terms Algorithms, Performance, Theory, Verification Keywords Bounded Model Checking, Concurrency, Symbolic Execution

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.676.3315; http://www.eecs.qmul.ac.uk/%7Eqsp30/papers/jpf14.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.676.3315
http://www.eecs.qmul.ac.uk/%7Eqsp30/papers/jpf14.pdf

Extending a C-like Language for Portable SIMD Programming

Autoři: Roland Leißa Sebastian Hack Ingo Wald a další

Přispěvatelé: Roland Leißa Sebastian Hack Ingo Wald a další

Zdroj: http://www.sci.utah.edu/~wald/Publications/2012///ppopp/download//vecimp.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Concurrent Programming, Parallel programming, D.3.1 [Formal Definitions and Theory, Semantics, Syntax General Terms Languages, Performance, Theory Keywords language theory, polymorphism, SIMD, SIMT, type system, vectorization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.5723; http://www.sci.utah.edu/~wald/Publications/2012///ppopp/download//vecimp.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.5723
http://www.sci.utah.edu/~wald/Publications/2012///ppopp/download//vecimp.pdf

Zippy: A Framework for Computation and Visualization on a GPU Cluster.

Autoři: Zhe Fan Feng Qiu Kaufman, Arie E.

Zdroj: Computer Graphics Forum. Apr2008, Vol. 27 Issue 2, p341-350. 10p. 4 Color Photographs, 5 Diagrams, 1 Chart, 4 Graphs.

Témata: *COMPUTER graphics, *VISUALIZATION, *COMPUTER programming, *IMAGE processing, *DIGITAL electronics, *IMAGING systems

AOpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs

Autoři: Antoniu Pop Albert Cohen The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Antoniu Pop Albert Cohen The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.di.ens.fr/pub/Main/OpenStream/OpenStream_TACO13.pdf.

Témata: Categories and Subject Descriptors, D.1.3 [Concurrent Programming, Parallel programming, D.3.3 [Language Constructs and Features, Concurrent programming structures General Terms, Languages, Design, Performance Additional Key Words and Phrases, Stream computing, data-flow, code generation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.596; http://www.di.ens.fr/pub/Main/OpenStream/OpenStream_TACO13.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.596
http://www.di.ens.fr/pub/Main/OpenStream/OpenStream_TACO13.pdf

ParaFlow: Fine-grained parallel SDN controller for large-scale networks.

Autoři: Song, Ping Liu, Yi Liu, Chi a další

Zdroj: Journal of Network & Computer Applications. Jun2017, Vol. 87, p46-59. 14p.

Témata: *SOFTWARE-defined networking, *QUALITY of service, *SERVER farms (Computer network management), PARALLEL computers, ROUTING (Computer network management), ELECTRIC network topology