Suchergebnisse - language construct and features—concurrent programming structures general terms*

Compositional parallel programming languages

Autoren: Ian Foster The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Ian Foster The Pennsylvania State University CiteSeerX Archives

Quelle: http://info.mcs.anl.gov/pub/tech_reports/reports/P354.pdf.

Schlagwörter: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classica- tions|Concurrent, distributed, and parallel languages, D.3.3 [Programming Languages, Lan- guage Constructs and Features|Concurrent programming structures General Terms, Languages Additional Key Words and Phrases, Compositionality

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.1559; http://info.mcs.anl.gov/pub/tech_reports/reports/P354.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.1559
http://info.mcs.anl.gov/pub/tech_reports/reports/P354.pdf

Language Constructs and Features—Concurrent Programming Structures General Terms Performance, Languages

Autoren: Amadeo Casas The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Amadeo Casas The Pennsylvania State University CiteSeerX Archives

Quelle: http://clip.dia.fi.upm.es/papers/andprolog-new-pasco2007.pdf.

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4542
http://clip.dia.fi.upm.es/papers/andprolog-new-pasco2007.pdf

Eliminating read barriers through procrastination and cleanliness

Autoren: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan et al.

Weitere Verfasser: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan et al.

Quelle: http://www.cs.purdue.edu/homes/suresh/papers/ismm12.pdf.

Schlagwörter: Categories and Subject Descriptors D.4.2 [Operating Systems, Storage Management – Allocation/Deallocation strategies, Garbage collection, D.3.3 [Programming Languages, Language Constructs and Features – Concurrent programming structures General Terms Algorithms, Design, Experimentation, Management, Measurement, Performance Keywords barrier elimination, private heaps, parallel and concurrent collection

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.4789; http://www.cs.purdue.edu/homes/suresh/papers/ismm12.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.4789
http://www.cs.purdue.edu/homes/suresh/papers/ismm12.pdf

Composable Asynchronous Events

Autoren: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan et al.

Weitere Verfasser: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan et al.

Quelle: http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf.

Schlagwörter: Categories and Subject Descriptors, D.1.1 [Programming Techniques] Applicative (functional) programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.2 [Programming Languages, Language Classifications- Concurrent, distributed, and parallel languages, ML, D.3.3 [Programming Languages, Language Constructs and Features- Concurrent programming structures General Terms, Design, Languages, Theory Keywords, Asynchrony, Concurrent ML, First-Class Events, Composability, Message-Passing

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2953; http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2953
http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf

Task Dependence and Termination in Ada

Autoren: Laura K. Dillon The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Laura K. Dillon The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cse.msu.edu/~ldillon/Sel_pubs/taskDependenceAndTerminationInAda.pdf.

Schlagwörter: Language Constructs and Features—concurrent programming structures General Terms, Languages Additional Key Words and Phrases, Ada tasking, distributed termination, master/dependent relation

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.1790; http://www.cse.msu.edu/~ldillon/Sel_pubs/taskDependenceAndTerminationInAda.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.1790
http://www.cse.msu.edu/~ldillon/Sel_pubs/taskDependenceAndTerminationInAda.pdf

AVerifying Custom Synchronisation Constructs Using Higher-Order Separation Logic

Autoren: Mike Dodds The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Mike Dodds The Pennsylvania State University CiteSeerX Archives

Quelle: http://www-users.cs.york.ac.uk/~miked/publications/verifying_custom_sync_constructs.pdf.

Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Program Verification—Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Separation Logic, Concurrent Abstract Predicates, Concurrency

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.465.6785
http://www-users.cs.york.ac.uk/~miked/publications/verifying_custom_sync_constructs.pdf

Enabling MPI Interoperability Through Flexible Communication Endpoints

Autoren: James Dinan Pavan Balaji David Goodell et al.

Weitere Verfasser: James Dinan Pavan Balaji David Goodell et al.

Quelle: http://www.mcs.anl.gov/~thakur/papers/endpoints.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—Concurrent programming structures General Terms Design, Performance Keywords MPI, Interoperability, Endpoints, Hybrid Parallel Programming

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.9184; http://www.mcs.anl.gov/~thakur/papers/endpoints.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.9184
http://www.mcs.anl.gov/~thakur/papers/endpoints.pdf

Poster – High-Level, One-Sided Models on MPI: A Case Study with Global Arrays and NWChem

Autoren: James Dinan Pavan Jeff R. Hammond Sriram Krishnamoorthy et al.

Weitere Verfasser: James Dinan Pavan Jeff R. Hammond Sriram Krishnamoorthy et al.

Quelle: http://www.mcs.anl.gov/~balaji/pubs/2011/sc/sc11.armci-mpi.pdf.

Schlagwörter: Categories and Subject Descriptors, D.1.3 [Programming Tech- niques, Concurrent Programming – Parallel programming, D.3.3 [Programming Languages, Language Constructs and Features– Concurrent programming structures General Terms, Design, Performance Keywords, One-sided Communication, MPI, GA, ARMCI, PGAS

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.8777
http://www.mcs.anl.gov/~balaji/pubs/2011/sc/sc11.armci-mpi.pdf

TBD A Transactional Memory with Automatic Performance Tuning

Autoren: Qingping Wang Sameer Kulkarni The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Qingping Wang Sameer Kulkarni The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.eecis.udel.edu/~cavazos/hipeac-2012.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—Concurrent Programming Structures General Terms, Algorithms, Design, Performance Additional Key Words and Phrases, Atomicity, Serializability, Synchronization, Dynamic Adaptivity, Machine Learning ACM Reference Format

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7020
http://www.eecis.udel.edu/~cavazos/hipeac-2012.pdf

A Proof-Directed Parallelization Synthesis by Separation Logic

Autoren: Matko Botinčan The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Matko Botinčan The Pennsylvania State University CiteSeerX Archives

Quelle: http://www-users.cs.york.ac.uk/%7Emiked/publications/proof-directed_synthesis.pdf.

Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Program Verification—Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Separation Logic, Abduction, Frame Inference, Deterministic Parallelism

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.5733
http://www-users.cs.york.ac.uk/%7Emiked/publications/proof-directed_synthesis.pdf

Pro TBB : C++ Parallel Programming with Threading Building Blocks

Autoren: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

Schlagworte: Computer science, Computer software, Data structures (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Today's TBB

Autoren: Michael J. Voss James R. Reinders

Resource Type: eBook.

Schlagworte: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Coordination Models and Languages : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held As Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Autoren: Simon Bliudze Laura Bocchi

Resource Type: eBook.

Schlagworte: Software engineering, Computer engineering, Computer networks, Artificial intelligence, Compilers (Computer programs)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

Bash Quick Start Guide : Get up and Running with Shell Scripting with Bash

Autoren: Tom Ryder

Resource Type: eBook.

Categories: COMPUTERS / System Administration / General, COMPUTERS / Computer Architecture, COMPUTERS / System Administration / Linux & UNIX Administration

On Objects and Events

Autoren: Patrick Th. Eugster Rachid Guerraoui Christian Heide Damm et al.

Weitere Verfasser: Patrick Th. Eugster Rachid Guerraoui Christian Heide Damm et al.

Quelle: http://www.daimi.aau.dk/~damm/writings/oopsla2001.pdf.

Schlagwörter: type, publish/subscribe, event, linguistic support

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2426; http://www.daimi.aau.dk/~damm/writings/oopsla2001.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2426
http://www.daimi.aau.dk/~damm/writings/oopsla2001.pdf

Categories and Subject Descriptors: D.1.3 [Programming Techniques]: Concurrent Programming--parallel programming; D.3.2 [Programming Languages]: Language Constructs and Features--concurrent programming structures

Autoren: The Design The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: The Design The Pennsylvania State University CiteSeerX Archives

Quelle: http://www-suif.stanford.edu/papers/rinard98.ps.

Schlagwörter: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages

Dateibeschreibung: application/postscript

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.6954
http://www-suif.stanford.edu/papers/rinard98.ps

Categories and Subject Descriptors: D.1.3 [Programming Techniques]: Concurrent Programming--parallel programming; D.3.2 [Programming Languages]: Language Constructs and Features--concurrent programming structures

Autoren: The Design The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: The Design The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cag.csail.mit.edu/~rinard/paper/toplas98.ps.

Schlagwörter: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.5739; http://www.cag.csail.mit.edu/~rinard/paper/toplas98.ps

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.5739
http://www.cag.csail.mit.edu/~rinard/paper/toplas98.ps

Status Report: The Manicore Project

Autoren: Matthew Fluet Nic Ford Mike Rainey et al.

Weitere Verfasser: Matthew Fluet Nic Ford Mike Rainey et al.

Quelle: http://people.cs.uchicago.edu/~jhr/papers/2007/ml-manticore.pdf.

Schlagwörter: parallel languages, Applicative (functional) languages, D.3.3 [Programming Languages, Language Constructs and Features — Concurrent programming structures, D.3.4 [Programming Languages, Processors — Compilers, Run-time environments General Terms Keywords

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.7408
http://people.cs.uchicago.edu/~jhr/papers/2007/ml-manticore.pdf

Modern concurrency abstraction for C

Autoren: Nick Benton Luca Cardelli The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Nick Benton Luca Cardelli The Pennsylvania State University CiteSeerX Archives

Quelle: http://research.microsoft.com/en-us/um/people/nick/polyphony/polyphonytoplas-pdf.pdf.

Schlagwörter: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, D.3.2 [Programming Languages, Lan- guage Classifications—Concurrent, distributed and parallel languages, Object-oriented languages, D.3.4 [Programming Languages, Processors—Compilers, D.1.3 [Programming Tech- niques, Concurrent Programming General Terms, Design, Languages Additional Key Words and Phrases, Asynchrony, chords, events, join calculus, messages, poly- phonic C, synchronization, threads Contents

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.631.5800
http://research.microsoft.com/en-us/um/people/nick/polyphony/polyphonytoplas-pdf.pdf

Ambiance: adaptive object modelbased platform for macroprogramming sensor networks

Autoren: Reza Razavi Kirill Mechitov Jean-françois Perrot et al.

Weitere Verfasser: Reza Razavi Kirill Mechitov Jean-françois Perrot et al.

Quelle: http://pdf.aminer.org/000/305/902/object_models_for_model_based_applications.pdf.

Schlagwörter: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-oriented Programming – metalevel architec- tures, D.3.2 [Programming Languages, Language Classifica- tions – Specialized application languages, D.3.3 [Programming Languages, Language Constructs and Features – Concurrent programming structures, D.3.4 [Programming Languages, Processors – Code generation, Runtime environments. General Terms Design, Languages, Verification, Reliability. Keywords Sensor Networks, Actors, Adaptive Object-Models 1. Ambient Intelligence and Sensor Networks

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.1325; http://pdf.aminer.org/000/305/902/object_models_for_model_based_applications.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.1325
http://pdf.aminer.org/000/305/902/object_models_for_model_based_applications.pdf