Temat: transition graphs - 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ę "transition graphs" wg kryterium: Temat

Wyświetlanie 1-15 z 15

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Analysis and Synthesis of Net Structures and Transition Graphs
Autorzy:: Czaja, L.
Kudlek, M.
Data publikacji:: 2009
Słowa kluczowe:: net structures
transition graphs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
Autorzy:: Esparza, J.
Data publikacji:: 2004
Słowa kluczowe:: free choice Petri nets
Signal Transition Graphs
STGs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Flat Arbiters
Autorzy:: Mokhov, A.
Khomenko, V.
Yakovlev, A.
Data publikacji:: 2011
Słowa kluczowe:: arbiters
speed independent circuits
asynchronous circuits
Signal Transition Graphs (STGs); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs
Autorzy:: Esparza, J.
Jančar, P.
Miller, A.
Data publikacji:: 2008
Słowa kluczowe:: Signal Transition Graphs (STGs)
consistency
Complete State Coding
Petri net
complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Output-Determinacy and Asynchronous Circuit Synthesis
Autorzy:: Khomenko, V.
Schaefer, M.
Vogler, W.
Data publikacji:: 2008
Słowa kluczowe:: output-determinacy
decomposition
Signal Transition Graphs (STG)
asynchronous circuits
OR-causality; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

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: 7.

Tytuł:: Detecting State Encoding Conflicts in STG Unfoldings Using SAT
Autorzy:: Khomenko, V.
Koutny, M.
Yakovlev, A.
Data publikacji:: 2004
Słowa kluczowe:: asynchronous circuitis
automated synthesis
Complete State Coding
Petri net
Signal Transition Graphs
STGs
net unfoldings
partial order techniques; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT
Autorzy:: Khomenko, V.
Koutny, M.
Yakovlev, A.
Data publikacji:: 2006
Słowa kluczowe:: logic synthesis
automated synthesis
asynchronous circuitis
self-timed circuits
Petri net
Signal Transition Graphs (STGs)
incremental SAT
net unfoldings
partial order techniques; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis
Autorzy:: Czaja, L.
Data publikacji:: 2002
Słowa kluczowe:: place/transition Petri net
process
trace
dependence graphs
analysis
synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Minimizing the Number of Successor States in the Stubborn Set Method
Autorzy:: Varpaaniemi, K.
Data publikacji:: 2002
Słowa kluczowe:: Labelled Transition Systems (LTS)
CFFD-equivalence
CSP-equivalence
stubborn sets
and/or-graphs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Concurrent realizations of reactive systems
Autorzy:: Bednarczyk, M.
Borzyszkowski, A.
Data publikacji:: 1999
Słowa kluczowe:: Petri nets
transition systems
asynchronous systems
reactive system
concurrent realization
case graphs
mixed products; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Towards Ambitious Approximation Algorithms in Stubborn Set Optimization
Autorzy:: Varpaaniemi, K.
Data publikacji:: 2003
Słowa kluczowe:: Labelled Transition Systems (LTS)
stubborn sets
and/or-graphs
approximability in optimization and counting; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Correlations in Random Graphs
Autorzy:: Oleś, Andrzej K.
Data publikacji:: 2012
Wydawca:: Uniwersytet Jagielloński w Krakowie
Słowa kluczowe:: correlations
przejście fazowe
grafy losowe
Ising model
korelacje
phase transition
random graphs
model Isiga
sieci bezskalowe
scale-free networks; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Correlations in random graphs
Korelacje w grafach losowych
Autorzy:: Oleś, Andrzej
Współwytwórcy:: Białas, Piotr
Data publikacji:: 2012-06-12
Słowa kluczowe:: grafy losowe
phase transition
korelacje
random graphs
przejścia fazowe
Ising model
model Isiga
scale-free networks
correlations
sieci bezskalowe; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: General morphisms of Petri nets
Autorzy:: Bednarczyk, M.
Borzyszkowski, A.
Data publikacji:: 1999
Słowa kluczowe:: sieci Petriego
konkretne systemy asynchroniczne
Petri nets
transition systems
(concrete) asynchronous systems
state machines
mixed products
case graphs
regions
synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-15 z 15

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ę "transition graphs" wg kryterium: Temat