Search Results - language construction AND features—concurrent programming structures

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

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

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

A Survey on Reactive Programming.

Authors: BAINOMUGISHA, ENGINEER CARRETON, ANDONI LOMBIDE CUTSEM, TOM VAN et al.

Source: ACM Computing Surveys; Aug2013, Vol. 45 Issue 4, p52-52:34, 34p, 4 Diagrams, 3 Charts

Subject Terms: COMPUTER programming, DEVELOPMENT of application software, PROGRAMMING languages, TIME-varying systems, TIME-varying networks

Partitioned Global Address Space Languages.

Authors: DE WAEL, MATTIAS MARR, STEFAN DE FRAINE, BRUNO et al.

Source: ACM Computing Surveys; Jul2015, Vol. 47 Issue 4, p62:1-62:27, 27p, 3 Diagrams, 17 Charts, 1 Graph

Subject Terms: PARALLELISM (Linguistics), COMPUTER programming, METAPHYSICS, COMMUNICATION, ONTOLOGY

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

Abstractions for safe concurrent programming in networked embedded systems

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

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

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

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

File Description: application/pdf

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

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

Proof-Directed Parallelization Synthesis by Separation Logic.

Authors: BOTINČAN, MATKO DODDS, MIKE JAGANNATHAN, SURESH

Source: ACM Transactions on Programming Languages & Systems; Jul2013, Vol. 35 Issue 2, p8:1-8:60, 60p

Subject Terms: PROGRAMMING languages, SYNCHRONIZATION, COMPUTER programmers, CONFIRMATION (Logic), SOFTWARE verification, COMPUTER network resources

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

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)

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

RAPID Programming of Pattern-Recognition Processors.

Authors: Angstadt, Kevin Weimer, Westley Skadron, Kevin

Source: ACM / SIGPLAN Notices; Apr2016, Vol. 51 Issue 4, p593-605, 13p

A study and toolkit of CHECK-THEN-ACT idioms of Java concurrent collections.

Authors: Lin, Yu Dig, Danny

Source: Software Testing: Verification & Reliability; Jun2015, Vol. 25 Issue 4, p397-425, 29p

Subject Terms: JAVA programming language, CONCURRENT error detection, THREADS (Computer programs), IDIOMS, COMPUTER programmers

Making the Java Memory Model Safe.

Authors: LOCHBIHLER, ANDREAS

Source: ACM Transactions on Programming Languages & Systems; Dec2013, Vol. 35 Issue 4, p12:1-12:65, 65p

Subject Terms: JAVA programming language, COMPUTER storage devices, PROGRAMMING language semantics, OBJECT-oriented programming languages, ELECTRONIC data processing

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

Evolutionary design of neural network architectures: a review of three decades of research.

Authors: Ünal, Hamit Taner Başçiftçi, Fatih

Source: Artificial Intelligence Review; Mar2022, Vol. 55 Issue 3, p1723-1802, 80p

Subject Terms: ARTIFICIAL neural networks, EVOLUTIONARY algorithms, BIOLOGICAL evolution, EVOLUTIONARY computation, DEEP learning, MACHINE learning, CHROMOSOMES

How is the product development process supported by data mining and machine learning techniques?

Authors: de Souza, Jovani Taveira Jesus, Rômulo Henrique Gomes de Ferreira, Mariane Bigarelli et al.

Source: Technology Analysis & Strategic Management; Jul2024, Vol. 36 Issue 7, p1430-1442, 13p

Subject Terms: DATA mining, NEW product development, TEXT mining, SCIENCE databases

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

Object oriented programming in Concurrent Prolog.

Authors: Shapiro, Ehud Takeuchi, Akikazu

Source: New Generation Computing; Mar1983, Vol. 1 Issue 1, p25-48, 24p

Santa Claus: Formal Analysis of a Process-Oriented Solution.

Authors: WELCH, PETER H. PEDERSEN, JAN B.

Source: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p14-14.37, 37p, 6 Diagrams

Subject Terms: MULTICORE processors, SIMULTANEOUS multithreading processors, COMPUTER multitasking, PARALLEL processing, SOFTWARE verification, COMPUTER software correctness