Výsledky vyhledávání - language construct and features—concurrent programming structures general terms design*

Eliminating read barriers through procrastination and cleanliness

Autoři: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan a další

Přispěvatelé: Kc Sivaramakrishnan Lukasz Ziarek Suresh Jagannathan a další

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

Témata: 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

Popis souboru: 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

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

Autoři: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a další

Přispěvatelé: Lukasz Ziarek Kc Sivaramakrishnan Suresh Jagannathan a další

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

Témata: 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

Popis souboru: 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

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

Autoři: Laura K. Dillon The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Laura K. Dillon The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: 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

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

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

Autoři: Zhang, Yicheng Yin, Bojian Gomony, Manil Dev a další

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

Témata: LONG short-term memory, RECURRENT neural networks, ARTIFICIAL intelligence, GATE array circuits, SPEECH perception

Enabling MPI Interoperability Through Flexible Communication Endpoints

Autoři: James Dinan Pavan Balaji David Goodell a další

Přispěvatelé: James Dinan Pavan Balaji David Goodell a další

Zdroj: http://www.mcs.anl.gov/~thakur/papers/endpoints.pdf.

Témata: 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

Popis souboru: 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

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

Autoři: James Dinan Pavan Jeff R. Hammond Sriram Krishnamoorthy a další

Přispěvatelé: James Dinan Pavan Jeff R. Hammond Sriram Krishnamoorthy a další

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

Témata: 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

Popis souboru: application/pdf

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

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

Autoři: Qingping Wang Sameer Kulkarni The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Qingping Wang Sameer Kulkarni The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.eecis.udel.edu/~cavazos/hipeac-2012.pdf.

Témata: 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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7020
http://www.eecis.udel.edu/~cavazos/hipeac-2012.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

Autoři: The Design The Pennsylvania State University CiteSeerX Archives

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

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

Témata: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages

Popis souboru: application/postscript

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

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

Autoři: The Design The Pennsylvania State University CiteSeerX Archives

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

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

Témata: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages

Popis souboru: 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

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

Modern concurrency abstraction for C

Autoři: Nick Benton Luca Cardelli The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Nick Benton Luca Cardelli The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

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

Autoři: Reza Razavi Kirill Mechitov Jean-françois Perrot a další

Přispěvatelé: Reza Razavi Kirill Mechitov Jean-françois Perrot a další

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

Témata: 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

Popis souboru: 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

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

Status Report: The Manicore Project

Autoři: Matthew Fluet Nic Ford Mike Rainey a další

Přispěvatelé: Matthew Fluet Nic Ford Mike Rainey a další

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

Témata: 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

Popis souboru: application/pdf

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

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

Views: Synthesizing Fine-Grained Concurrency Control

Autoři: Brian Demsky Patrick Lam The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Brian Demsky Patrick Lam The Pennsylvania State University CiteSeerX Archives

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

Témata: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming, D.2.4 [Software Engineering, Software/Program Verification—Reliability General Terms, Languages, Design, Reliability Additional Key Words and Phrases, concurrency, language design, static verification

Popis souboru: application/pdf

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

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

A Views: Synthesizing Fine-Grained Concurrency Control

Autoři: Brian Demsky The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Brian Demsky The Pennsylvania State University CiteSeerX Archives

Zdroj: http://patricklam.ca/papers/11.tosem.views.pdf.

Témata: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming, D.2.4 [Software Engineering, Software/Program Verification—Reliability General Terms, Languages, Design, Reliability Additional Key Words and Phrases, concurrency, language design, static verification ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.227.9302; http://patricklam.ca/papers/11.tosem.views.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.227.9302
http://patricklam.ca/papers/11.tosem.views.pdf

Abstractions for safe concurrent programming in networked embedded systems

Autoři: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.stanford.edu/class/cs240e/papers/p167-mccartney.pdf.

Témata: General Terms Design, Experimentation, Languages, Measurement, Performance Keywords Wireless sensor networks, multi-threading, programming methodology, static

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.5201
http://www.stanford.edu/class/cs240e/papers/p167-mccartney.pdf

A On the expressive power of multiple heads in CHR

Autoři: Cinzia Di Giusto Inria Rhône Alpes The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cinzia Di Giusto Inria Rhône Alpes The Pennsylvania State University CiteSeerX Archives

Zdroj: http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation— Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs— Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, expressiveness, language embedding, multiset rewriting systems

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.8284; http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.8284
http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf

On the expressive power of multiple heads in CHR

Autoři: Cinzia Di Giusto Maurizio Gabbrielli The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cinzia Di Giusto Maurizio Gabbrielli The Pennsylvania State University CiteSeerX Archives

Zdroj: http://arxiv.org/pdf/0804.3351v2.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation—Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, Language embedding, Expressiveness, Multiset Rewriting Systems

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9709; http://arxiv.org/pdf/0804.3351v2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9709
http://arxiv.org/pdf/0804.3351v2.pdf

On the expressive power of multiple heads in CHR

Autoři: Cinzia Di Giusto Maurizio Gabbrielli The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cinzia Di Giusto Maurizio Gabbrielli The Pennsylvania State University CiteSeerX Archives

Zdroj: http://arxiv.org/pdf/0804.3351v3.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation—Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, Language embedding, Expressiveness, Multiset Rewriting Systems

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.7945; http://arxiv.org/pdf/0804.3351v3.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.7945
http://arxiv.org/pdf/0804.3351v3.pdf

Functions as Passive Constraints in LIFE

Autoři: Hassan Aït-Kaci Hassan A Andreas Podelski a další

Přispěvatelé: Hassan Aït-Kaci Hassan A Andreas Podelski a další

Zdroj: http://www.isg.sfu.ca/ftp/pub/hak/publish/toplas94.ps.gz.

Témata: General terms, Design, Languages Additional Key Words and Phrases, terms, committed-choice languages, concurrent constraint programming, coroutining, first-order terms, matching, relative simplification, residuation, unification

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.5489; http://www.isg.sfu.ca/ftp/pub/hak/publish/toplas94.ps.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.5489
http://www.isg.sfu.ca/ftp/pub/hak/publish/toplas94.ps.gz

A design pattern for using non-developmental items in real-time Java

Autoři: T. W. Otani M. Auguston T. S. Cook a další

Přispěvatelé: T. W. Otani M. Auguston T. S. Cook a další

Zdroj: http://faculty.nps.edu/ddrusins/Documents/R-Conf23.pdf.

Témata: D.3.3 [Programming Languages, Language Constructs and Features- concurrent programming structures, patterns, control structures. General Terms Measurement, Performance, Design, Experimentation, Languages. Keywords Real-time system, Java programming language, Garbage collection, Design pattern, Non-developmental items

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.528.7818
http://faculty.nps.edu/ddrusins/Documents/R-Conf23.pdf