Temat: state explosion - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "state explosion" wg kryterium: Temat

Wyświetlanie 1-10 z 13

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Avoiding Irreducible CSC Conflicts by Internal Communication
Autorzy:: Wist, D.
Wollowski, R.
Schaefer, M.
Vogler, W.
Data publikacji:: 2009
Słowa kluczowe:: STG
decomposition
state-space explosion
CSC
resynthesis
handshake; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Modeling and analysis for optimal scheduling of a biodiesel batch-plant: strategies for tackling complexity
Autorzy:: Amir, M. F.
Hanisch, H. M.
Data publikacji:: 2011
Słowa kluczowe:: kontrola
strategia
optymalizacja
process control
batch-plant
complexity
state explosion
optimization
control strategy; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Concurrent systems modeling with CCL
Modelowanie systemu w CCL
Autorzy:: Kułakowski, K.
Data publikacji:: 2012
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: CCL
DFD
inżynieria oprogramowania
metody formalne
eksplozja stanów
software engineering
formal methods
state explosion problem; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Improved Decomposition of Signal Transition Graphs
Autorzy:: Vogler, W.
Kangsah, B.
Data publikacji:: 2007
Słowa kluczowe:: COncurrent SYstem
Petri net
asynchronous circuitis
Signal Transition Graphs (STGs)
decomposition
modular implementation
state explosion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Local Verification Using a Distributed State Space
Autorzy:: Abid, C. A.
Zouari, B.
Data publikacji:: 2013
Słowa kluczowe:: distributed systems
modular verification
Petri nets
state space explosion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Concurrent systems modeling with CCL
Autorzy:: Kułakowski, K.
Data publikacji:: 2012
Słowa kluczowe:: CCL
DFD
inżynieria oprogramowania
metody formalne
eksplozja stanów
software engineering
formal methods
state explosion problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties
Autorzy:: Bouchene, H.
Rakkay, H.
Data publikacji:: 2008
Słowa kluczowe:: Time Petri Net
State class graph
state explosion problem
partial order techniques
independent transitions
timed linear properties
Interval timed Büchi automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Assessment of the explosion limits based on a kinetic steady-state criterion
Autorzy:: Głowiński, J.
Tylus, W.
Piotrowski, T.
Data publikacji:: 2003
Słowa kluczowe:: wodór
wybuch
granica
stan stacjonarny
kryterium stacjonarności
hydrogen
explosion
limits
steady state
criterion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Analysis op annular detonation wave parameters
Autorzy:: Włodarczyk, E.
Janiszewski, J.
Data publikacji:: 2003
Słowa kluczowe:: fala detonacyjna
wybuch
propagacja fali
stan kumulacji
prędkość Chapmana-Jougueta
detonation wave
explosion
wave propagation
cumulation state
Chapman-Jouguet velocity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Continuous-state branching processes with migration
Autorzy:: Vidmar, Matija
Data publikacji:: 2022
Słowa kluczowe:: continuous-state branching process
stochastic differential equation
migration
first passage time
explosion
Laplace transform
scale function
Lamperti's time change
spectrally positive Lévy process; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 13

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "state explosion" wg kryterium: Temat