Search Results - "Language Constructs and Features—Concurrent programming structures General Terms"

  • Showing 1 - 8 results of 8
Refine Results
  1. 1

    Eliminating read barriers through procrastination and cleanliness

    Authors: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan et al.

    Contributors: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan et al.

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

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

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Composable Asynchronous Events

    Authors: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan et al.

    Contributors: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan et al.

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

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

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Task Dependence and Termination in Ada

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

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

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

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

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    Enabling MPI Interoperability Through Flexible Communication Endpoints

    Authors: James Dinan Pavan Balaji David Goodell et al.

    Contributors: James Dinan Pavan Balaji David Goodell et al.

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

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  5. 5

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

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

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

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

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

    File Description: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  6. 6

    AVerifying Custom Synchronisation Constructs Using Higher-Order Separation Logic

    Authors: Mike Dodds The Pennsylvania State University CiteSeerX Archives

    Contributors: Mike Dodds The Pennsylvania State University CiteSeerX Archives

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

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

    File Description: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    TBD A Transactional Memory with Automatic Performance Tuning

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

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

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

    File Description: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  8. 8

    A Proof-Directed Parallelization Synthesis by Separation Logic

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

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

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

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

    File Description: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: