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

  • Zobrazuji výsledky 1 - 5 z 5
Upřesnit hledání
  1. 1

    Lwt: a cooperative thread library

    Autoři: Vouillon, Jérôme Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)

    Přispěvatelé: Vouillon, Jérôme Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)

    Zdroj: Proceedings of the 2008 ACM SIGPLAN workshop on ML ; Workshop on ML ; https://hal.science/hal-00495983 ; Workshop on ML, 2008, Victoria, Canada. pp.3-12, ⟨10.1145/1411304.1411307⟩

    Témata: Thread, Concurrency, Networking, Programming, Implementation, Monad, Objective Caml, ML, Categories and Subject Descriptors: D.1.1 [PROGRAMMING TECHNIQUES]: Applicative (Functional) Programming, D.1.3 [PROGRAMMING TECHNIQUES]: Concurrent Programming, D.3.3 [PROGRAMMING LANGUAGES]: Language Constructs and Features—Concurrent programming struct, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geografické téma: Victoria

    Time: Victoria, Canada

    Dostupnost: https://hal.science/hal-00495983
    https://doi.org/10.1145/1411304.1411307

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    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

    Přidat do oblíbených
  4. 4

    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

    Přidat do oblíbených
  5. 5

    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

    Přidat do oblíbených

Vyhledávací nástroje: