Výsledky vyhledávání - language construction and features—concurrent programming structures

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

Formalised Composition and Interaction for Heterogeneous Structured Parallelism.

Autoři: Goli, Mehdi González-Vélez, Horacio

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

Témata: PARALLEL programming, MULTICORE processors, GRAPHICS processing units, PROGRAMMING language semantics, COMPUTER architecture

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

Autoři: Norilo, Vesa Olarte, Alejandro

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

Témata: SIGNAL processing, SELF-confidence, WORKFLOW, WOOD veneers & veneering, IDIOMS

A Survey on Reactive Programming.

Autoři: BAINOMUGISHA, ENGINEER CARRETON, ANDONI LOMBIDE CUTSEM, TOM VAN a další

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

Témata: COMPUTER programming, DEVELOPMENT of application software, PROGRAMMING languages, TIME-varying systems, TIME-varying networks

Partitioned Global Address Space Languages.

Autoři: DE WAEL, MATTIAS MARR, STEFAN DE FRAINE, BRUNO a další

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

Témata: PARALLELISM (Linguistics), COMPUTER programming, METAPHYSICS, COMMUNICATION, ONTOLOGY

Soft Concurrent Constraint Programming.

Autoři: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

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

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

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

Proof-Directed Parallelization Synthesis by Separation Logic.

Autoři: BOTINČAN, MATKO DODDS, MIKE JAGANNATHAN, SURESH

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

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

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

ASNets: Deep Learning for Generalised Planning.

Autoři: Toyer, Sam Thiébaux, Sylvie Trevizan, Felipe a další

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

Témata: DEEP learning, HEURISTIC programming, ARTIFICIAL neural networks, SCHEMAS (Psychology), SYMMETRIES (Quantum mechanics)

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

Autoři: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

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

Autoři: Angstadt, Kevin Weimer, Westley Skadron, Kevin

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

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

Autoři: Lin, Yu Dig, Danny

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

Témata: JAVA programming language, CONCURRENT error detection, THREADS (Computer programs), IDIOMS, COMPUTER programmers

Making the Java Memory Model Safe.

Autoři: LOCHBIHLER, ANDREAS

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

Témata: JAVA programming language, COMPUTER storage devices, PROGRAMMING language semantics, OBJECT-oriented programming languages, ELECTRONIC data processing

Today's TBB

Autoři: Michael J. Voss James R. Reinders

Resource Type: eBook.

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

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

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

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

Autoři: de Souza, Jovani Taveira Jesus, Rômulo Henrique Gomes de Ferreira, Mariane Bigarelli a další

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

Témata: DATA mining, NEW product development, TEXT mining, SCIENCE databases

MallobSat: Scalable SAT Solving by Clause Sharing.

Autoři: Schreiber, Dominik Sanders, Peter

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

Témata: SCALABILITY, PARALLEL processing, ITERATIVE methods (Mathematics), DISTRIBUTED computing, ELECTRONIC data processing

Object oriented programming in Concurrent Prolog.

Autoři: Shapiro, Ehud Takeuchi, Akikazu

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

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

Autoři: WELCH, PETER H. PEDERSEN, JAN B.

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

Témata: MULTICORE processors, SIMULTANEOUS multithreading processors, COMPUTER multitasking, PARALLEL processing, SOFTWARE verification, COMPUTER software correctness