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 kogumikus

A testing strategy for interacting finite state machinesYevtushenko, Nina; Petrenko, Alexandre; Trenkaev, VadimBEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings1996 / p. 137-140: ill

artikkel kogumikus

3

artikkel kogumikus

An approach to inference of finite state machines based on gravitationally-inspired search algorithmSpitšakova, Margarita12th Symposium on Programming Languages and Software Tools : SPLST'11 : Tallinn, Estonia, 5-7 October 2011 : proceedings2011 / p. 185-195 : ill

artikkel kogumikus

4

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

5

artikkel kogumikus

A decomposition procedure for register-transfer level power managementFomina, Jelena; Keevallik, Andres; Kruus, Margus; Sudnitsõn, AleksanderProceedings of the International Conference on Computer Systems and Technologies (e-Learning) : CompSysTech'2003 : Sofia, Bulgaria, 19-20 June2003 / p. 1.2-1 - 1.2-6 https://www.researchgate.net/publication/242107053_A_Decomposition_Procedure_for_Register-Transfer_Level_Power_Management

artikkel kogumikus

6

dissertatsioon

Discrete gravitational swarm optimization algorithm for system identification = Diskreetne gravitatsioonilist vastasmõju arvestav osakeste parvega optimeerimise meetod süsteemide identifitseerimiseksSpitšakova, Margarita2017 https://digi.lib.ttu.ee/i/?8449 https://www.ester.ee/record=b4689427*est

dissertatsioon

7

artikkel ajakirjas EST / artikkel ajakirjas ENG

Disturbance decoupling in nonlinear hybrid systemsKaldmäe, Arvo; Kotta, Ülle; Shumsky, Alexey; Zhirabok, AlexeyNonlinear analysis : hybrid systems2018 / p. 42-53 https://doi.org/10.1016/j.nahs.2017.11.001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

8

raamat

Formaalsed keeled ja abstraktsed automaadidHenno, Jaak1991 https://www.ester.ee/record=b1253555*est

raamat

9

raamat

Formaalsed keeled ja abstraktsed automaadid : õppeabimaterjalHenno, Jaak1985 https://www.ester.ee/record=b1228625*est

raamat

10

artikkel kogumikus

FSM decomposition using shift registersKruus, Margus; Lensen, HarriThe 7th Biennial Conference on Electronics and Microsystem Technology "Baltic Electronics Conference" : BEC 2000 : October 8 - 11, 2000, Tallinn, Estonia : conference proceedings2000 / p. 141-144 : ill

artikkel kogumikus

11

artikkel kogumikus

Hierarchical fault simulation for finite state machinesBrik, Marina; Raik, Jaan; Ubar, Raimund-JohannesThe 7th Biennial Conference on Electronics and Microsystem Technology "Baltic Electronics Conference" : BEC 2000 : October 8 - 11, 2000, Tallinn, Estonia : conference proceedings2000 / p. 145-148 : ill

artikkel kogumikus

12

artikkel kogumikus

Informational modelling of FSM networksKeevallik, Andres; Kruus, Margus; Udre, JüriProceedings of the 4th International Workshop Mixed Design of Integrated Circuits and Systems : MIXDES'97 : Poznan, Poland, 12-14 June 19971997 / p. 167-172

artikkel kogumikus

13

artikkel kogumikus

Low power synthesis based on information theoretic measuresFomina, Jelena; Keevallik, Andres; Sudnitsõn, Aleksander23rd International Conference on Microelectronics : MIEL 2002, Niš, Yugoslavia, 12-15 May 2002 : proceedings2002 / p. 699-702 https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=1003354

artikkel kogumikus

14

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

15

artikkel kogumikus EST / artikkel kogumikus ENG

New interpretation and generalization of the Kameda-Weiner methodTamm, Hellis43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)2016 / p. 116:1-116:12 http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.116 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

16

artikkel kogumikus

Optimization of recursive sorting algorithms for implementation in hardwareMihhailov, Dmitri; Sklyarov, Valery; Skliarova, Iouliia; Sudnitsõn, AleksanderProceedings of 22nd International Conference on Microelectronics (ICM 2010) : Cairo, Egypt, Dec. 19-22, 20102010 / p. 471-474 : ill https://www.researchgate.net/publication/224213497_Optimization_of_recursive_sorting_algorithms_for_implementation_in_hardware

artikkel kogumikus

17

artikkel kogumikus

Parallel FPGA-based implementation of recursive sorting algorithmsMihhailov, Dmitri; Sklyarov, Valery; Skliarova, Iouliia; Sudnitsõn, Aleksander2010 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2010) : Cancun, Mexico, December 13-15, 20102010 / p. 121-126 : ill https://www.researchgate.net/publication/221437230_Parallel_FPGA-Based_Implementation_of_Recursive_Sorting_Algorithms

artikkel kogumikus

18

artikkel kogumikus

Partitioning of FSM targeting an autonomous FSM and PLAsFeske, Klaus; Franke, Günter; Koegst, Manfred; Mulka, SvenBEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 21994 / p. 417-423: ill https://www.ester.ee/record=b2150914*est

artikkel kogumikus

19

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

20

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

21

artikkel kogumikus

Software environment for synthesis of testable FSM through decompositionDevadze, Sergei; Sudnitsõn, Aleksander2008 26th International Conference on Microelectronics (MIEL 2008) : proceedings2008 / p. 433-436 https://ieeexplore.ieee.org/document/4559314

artikkel kogumikus

22

artikkel kogumikus

Synthesis and implementation of hierarchical finite state machines with implicit modulesSklyarov, Valery; Skliarova, Iouliia; Mihhailov, Dmitri; Sudnitsõn, Aleksander2010 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2010) : Cancun, Mexico, December 13-15, 20102010 / p. 436-441 : ill https://www.researchgate.net/publication/221437255_Synthesis_and_Implementation_of_Hierarchical_Finite_State_Machines_with_Implicit_Modules

artikkel kogumikus

23

artikkel kogumikus

Synthesis of hierarchically testable FSM networksKasirova, Lilia; Keevallik, Andres; Kruus, MargusBEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 11994 / p. 347-352: ill

artikkel kogumikus

24

artikkel kogumikus

Test generation for finite state machinesUbar, Raimund-Johannes; Brik, MarinaBEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings1996 / p. 233-236: ill

artikkel kogumikus

25

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

abstraktsed automaadid (märksõna)

teaviku laadid

märksõna 3