Informacja

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 Machine" wg kryterium: Wszystkie pola


Tytuł:
Algorytm kodowania stanów wewnętrznych automatu skończonego minimalizujący pobór mocy
Finite state machine state assignment algorithm for low power dissipation
Autorzy:
Kajstura, K.
Kania, D.
Kurytnik, I.
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
kodowanie stanów
pobór mocy
automat skończony
state assignment
power dissipation
finite state machine
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wspólny model automatu skończonego w minimalizacji poboru mocy
Finite state machine common model in power minimisation
Autorzy:
Grześ, T.
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
model wspólny automatu skończonego
minimalizacja poboru mocy
kodowanie stanów automatu
finite state machine common model
power minimisation
state assignment
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimization of Moore finite-state-machine matrix circuit
Optymalizacja macierzowego układu skończonego automatu stanu typu Moorea
Autorzy:
Barkalov, A.
Titarenko, L.
Hebda, O.
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
automat typu Moore'a
sieć działań
stany pseudorównoważne
układ logiczny
Moore FSM
graph-scheme of algorithm
pseudoequivalent states
customized matrices
logic circuit
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Conception of partial specification of logic controller deterministic state machine
Koncepcja niepełnej specyfikacji deterministycznej maszyny stanów sterownika logicznego
Autorzy:
Łabiak, G.
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
deterministyczna maszyna stanów
diagramy statechart
sterownik logiczny
konflikty tranzycji
predykaty
algebra Boole'a
deterministic state machine
statechart diagrams
logic controller
transition conflicts
predicates
Boolean algebra
symbolic methods
metody symboliczne
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Formal verification of a state machine with use of temporal logic
Autorzy:
Grobelna, I.
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
algorytmiczne maszyny stanów ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody kodowania stanów wewnętrznych automatu skończonego minimalizujące pobór mocy
The State Assignment of Finite State Machine for Minimizing the Power Dissipation
Autorzy:
Salauyou, V.
Grześ, T.
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
automat skończony
pobór mocy
kodowanie stanów wewnętrznych
finite state machine
power dissipation
state assignment
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł

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