Academic literature on the topic 'Asy tested finite state machine'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Asy tested finite state machine.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Asy tested finite state machine"
IBARRA, OSCAR H., TEVFIK BULTAN, and JIANWEN SU. "ON REACHABILITY AND SAFETY IN INFINITE-STATE SYSTEMS." International Journal of Foundations of Computer Science 12, no. 06 (December 2001): 821–36. http://dx.doi.org/10.1142/s0129054101000898.
Full textOfazer, Kemal, Sergei Nirenburg, and Marjorie McShane. "Bootstrapping Morphological Analyzers by Combining Human Elicitation and Machine Learning." Computational Linguistics 27, no. 1 (March 2001): 59–85. http://dx.doi.org/10.1162/089120101300346804.
Full textIqbal, Muhammad, Will N. Browne, and Mengjie Zhang. "Extending XCS with Cyclic Graphs for Scalability on Complex Boolean Problems." Evolutionary Computation 25, no. 2 (June 2017): 173–204. http://dx.doi.org/10.1162/evco_a_00167.
Full textYoussef, Samuel M., MennaAllah Soliman, Mahmood A. Saleh, Mostafa A. Mousa, Mahmoud Elsamanty, and Ahmed G. Radwan. "Modeling of Soft Pneumatic Actuators with Different Orientation Angles Using Echo State Networks for Irregular Time Series Data." Micromachines 13, no. 2 (January 29, 2022): 216. http://dx.doi.org/10.3390/mi13020216.
Full textKaselouris, Evaggelos, Chrysoula Alexandraki, Yannis Orphanos, Makis Bakarezos, Michael Tatarakis, Nektarios A. Papadogiannis, and Vasilis Dimitriou. "Acoustic analysis of impact sound on vibrating circular membranes." INTER-NOISE and NOISE-CON Congress and Conference Proceedings 263, no. 3 (August 1, 2021): 3378–85. http://dx.doi.org/10.3397/in-2021-2389.
Full textMohmed, Gadelhag, Ahmad Lotfi, and Amir Pourabdollah. "Human Activities Recognition Based on Neuro-Fuzzy Finite State Machine." Technologies 6, no. 4 (November 26, 2018): 110. http://dx.doi.org/10.3390/technologies6040110.
Full textAbu Hassan, Mohd Fadzil, Mohamad Hanif Md Saad, Mohd Faisal Ibrahim, and Aini Hussain. "A Finite State Machine Fall Detection Using Quadrilateral Shape Features." Bulletin of Electrical Engineering and Informatics 7, no. 3 (September 1, 2018): 359–66. http://dx.doi.org/10.11591/eei.v7i3.1184.
Full textNugraha, Agung Arya Adi, and Desti Fitriati. "GAS LEAK SOURCE DETECTION ROBOT USING FINITE STATE MACHINE MODEL (FSM)." Jurnal Riset Informatika 3, no. 2 (March 2, 2021): 159–66. http://dx.doi.org/10.34288/jri.v3i2.186.
Full textMohmed, Gadelhag, Ahmad Lotfi, and Amir Pourabdollah. "Enhanced fuzzy finite state machine for human activity modelling and recognition." Journal of Ambient Intelligence and Humanized Computing 11, no. 12 (April 30, 2020): 6077–91. http://dx.doi.org/10.1007/s12652-020-01917-z.
Full textBarkalov, Alexander, Larysa Titarenko, and Slawomir Chmielewski. "VLSI-based synthesis of Moore finite-state-machines targeting telecommunications systems." Problemi telekomunìkacìj, no. 1(26) (December 11, 2020): 73–82. http://dx.doi.org/10.30837/pt.2020.1.06.
Full textDissertations / Theses on the topic "Asy tested finite state machine"
Мирошник, М. А., П. В. Галкін, О. Б. Зайченко, and Р. И. Цехмистро. "Testability Increasing Method by Introducing Hardware Redundancy in the Easy-tested Finite State Machines." Thesis, NURE, MC&FPGA, 2019. https://mcfpga.nure.ua/conf/2019-mcfpga/10-35598-mcfpga-2019-002.
Full textBook chapters on the topic "Asy tested finite state machine"
Biswas, Rathindra Nath, Anurup Saha, Swarup Kumar Mitra, and Mrinal Kanti Naskar. "PSO-Based Antenna Pattern Synthesis." In Nature-Inspired Algorithms for Big Data Frameworks, 218–45. IGI Global, 2019. http://dx.doi.org/10.4018/978-1-5225-5852-1.ch009.
Full textVain, Jüri, Marko Kääramees, and Maili Markvardt. "Online Testing of Nondeterministic Systems with the Reactive Planning Tester." In Dependability and Computer Engineering, 113–50. IGI Global, 2012. http://dx.doi.org/10.4018/978-1-60960-747-0.ch007.
Full textConference papers on the topic "Asy tested finite state machine"
Plaschkies, Franz, Ondřej Vaculín, and Axel Schumacher. "Assessment of the Influence of Human Body Diversity on Passive Safety Systems: A State-of-the-art Overview." In FISITA World Congress 2021. FISITA, 2021. http://dx.doi.org/10.46720/f2021-pif-071.
Full textHu, Wei, Nicholas Wilson, Gregory J. Hiemenz, and Norman M. Wereley. "Magnetorheological Shock Absorber for Crew Seats in the Expeditionary Fighting Vehicle." In ASME 2008 Conference on Smart Materials, Adaptive Structures and Intelligent Systems. ASMEDC, 2008. http://dx.doi.org/10.1115/smasis2008-542.
Full textZhang, Mengxuan, Nan Li, Anouck Girard, and Ilya Kolmanovsky. "A Finite State Machine Based Automated Driving Controller and its Stochastic Optimization." In ASME 2017 Dynamic Systems and Control Conference. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/dscc2017-5209.
Full textNikeshin, Alexei Viacheslavovich, and Victor Zinovievich Shnitman. "Verification of security properties of the TLS 1.3 extensions." In 23rd Scientific Conference “Scientific Services & Internet – 2021”. Keldysh Institute of Applied Mathematics, 2021. http://dx.doi.org/10.20948/abrau-2021-14.
Full textHareyama, Soichi, Ken-ichi Manabe, Takayuki Shimodaira, and Akio Hoshi. "Working Load Analysis and Strength Estimation for Bolted Joints During Actual Machine Operation." In ASME 2014 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/imece2014-39193.
Full textCorrea, Jorge, Nicholas Toombs, and Placid M. Ferreira. "Implementation of an Open-Architecture Control for CNC Systems Based on Open-Source Electronics." In ASME 2016 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/imece2016-65964.
Full textSmith, Andrew N., Ralph J. Volino, and Karen A. Flack. "Design of a Heat Sink in an Undergraduate Heat Transfer Course." In ASME 2012 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/imece2012-89077.
Full textGollapudi, Chandra, and Dawn Tilbury. "Logic Control Design and Implementation for a Machining Line Testbed Using Petri Nets." In ASME 2001 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2001. http://dx.doi.org/10.1115/imece2001/dsc-24594.
Full textMarimuthu, Ganesan S., Per Thomas Moe, Bjarne Salberg, Junyan Liu, Henry Valberg, James S. Burnell-Gray, and Wayne Rudd. "Welding Procedure Establishment for Tubular Joints Welded by Single Station, Solid State Welding Machine." In ASME 2010 Pressure Vessels and Piping Division/K-PVP Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/pvp2010-25626.
Full textKushnir, Emmanuil. "Determination of Machine Tool Frequency Response Function During Cutting." In ASME 2004 International Mechanical Engineering Congress and Exposition. ASMEDC, 2004. http://dx.doi.org/10.1115/imece2004-59573.
Full text