Temat: logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: www-Based Boolean Function Minimization
Autorzy:: Tomaszewski, S. P.
Celik, I. U.
Antoniou, G. E.
Data publikacji:: 2003
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: informatyka
digital logic
logic design
Boolean function
Boolean minimization
Quine-McCluskey metod; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Synthesis of finite state machines for CPLDs
Autorzy:: Czerwiński, R.
Kania, D.
Data publikacji:: 2009
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: synteza logiczna
FSM
kodowanie stanów
optymalizacja logiczna
CPLD
logic synthesis
state assignment
logic optimization; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Design of Mealy Finite-state Machines with the Transformation of Object Codes
Autorzy:: Barkalov, A. A.
Barkalov, A. A., Jr.
Data publikacji:: 2005
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: programowalny układ logiczny
automat skończony
bramka logiczna
finite state machine
programmable logic device
object
design
logic circuit; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Decomposition of the fuzzy inference system for implementation in the FPGA structure
Autorzy:: Wyrwoł, B.
Hrynkiewicz, E.
Data publikacji:: 2013
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: fuzzy logic
fuzzy inference algorithm
decomposition
digital fuzzy logic controller
FPGA
logika rozmyta
algorytm wnioskowania rozmytego
sterownik rozmyty; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Modeling of distributed objects computing pattern combinations using a formal specification language
Autorzy:: Taibi, T.
Ngo, D. C. L.
Data publikacji:: 2003
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: informatyka
Balanced Pattern Specification Language (BPSL)
First-Order Logic (FOL)
Temporal Logic of Actions (TLA)
substitution
addition
elimination; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Probability timed automata for investigating communication processes
Autorzy:: Piech, H.
Grodzki, G.
Data publikacji:: 2015
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: protocol logic
probabilistic timed automata
communication security; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Reduction in the number of PAL macrocells in the ciruit of a Moore FSM
Autorzy:: Barkalov, A. A.
Titarenko, L.
Chmielewski, S.
Data publikacji:: 2007
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: Moore finite-state machine
complex programmable logic devices
design
logic circuit
pseudoequivalent states
automat Moore'a
złożone programowalne układy logiczne
układ logiczny
stan pseudorównoważny; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: FSM encoding for BDD representations
Autorzy:: Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.
Data publikacji:: 2007
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Application of deontic logic in role-based access control
Autorzy:: Kołaczek, G.
Data publikacji:: 2002
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: informatyka
formal logic
access control
RBAC
system security
reasoning automation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Decomposition-based logic synthesis for PAL-based CPLDs
Autorzy:: Opara, A.
Kania, D.
Data publikacji:: 2010
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: rozkład
odwzorowanie technologiczne
optymalizacja logiczna
BDD
CPLD
decomposition
technology mapping
logic optimization; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logic" wg kryterium: Temat