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

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

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

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

Schlagwörter: LONG short-term memory, RECURRENT neural networks, ARTIFICIAL intelligence, GATE array circuits, SPEECH perception

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

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

Abstractions for safe concurrent programming in networked embedded systems

Autoren: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: General Terms Design, Experimentation, Languages, Measurement, Performance Keywords Wireless sensor networks, multi-threading, programming methodology, static

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.5201
http://www.stanford.edu/class/cs240e/papers/p167-mccartney.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

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

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

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

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

Views: Synthesizing Fine-Grained Concurrency Control

Autoren: Brian Demsky Patrick Lam The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Brian Demsky Patrick Lam The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Brian Demsky The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Brian Demsky The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

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

Functions as Passive Constraints in LIFE

Autoren: Hassan Aït-Kaci Hassan A Andreas Podelski et al.

Weitere Verfasser: Hassan Aït-Kaci Hassan A Andreas Podelski et al.

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

Schlagwörter: 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

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

Verfügbarkeit: 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

Race-free and memory-safe multithreading: Design and implementation in Cyclone

Autoren: Prodromos Gerakios Nikolaos Papaspyrou Konstantinos Sagonas et al.

Weitere Verfasser: Prodromos Gerakios Nikolaos Papaspyrou Konstantinos Sagonas et al.

Quelle: http://www.softlab.ntua.gr/~pgerakios/papers/tldi_10.pdf.

Schlagwörter: guage Constructs and Features—Concurrent programming struc- tures General Terms Design, Languages, Theory Keywords Safe multithreading, type and effect systems, region- based memory management

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.600.823; http://www.softlab.ntua.gr/~pgerakios/papers/tldi_10.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.600.823
http://www.softlab.ntua.gr/~pgerakios/papers/tldi_10.pdf

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

Autoren: T. W. Otani M. Auguston T. S. Cook et al.

Weitere Verfasser: T. W. Otani M. Auguston T. S. Cook et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

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

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

Autoren: Wang, Tianxiong Zhou, Meiyu

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

Schlagwörter: ROUGH sets, CUSTOMER satisfaction, ELECTRIC bicycles, PRODUCT design, FUZZY sets, ASSOCIATION rule mining

MallobSat: Scalable SAT Solving by Clause Sharing.

Autoren: Schreiber, Dominik Sanders, Peter

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

Schlagwörter: SCALABILITY, PARALLEL processing, ITERATIVE methods (Mathematics), DISTRIBUTED computing, ELECTRONIC data processing

Formalised Composition and Interaction for Heterogeneous Structured Parallelism.

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

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

Schlagwörter: PARALLEL programming, MULTICORE processors, GRAPHICS processing units, PROGRAMMING language semantics, COMPUTER architecture