• Suche: "Non blocking algorithm"

Treffer 1 - 11 von 11

1

Proving a Non-Blocking Algorithm for Process Renaming with TLA+
Hurault, Aurélie ; Quéinnec, Philippe ; Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE) ; et al.
13th International Conference on Tests and Proofs (TAP 2019). :147-166

Porto, Portugal TLA+ Non-blocking algorithm Formal verification [INFO.INFO-ES]Computer S... Embedded Systems …
Konferenz
Zu den Favoriten
2

A Non-blocking Buddy System for Scalable Memory Allocation on Multi-core Machines
Marotta, Romolo ; Ianni, Mauro ; Scarselli, Andrea ; et al.

Buddy system Memory allocator Non blocking algorithm Shared memory synchroniz...
Konferenz
Zu den Favoriten
3

A Conflict-Resilient Lock-Free Calendar Queue for Scalable Share-Everything PDES Platforms
MAROTTA, ROMOLO ; IANNI, MAURO ; PELLEGRINI, ALESSANDRO ; et al.

Parallel Discrete Event... Non-Blocking Algorithm Priority Queue
Konferenz
Zu den Favoriten
4

Revocable locks for non-blocking programming
HARRIS, Tim ; FRASER, Keir
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :72-82

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
5

Composable memory transactions
HARRIS, Tim ; MARLOW, Simon ; JONES, Simon Peyton ; et al.
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :48-60

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
6

A Lock-Free O(1) Event Pool and Its Application to Share-Everything PDES Platforms
MAROTTA, ROMOLO ; IANNI, MAURO ; PELLEGRINI, ALESSANDRO ; et al.

Non-blocking algorithm Parallel Discrete Event... PDES Pending Event Set Priority Queue Shared-Memory
Konferenz
Zu den Favoriten
7

A pragmatic implementation of non-blocking linked-lists
HARRIS, Timothy L
DISC 2001 : distributed computing (Lisbon, 3-5 October 2001)Lecture notes in computer science. :300-314

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
8

Transparent Speculative Parallelization of Discrete Event Simulation Applications Using Global Variables
PELLEGRINI, ALESSANDRO ; Peluso, Sebastiano ; QUAGLIA, Francesco ; et al.

Discrete event applicati... Multi-version scheme Non-blocking algorithm Parallel simulation Speculative computing Software …
Fachzeitschrift
Zu den Favoriten
9

Wait-Free Global Virtual Time Computation in Shared Memory Time-Warp Systems
PELLEGRINI, ALESSANDRO ; QUAGLIA, Francesco ; Pellegrini, Alessandro ; et al.

Parallel Discrete Event... Non-Blocking Algorithm Global Virtual Time
Konferenz
Zu den Favoriten
10

FastFlow (v2.1)
ALDINUCCI, MARCO ; Massimo Torquati ; Marco Aldinucci ; et al.

Distributed computing multi-core many-core GPGPU parallel programming streaming …
Zu den Favoriten
11

FastFlow (v2.0)
ALDINUCCI, MARCO ; Massimo Torquati ; Marco Aldinucci ; et al.

Distributed computing multi-core many-core GPGPU parallel programming streaming …
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter