Search Results - language (constructs OR construct) AND features—concurrent programming structures general terms*

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

Authors: Amadeo Casas The Pennsylvania State University CiteSeerX Archives

Contributors: Amadeo Casas The Pennsylvania State University CiteSeerX Archives

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

File Description: application/pdf

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

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

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

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

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

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

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

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

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

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

Today's TBB

Authors: Michael J. Voss James R. Reinders

Resource Type: eBook.

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

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

Authors: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

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

Transactional Memory: From Semantics to Silicon.

Authors: Adl-Tabatabai, Ali-Reza

Source: ICSE: International Conference on Software Engineering; 2008, p1-1, 1p

Subject Terms: SOFTWARE architecture, PARALLEL programming, COMPUTER storage devices, JAVA programming language, SOFTWARE engineering

Formalised Composition and Interaction for Heterogeneous Structured Parallelism.

Authors: Goli, Mehdi González-Vélez, Horacio

Source: International Journal of Parallel Programming; Feb2018, Vol. 46 Issue 1, p120-151, 32p

Subject Terms: PARALLEL programming, MULTICORE processors, GRAPHICS processing units, PROGRAMMING language semantics, COMPUTER architecture

MallobSat: Scalable SAT Solving by Clause Sharing.

Authors: Schreiber, Dominik Sanders, Peter

Source: Journal of Artificial Intelligence Research; 2024, Vol. 80, p1437-1495, 59p

Subject Terms: SCALABILITY, PARALLEL processing, ITERATIVE methods (Mathematics), DISTRIBUTED computing, ELECTRONIC data processing

Programmers do not favor lambda expressions for concurrent object-oriented code.

Authors: Nielebock, Sebastian Heumüller, Robert Ortmeier, Frank

Source: Empirical Software Engineering; Feb2019, Vol. 24 Issue 1, p103-138, 36p

Hardware/Software Co-Design Optimization for Training Recurrent Neural Networks at the Edge †.

Authors: Zhang, Yicheng Yin, Bojian Gomony, Manil Dev et al.

Source: Journal of Low Power Electronics & Applications; Mar2025, Vol. 15 Issue 1, p15, 26p

Subject Terms: LONG short-term memory, RECURRENT neural networks, ARTIFICIAL intelligence, GATE array circuits, SPEECH perception

Integrating rough set theory with customer satisfaction to construct a novel approach for mining product design rules.

Authors: Wang, Tianxiong Zhou, Meiyu

Source: Journal of Intelligent & Fuzzy Systems; 2021, Vol. 41 Issue 1, p331-353, 23p

Subject Terms: ROUGH sets, CUSTOMER satisfaction, ELECTRIC bicycles, PRODUCT design, FUZZY sets, ASSOCIATION rule mining

A Visual Programming Interface for Digital Luthiery: Implementing Circuits with Veneer.

Authors: Norilo, Vesa Olarte, Alejandro

Source: Computer Music Journal; Winter2020, Vol. 44 Issue 4, p8-25, 18p

Subject Terms: SIGNAL processing, SELF-confidence, WORKFLOW, WOOD veneers & veneering, IDIOMS

Soft Concurrent Constraint Programming.

Authors: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

Source: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p

Subject Terms: MATHEMATICAL logic, FORMAL languages, PROOF theory, LOGIC programming, KNOWLEDGE representation (Information theory), FORMAL language semantics, FORMALIZATION (Linguistics), METATHEORY

ASNets: Deep Learning for Generalised Planning.

Authors: Toyer, Sam Thiébaux, Sylvie Trevizan, Felipe et al.

Source: Journal of Artificial Intelligence Research; 2020, Vol. 68, p1-68, 68p

Subject Terms: DEEP learning, HEURISTIC programming, ARTIFICIAL neural networks, SCHEMAS (Psychology), SYMMETRIES (Quantum mechanics)