Výsledky vyhledávání - d.3.3 [programming languages]: language construction and features—concurrent programming struct*

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

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

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

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

Views: Object-Inspired Concurrency Control.

Autoři: Demsky, Brian Lam, Patrick

Zdroj: ICSE: International Conference on Software Engineering; 2010, p395-404, 10p, 11 Diagrams

Témata: COMPUTER software, EMAIL, DEBUGGING, ELECTRONIC data processing

What Every Engineer Should Know About Software Engineering

Autoři: Phillip A. Laplante Mohamad Kassab

Resource Type: eBook.

Témata: Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, MATHEMATICS / General, TECHNOLOGY & ENGINEERING / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Engineering (General), TECHNOLOGY & ENGINEERING / Materials Science / General

GPU Solutions to Multi-scale Problems in Science and Engineering

Autoři: David A. Yuen Long Wang Xuebin Chi a další

Resource Type: eBook.

Témata: Multivariate analysis--Data processing--Congresses, High performance computing--Congresses, Graphics processing units--Congresses

Categories: MATHEMATICS / Numerical Analysis, SCIENCE / Chemistry / Physical & Theoretical, SCIENCE / Physics / Geophysics, SCIENCE / Mechanics / Solids