• Suche: Synchronization algorithms and concurrent programming

Treffer 1 - 20 von 24.559

2

From Monitors to Monitors: A Primitive History
Astarte, Troy K ; Astarte, Troy K

Fachzeitschrift
Merkliste
3

Support for Implementation of Evolutionary Concurrent Systems.
Pandey, Raju ; Browne, James C.
International Journal of Parallel Programming. Aug2001, Vol. 29 Issue 4, p401-431. 31p.

Fachzeitschrift
Merkliste
4

A Linearizability-based Hierarchy for Concurrent Specifications: Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects.
CASTAÑEDA, ARMANDO ; RAJSBAUM, SERGIO ; RAYNAL, MICHEL
Communications of the ACM. Jan2023, Vol. 66 Issue 1, p86-97. 12p. 1 Color Photograph, 7 Diagrams, 5 Charts, 1 Graph.

Zeitschrift
Merkliste
5

Democratizing Transactional Programming.
GRAMOLI, VINCENT ; GUERRAOUI, RACHID
Communications of the ACM. Jan2014, Vol. 57 Issue 1, p86-93. 8p. 1 Color Photograph, 2 Diagrams, 3 Graphs.

Zeitschrift
Merkliste
6

Distributed Optimal Attitude Synchronization Control of Multiple QUAVs via Adaptive Dynamic Programming.
Guo Z ; Li H ; Ma H ; et al.
Publisher: Institute of Electrical and Electronics Engineeers Country of Publication: United States NLM ID: 101616214 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2162-2388 (Electronic) Linking ISSN: 2162237X NLM ISO Abbreviation: IEEE Trans Neural Netw Learn Syst Subsets: PubMed not MEDLINE; MEDLINE

Fachzeitschrift
Merkliste
7

Book review of synchronization algorithms and concurrent programming by Gadi Taubenfeld (Pearson/Prentice Hall, 2006)
Hendler, Danny
ACM SIGACT News ; volume 40, issue 1, page 47-50 ; ISSN 0163-5700

Fachzeitschrift
Merkliste
8

Yet Another Simple Solution for the Concurrent Programming Control Problem.
Aravind, Alex A.
IEEE Transactions on Parallel & Distributed Systems. 06/01/2011, Vol. 22 Issue 6, p1056-1063. 0p.

Fachzeitschrift
Merkliste
9

Synch: A framework for concurrent data-structures and benchmarks
Kallimanis, Nikolaos D.

Computer Science - Distr... Computer Science - Data...
Report
Merkliste
10

STRATEGIE NISKOPOZIOMOWEGO PROGRAMOWANIA WSPÓŁBIEŻNEGO PLATFORMY .NET.
WICHARY, Paweł ; JÓŹWIAK, Ireneusz J. ; SZCZEPANIK, Michał
Scientific Papers of Silesian University of Technology. Organization & Management / Zeszyty Naukowe Politechniki Slaskiej. Seria Organizacji i Zarzadzanie. 2017, Issue 113, p517-527. 11p.

Fachzeitschrift
Merkliste
11

Tracking runtime concurrent dependences in java threads using thread control profiling.
Wang, Lulu ; Li, Jingyue ; Li, Bixin
Journal of Systems & Software. Feb2019, Vol. 148, p116-131. 16p.

Fachzeitschrift
Merkliste
12

Runtime Analysis of Atomicity for Multithreaded Programs.
Wang, Liqiang ; Stoller, Scott D.
IEEE Transactions on Software Engineering. Feb2006, Vol. 32 Issue 2, p93-110. 18p. 2 Diagrams, 11 Charts.

Fachzeitschrift
Merkliste
13

Precise slicing of concurrent programs: An Evaluation of static slicing algorithms for concurrent programs.
Giffhorn, Dennis ; Hammer, Christian
Automated Software Engineering; Jun2009, Vol. 16 Issue 2, p197-234, 38p, 1 Chart, 1 Graph

COMPUTER multitasking COMPUTER programming ALGORITHMS SYSTEMS development JAVA programming languag... DYNAMIC programming …
Fachzeitschrift
Merkliste
14

Erlang for Concurrent Programming.
LARSON, JIM
Communications of the ACM. Mar2009, Vol. 52 Issue 3, p48-56. 9p. 1 Color Photograph, 5 Diagrams.

Zeitschrift
Merkliste
15

Dieses Ergebnis kann Gästen nicht angezeigt werden.

16

Concurrent Programming Without Locks.
Fraser, Keir ; Harris, Tim
ACM Transactions on Computer Systems. May2007, Vol. 25 Issue 2, Special section p1-61. 61p. 9 Diagrams, 1 Chart, 6 Graphs.

Fachzeitschrift
Merkliste
17

DHash: Dynamic Hash Tables With Non-Blocking Regular Operations.
Wang, Junchang ; Liu, Dunwei ; Fu, Xiong ; et al.
IEEE Transactions on Parallel & Distributed Systems. Dec2022, Vol. 33 Issue 12, p3274-3290. 17p.

Fachzeitschrift
Merkliste
18

Using wait-free synchronization in the design of distributed applications
Berrios, Joseph S. ; Bermudez, Manuel E.
Future Generation Computer Systems. Jan2006, Vol. 22 Issue 1/2, p46-56. 11p.

Fachzeitschrift
Merkliste
19

C++ : The Comprehensive Guide
Rheinwerk Publishing, Inc ; Torsten T. Will ; Rheinwerk Publishing, Inc ; et al.

Buch
Merkliste
20

Implementation of an Orchestration Language as a Haskell Domain Specific Language
Campos, Marco Devesas ; Barbosa, L.S.
ENTCS: Electronic Notes in Theoretical Computer Science. Nov2009, Vol. 255, p45-64. 20p.

Haskell (Computer progra... Programming languages Calculus Algorithms Computer science Synchronization …
Zeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter