Temat: concurrency - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Type-driven development of concurrent communicating systems
Autorzy:: Brady, E.
Data publikacji:: 2017
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: dependent types
domain specific languages
verification
concurrency; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Adding parallelism to sequential programs : a combined method
Autorzy:: Daszczuk, Wiktor B.
Czejdo, Danny B.
Grześkowiak, Wojciech
Data publikacji:: 2024
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:: programming languages
algorithms
concurrency
parallelism
parallel programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Visualisation of concurrent processes
Autorzy:: Mikulski, Ł
Piątkowski, M.
Data publikacji:: 2013
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: concurrency
partial order
Hasse diagram
directed acyclic graph
linearisation
Mazurkiewicz traces; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Using erlang in research and education in a technical university
Autorzy:: Petrov, I.
Alexeyenko, A.
Ivanova, G.
Data publikacji:: 2018
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: parallel programming
distributed programming
teaching
graph theory
concurrency
recursion
survey
functional programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Designing multithreaded software based on concurrency in the problem domain
Autorzy:: Sanden, Bo I.
Data publikacji:: 2021
Wydawca:: Politechnika Gdańska
Tematy:: concurrency
event-driven software
event sequence
reactive software
thread architecture
threading
konkurencja
oprogramowanie sterowane zdarzeniami
sekwencja zdarzeń
oprogramowanie reaktywne
architektura
nawlekanie; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Strategie niskopoziomowego programowania współbieżnego platformy .NET
Strategies for low-level concurrent programming of the .NET framework
Autorzy:: Wichary, P.
Jóźwiak, I.
Szczepanik, M.
Data publikacji:: 2017
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: programowanie współbieżne
współbieżność
problem wzajemnego wykluczania
współzawodnictwo
semafor
monitor
operacje atomowe
zagłodzenie
zakleszczenie
wątek
concurrent programming
concurrency
mutual exclusion problem
semaphore
atomic operations
starvation
deadlock
thread; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja