Temat: parallel processes - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: The use of Petri Nets for inclusive education IT-support
Autorzy:: Shestakevych, T.
Pasichnyk, V.
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:: inclusive education
persons with special needs
Petri nets
parallel processes
information technology; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: The use of Petri Nets for inclusive education IT-support
Autorzy:: Shestakevych, T.
Pasichnyk, V.
Data publikacji:: 2015
Słowa kluczowe:: inclusive education
persons with special needs
Petri nets
parallel processes
information technology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Zrównoleglanie algorytmów sterowania w systemach klasy PLC
Autorzy:: Andrzejewski, G.
Skowroński, Z.
Data publikacji:: 2006
Słowa kluczowe:: procesy współbieżne
interpretowane sieci Petriego
systemy PLC
parallel processes
interpreted Petri nets
PLC systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Efekty wzbogacania węgla energetycznego w dwóch równoległych osadzarkach
Autorzy:: Pielot, J.
Data publikacji:: 2010
Słowa kluczowe:: wzbogacanie węgla w osadzarkach
sterowanie procesami technologicznymi
optymalizacja produkcji
wzbogacanie równoległe
coal jigging
control of technological processes
optimization of coal preparation processes
parallel processes of coal separation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Efekty wzbogacania węgla energetycznego w dwóch równoległych osadzarkach
Effects of power coal preparation in two parallel jigs
Autorzy:: Pielot, J.
Data publikacji:: 2010
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: wzbogacanie węgla w osadzarkach
sterowanie procesami technologicznymi
optymalizacja produkcji
wzbogacanie równoległe
coal jigging
control of technological processes
optimization of coal preparation processes
parallel processes of coal separation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Behaviour Algebras
Autorzy:: Winkowski, J.
Data publikacji:: 2007
Słowa kluczowe:: processes
states
sequential composition
parallel composition
category
partial monoid
structures; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Behaviour algebras
Autorzy:: Winkowski, J.
Data publikacji:: 2006
Słowa kluczowe:: sequential composition
processes
states
parallel composition
category
partial monoid
structure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Behaviour Abstraction for Communicating Sequential Processes
Autorzy:: Koutny, M.
Pappalardo, G.
Data publikacji:: 2001
Słowa kluczowe:: theory of parallel and distributed computation
behaviour abstraction
communicating sequential processes
compositionality; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Implementation of parallel algorithm of computations of dynamic processes in cluster systems
Autorzy:: Byczkowska-Lipińska, L.
Stakhiv, P.
Cegielski, M.
Data publikacji:: 2010
Słowa kluczowe:: równoległe obliczenia
procesy dynamiczne
systemy klastrowe
diakoptyka
parallel computation
dynamic processes
cluster
diakoptic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Towards a Framework for Modelling Behaviours of Hybrid Systems
Autorzy:: Winkowski, J.
Data publikacji:: 2007
Słowa kluczowe:: hibrid systems
processes
states
sequential composition
parallel composition
category
partial monoid
structure
random behaviour; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Relating Communicating Processes with Different Interfaces
Autorzy:: Burton, J.
Koutny, M.
Pappalardo, G.
Data publikacji:: 2004
Słowa kluczowe:: theory of parallel and distributed computation
behaviour abstraction
refinement
communicating sequential processes
compositionality
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Effect of in series and in parallel flow heater configuration of solar heat system for industrial processes
Autorzy:: Ghabour, Rajab
Korzenszky, Péter
Data publikacji:: 2021-12-29
Wydawca:: Akademia Tarnowska
Tematy:: solar thermal
industrial processes
in series
in parallel
process heat
energia słoneczna
proces przemysłowy
równoległość
szereg
ciepło technologiczne; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Effect of in series and in parallel flow heater configuration of solar heat system for industrial processes
Autorzy:: Ghabour, Rajab
Korzenszky, Péter
Data publikacji:: 2021
Słowa kluczowe:: solar thermal
industrial processes
in series
in parallel
process heat
energia słoneczna
proces przemysłowy
równoległość
szereg
ciepło technologiczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Metonymic relations : from determinacy to indeterminacy
Autorzy:: Piskorska, Agnieszka
Jodłowiec, Maria
Data publikacji:: 2020
Wydawca:: John Benjamins Publishing Company
Słowa kluczowe:: non- paraphrasability
metonymy
comprehension heuristic
inferential processes
semantic indeterminacy
shallow processing
mutual parallel adjustment
vagueness
non-lexicalized concepts
free enrichment; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: An axiomatic characterization of algebras of processes of Petri Nets
Autorzy:: Winkowski, J.
Data publikacji:: 2005
Słowa kluczowe:: sieci Petriego
stany
procesy
składanie sekwencyjne
składanie równoległe
kategoria
struktura monoidalna
Petri nets
processes
sequential composition
parallel composition
category
monoidal structure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Towards a framework for modelling systems with rich internal structures of states and processes
Autorzy:: Winkowski, J.
Data publikacji:: 2004
Słowa kluczowe:: systemy rozproszone
systemy obiektowo zorientowane
procesy
składanie sekwencyjne
składanie równoległe
kategoria
niezależność
distributed systems
object-oriented systems
processes
sequential composition
parallel composition
category
independence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: PSF - A Retrospective
Autorzy:: Veltin, G.J.
Data publikacji:: 2010
Słowa kluczowe:: process algebras
algebraic data types
concurrency
parallel systems
formal specifications
ACP
ASF
PSF
Algebra of Communicating Processes
Process Specification Formalism
Algebraic Specification Formalism; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "parallel processes" wg kryterium: Temat