Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
abstraktsed automaadid (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
52
Vaata veel..
(1/4)
Ekspordi
ekspordi kõik päringu tulemused
(52)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
26
artikkel kogumikus
Partition search problem for finite state machine decomposition
Sudnitsõn, Aleksander
45. Internationales Wissenschaftliches Kolloquium, 04.-06.10.2000 : Tagungsband
2000
/
S. 673-678 : Ill
artikkel kogumikus
27
artikkel kogumikus
Partitioning of FSM targeting an autonomous FSM and PLAs
Feske, Klaus
;
Franke, Günter
;
Koegst, Manfred
;
Mulka, Sven
BEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 2
1994
/
p. 417-423: ill
https://www.ester.ee/record=b2150914*est
artikkel kogumikus
28
artikkel kogumikus
PLA-based FSM state assignment for testability
Kasirova, Lilia
;
Keevallik, Andres
;
Kruus, Margus
Proceedings of the International Conference "Computer-Aided Design of Discrete Devices", Minsk, 1995
1995
/
p. 50-51
artikkel kogumikus
29
artikkel kogumikus
Processing N-ary trees in hardware circuits
Sklyarov, Valery
;
Skliarova, Iouliia
;
Mihhailov, Dmitri
;
Sudnitsõn, Aleksander
13th International Symposium on Integrated Circuits (ISIC) : Singapore, 12-14 December 2011 : proceedings
2011
/
p. 262-265 : ill
https://ieeexplore.ieee.org/document/6131946
artikkel kogumikus
30
artikkel kogumikus EST
/
artikkel kogumikus ENG
Quotients and atoms of reversible languages
Tamm, Hellis
Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
2020
/
p. 443-455
https://doi.org/10.1007/978-3-030-54997-8_28
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
31
artikkel kogumikus
Software environment for synthesis of testable FSM through decomposition
Devadze, Sergei
;
Sudnitsõn, Aleksander
2008 26th International Conference on Microelectronics (MIEL 2008) : proceedings
2008
/
p. 433-436
https://ieeexplore.ieee.org/document/4559314
artikkel kogumikus
32
artikkel kogumikus
State assignment for CMOS implementation of low power FSM networks
Zaugarov, Viktor
;
Kasirova, Lilia
;
Tveretina, Olga
Mixed Design of Integrated Circuits and Systems : education of computer aided design of modern ICs and devices : 3rd Advanced Training Course, Lodz, Poland, 30 May - 1 June 1996
1996
/
p. 195-198: ill
artikkel kogumikus
33
artikkel kogumikus
State assignment of FSM for decrease of power dissipation
Kasirova, Lilia
;
Keevallik, Andres
;
Meškov, Mihhail
Proceedings of 2nd International Conference CAD DD '97, Minsk, 1997
1997
/
p. 127-135
artikkel kogumikus
34
artikkel kogumikus
Synthesis and implementation of hierarchical finite state machines with implicit modules
Sklyarov, Valery
;
Skliarova, Iouliia
;
Mihhailov, Dmitri
;
Sudnitsõn, Aleksander
2010 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2010) : Cancun, Mexico, December 13-15, 2010
2010
/
p. 436-441 : ill
https://www.researchgate.net/publication/221437255_Synthesis_and_Implementation_of_Hierarchical_Finite_State_Machines_with_Implicit_Modules
artikkel kogumikus
35
artikkel kogumikus
Synthesis of hierarchically testable FSM networks
Kasirova, Lilia
;
Keevallik, Andres
;
Kruus, Margus
Proceedings of the 2nd Conference "Mixed Design of VLSI Circuits", Lodz, 1995
1995
/
p. 253-259
artikkel kogumikus
36
artikkel kogumikus
Synthesis of hierarchically testable FSM networks
Kasirova, Lilia
;
Keevallik, Andres
;
Kruus, Margus
BEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 1
1994
/
p. 347-352: ill
artikkel kogumikus
37
artikkel kogumikus
Test generation for finite state machines
Ubar, Raimund-Johannes
;
Brik, Marina
BEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings
1996
/
p. 233-236: ill
artikkel kogumikus
38
artikkel kogumikus EST
/
artikkel kogumikus ENG
Theoretical aspects of symbolic automata
Tamm, Hellis
;
Veanes, Margus
SOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings
2018
/
p. 428-441
https://doi.org/10.1007/978-3-319-73117-9_30
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
39
artikkel kogumikus
Two phase technique for assembly line balancing
Vain, Jüri
;
Randvee, Ingmar
;
Riismaa, Tiit
Preprints of the 16th IFAC World Congress : Prague, Czech Republic, July 3-8, 2005
2005
/
[6] p
https://www.sciencedirect.com/science/article/pii/S1474667016375176
artikkel kogumikus
40
artikkel kogumikus
Two-level simulation-based test generation for finite state machines
Brik, Marina
;
Ubar, Raimund-Johannes
17th NORCHIP Conference : Oslo, Norway, 8-9 November 1999 : proceedings
1999
/
p. 211-216: ill
artikkel kogumikus
41
artikkel kogumikus
Web-based computer aided design support of finite state machine additive decomposition for low power
Sudnitsõn, Aleksander
;
Devadze, Sergei
5th IEEE East-West Design & Test International Symposium
2007
/
p. 494-498
artikkel kogumikus
42
artikkel kogumikus
Web-based software implementation of finite state machine decomposition for design and education
Devadze, Sergei
;
Kruus, Margus
;
Sudnitsõn, Aleksander
CompSysTech' 2001 : proceedings of the International Conference on Computer Systems and Technologies, Sofia, 21-22 June 2001
2001
/
[6] p. : ill
https://pld.ttu.ee/decomposition/publications/Sudnitson_CST_Estonia.pdf
artikkel kogumikus
43
artikkel kogumikus
Web-based system for sequential machines decomposition
Devadze, Sergei
;
Fomina, Jelena
;
Kruus, Margus
;
Sudnitsõn, Aleksander
The IEEE Region 8 EUROCON 2003 : Computer as a Tool : 22-24. September 2003, Ljubljana, Slovenia : proceedings. Volume A
2003
/
p. 57-61 : ill
https://pld.ttu.ee/decomposition/publications/Sudnitson-EUROCON_v5%20_1_.pdf
artikkel kogumikus
44
artikkel kogumikus
Выбор разбиений для итеративной декомпозиции конечных автоматов
Tammemäe, Kalle
Машинное проектирование электронных устройств и систем
1988
/
с. 35-42
artikkel kogumikus
45
artikkel kogumikus
Декомпозиция конечного автомата по заданной структуре
Kracht, Wilhelm
;
Jakobson, Gabriel
V Всесоюзное совещание по проблемам управления : рефераты докладов. Ч. 2
1971
/
с. 191-192
https://www.ester.ee/record=b4470513*est
artikkel kogumikus
46
artikkel kogumikus
К задаче последовательной декомпозиции конечных автоматов
Kracht, Wilhelm
;
Jakobson, Gabriel
Труды по электротехнике и автоматике : сборник статей. 7
1970
/
с. 55-61 : илл
https://www.ester.ee/record=b2189958*est
https://digikogu.taltech.ee/et/Item/33610e22-06c3-48a2-83bd-e55be9589930
artikkel kogumikus
47
artikkel kogumikus
Метод декомпозиции конечных автоматов с использованием алгебры пар покрытий
Sudnitsõn, Aleksander
Расчет и проектирование приборов, устройств и систем технической кибернетики
1980
/
с. 3-9
https://www.ester.ee/record=b1281890*est
https://digikogu.taltech.ee/et/Item/8e0abfe2-9020-4ebd-85d1-fd67de0d1b30
artikkel kogumikus
48
artikkel kogumikus
О декомпозиции конечных автоматов на базе сдвиговых регистров
Keevallik, Andres
;
Kruus, Margus
;
Salum, Kaja
Машинное проектирование электронных устройств и систем
1988
/
с. 3-11
artikkel kogumikus
49
artikkel kogumikus
О классификации задач декомпозиции конечных автоматов
Keevallik, Andres
Труды по электротехнике и автоматике : сборник статей. 11
1973
/
с. 61-67
https://www.ester.ee/record=b2190624*est
https://digikogu.taltech.ee/et/Item/d6e57925-e104-44e1-a218-c5b3110d9996
artikkel kogumikus
50
artikkel kogumikus
Об одном способе декомпозиции автомных вероятностных автоматов
Keevallik, Andres
;
Jakobson, Gabriel
Труды по электротехнике и автоматике : сборник статей. 11
1973
/
с. 53-59
https://www.ester.ee/record=b2190624*est
https://digikogu.taltech.ee/et/Item/d6e57925-e104-44e1-a218-c5b3110d9996
artikkel kogumikus
Kirjeid leitud 52, kuvan
26 - 50
eelmine
1
2
3
järgmine
märksõna
4
1.
abstraktsed automaadid
2.
automaadid (relvad)
3.
automaadid (seadmed)
4.
lõplikud automaadid
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT