Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

A proposal for optimisation of low-powered FSM testingBrik, Marina; Fomina, Jelena; Ubar, Raimund-JohannesProceedings of IEEE East-West Design & Test Workshop (EWDTW'05) : Odessa, Ukraine, September 15-19, 20052005 / p. 15-20

artikkel kogumikus

2

artikkel ajakirjas

An approach to the inference of finite state machines based on a gravitationally-inspired search algorithmSpitšakova, MargaritaProceedings of the Estonian Academy of Sciences2013 / p. 39-46

artikkel ajakirjas

3

artikkel kogumikus EST / artikkel kogumikus ENG

Bicategories of automata, automata in bicategoriesBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 1-19 https://doi.org/10.4204/EPTCS.397.1 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

4

artikkel ajakirjas

Book reviews : Semigroups and automata. SelectaUno Kaljulaid (1941-1999). Edited by Jaak Peetre (Lund, Sweden) and Jaan Penjam (Tallinn, Estonia), 2006, IOS Press, Amsterdam. ISBN 1-58603-582-7Lumiste, ÜloProceedings of the Estonian Academy of Sciences. Physics. Mathematics2006 / p. 189-191

artikkel ajakirjas

5

artikkel kogumikus

Finite state machines with datapath partitioning for low power synthesisSudnitsõn, AleksanderProceedings of the 8th International Conference Mixed Design of Integrated Circuits and Systems : MIXDES 2001 : Zakopane, Poland, 21-23 June 20002001 / p. 163-168 : ill

artikkel kogumikus

6

artikkel ajakirjas

Grammatikate tuletus ja automaatide induktsioonKüngas, PeepA & A2001 / 4, lk. 17-21 ; 5, lk. 27-38 https://artiklid.elnet.ee/record=b1007647*est

artikkel ajakirjas

7

dissertatsioon

Low power finite state machine synthesisFomina, Jelena2005 https://www.ester.ee/record=b2097121*est

dissertatsioon

8

artikkel ajakirjas

Models of attributed automataMeriste, Merik; Penjam, Jaan; Vene, VarmoInformatica1998 / 1, p. 85-105: ill

artikkel ajakirjas

9

artikkel kogumikus

Multi-level test generation and fault diagnosis for finite state machinesUbar, Raimund-Johannes; Brik, MarinaDependable computing : proceedings / EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 19961996 / p. 264-281: ill

artikkel kogumikus

10

artikkel kogumikus

A new approach to state encoding of low power FSMFomina, Jelena; Brik, Marina; Sudnitsõn, Aleksander; Vasiliev, RomanProceedings of IEEE East-West Design & Test Workshop : EWDTW'05 : Ukraine2005 / p. 21-26

artikkel kogumikus

11

dissertatsioon

Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantikaMaarand, Hendrik2020 https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb

dissertatsioon

12

artikkel kogumikus

Processing N-ary trees in hardware circuitsSklyarov, Valery; Skliarova, Iouliia; Mihhailov, Dmitri; Sudnitsõn, Aleksander13th International Symposium on Integrated Circuits (ISIC) : Singapore, 12-14 December 2011 : proceedings2011 / p. 262-265 : ill https://ieeexplore.ieee.org/document/6131946

artikkel kogumikus

13

artikkel kogumikus EST / artikkel kogumikus ENG

Quotients and atoms of reversible languagesTamm, HellisFormal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II2020 / 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

14

dissertatsioon

Scenario oriented model-based testing = Stsenaariumjuhitud mudelipõhine testimineHalling, Evelin2019 https://digi.lib.ttu.ee/i/?11943

dissertatsioon

15

artikkel kogumikus EST / artikkel kogumikus ENG

String diagrammatic trace theoryEarnshaw, Matthew; Sobocinski, Pawel Maria48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)2023 / art. 43, 43 p. : ill https://doi.org/10.4230/LIPIcs.MFCS.2023.43 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

16

artikkel kogumikus EST / artikkel kogumikus ENG

Theoretical aspects of symbolic automataTamm, Hellis; Veanes, MargusSOFSEM 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 : proceedings2018 / 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

17

artikkel kogumikus

Генерация псевдослучайного микропрограммного автоматаSudnitsõn, Aleksander; Berkman, BorissАвтоматизация логического проектирования : сборник научных трудов1981 / с. 144-152 https://www.ester.ee/record=b1550042*est

artikkel kogumikus

18

dissertatsioon

Декомпозиционный синтез управляющих автоматов на программируемых матрицах и микропроцессорах : автореферат ... кандидата технических наук (05.13.01)Sudnitsõn, Aleksander1983 https://www.ester.ee/record=b1291157*est

dissertatsioon

19

dissertatsioon

Декомпозиционный синтез управляющих автоматов на программируемых матрицах и микропроцессорах : диссертация на соискание ученой степени кандидата кандидата технических наукSudnitsõn, Aleksander1983 https://www.ester.ee/record=b4634419*est

dissertatsioon

20

artikkel kogumikus

Декомпозиция конечных автоматов на основе информационного критерияKeevallik, Andres; Lausmaa, ToomasМетоды синтеза и диагностирования цифровых схем1985 / с. 3-11

artikkel kogumikus

21

artikkel kogumikus

Диагностирование синхронных микропрограммных автоматовViilup, AguМежреспубликанская школа-семинар по технической диагностике, 8-12 октября 1984 года : тезисы докладов1984 / с. 25-27 https://www.ester.ee/record=b1237891*est

artikkel kogumikus

22

artikkel kogumikus

О декомпозиции конечных автоматовKeevallik, Andres; Leis, PaulОптимизация в проектировании дискретных устройств : материалы семинара, 25-26 ноября 1976 г.1976 / с. 52-70

artikkel kogumikus

23

artikkel kogumikus

Об одном способе декомпозиции автомных вероятностных автоматовKeevallik, Andres; Jakobson, GabrielТруды по электротехнике и автоматике : сборник статей. 111973 / с. 53-59 https://www.ester.ee/record=b2190624*est https://digikogu.taltech.ee/et/Item/d6e57925-e104-44e1-a218-c5b3110d9996

artikkel kogumikus

24

artikkel kogumikus

Один метод декомпозиционного синтеза микропрограммных автоматов на программируемых логических матрицахLeis, Paul; Sudnitsõn, AleksanderТруды пятого Международного семинара "Прикладные аспекты теории автоматов". Т. 11979 / с. 253-262

artikkel kogumikus

automaaditeooria (märksõna)

teaviku laadid

märksõna 1