Search results for "FSM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Alexander Barkalov 0001, Larysa Titarenko, Raisa Malcheva, Kyryll Soldatov	Hardware Reduction in FPGA-Based Moore FSM.	J. Circuits Syst. Comput.	2013	DBLP DOI BibTeX RDF
17	André Takeshi Endo, Adenilso da Silva Simão	Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods.	Inf. Softw. Technol.	2013	DBLP DOI BibTeX RDF
17	Jingling Zhao, Shilei Chen, Shurui Liang, Baojiang Cui, Xiaolong Song	RFSM-Fuzzing a Smart Fuzzing Algorithm Based on Regression FSM.	3PGCIC	2013	DBLP DOI BibTeX RDF
17	Mike Borowczak, Ranga Vemuri	Secure controllers: Requirements of S*FSM.	MWSCAS	2013	DBLP DOI BibTeX RDF
17	Larysa Titarenko, Olena Hebda	Matrix implementation of Moore FSM with nonstandard presentation of state codes.	EWDTS	2013	DBLP DOI BibTeX RDF
17	R. M. Hidalgo-Bermúdez, M. S. Rodríguez-Domingo, Antonio Miguel Mora, Pablo García-Sánchez, Juan Julián Merelo Guervós, Antonio José Fernández Leiva	Evolutionary FSM-Based Agents for Playing Super Mario Game.	LION	2013	DBLP DOI BibTeX RDF
17	Jiliang Zhang 0002, Yaping Lin, Yongqiang Lu 0001, Ray C. C. Cheung, Wenjie Che, Qiang Zhou 0001, Jinian Bian	Binding Hardware IPs to Specific FPGA Device via Inter-twining the PUF Response with the FSM of Sequential Circuits.	FCCM	2013	DBLP DOI BibTeX RDF
17	Tomofumi Yuki, Antoine Morvan, Steven Derrien	Derivation of efficient FSM from loop nests.	FPT	2013	DBLP DOI BibTeX RDF
17	Himani Mittal, Dinesh Chandra, Arvind Tiwari	Design of Low Power FSM Using Verilog in VLSI.	QSHINE	2013	DBLP DOI BibTeX RDF
17	Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy	Unifying FSM-inference algorithms through declarative specification.	ICSE	2013	DBLP DOI BibTeX RDF
17	Jun Tang, Xiaohong Huang, Jing Qian, César Viho	A FSM-based Test Sequence Generation Method for RPL Conformance Testing.	GreenCom/iThings/CPScom	2013	DBLP DOI BibTeX RDF
17	Pavlos M. Mattheakis, Christos P. Sotiriou	Polynomial Complexity Asynchronous Control Circuit Synthesis of Concurrent Specifications Based on Burst-Mode FSM Decomposition.	VLSI Design	2013	DBLP DOI BibTeX RDF
17	Alexander Barkalov 0001, Larysa Titarenko, Malgorzata Kolopienczyk	EMB - Based Design of Mealy FSM.	PDeS	2013	DBLP DOI BibTeX RDF
17	Larysa Titarenko, Olena Hebda, Alexander Barkalov 0001	Synthesis of PLA-Based Moore FSM with Unconventional Presentation of State Codes.	PDeS	2013	DBLP DOI BibTeX RDF
17	Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko 0001, Gregor von Bochmann	FSM-based testing from user defined faults adapted to incremental and mutation testing.	Program. Comput. Softw.	2012	DBLP DOI BibTeX RDF
17	Hashem Moradmand Ziyabar, Mahnaz Sinaie, Ali Payandeh, Vahid Tabataba Vakili	Secure FSM- based arithmetic codes	CoRR	2012	DBLP BibTeX RDF
17	Luca Blessent	FSM™ femtocell station modem.	Hot Chips Symposium	2012	DBLP DOI BibTeX RDF
17	Aadithya V. Karthik, Yingyan Lin, Chenjie Gu, Aolin Xu, Jaijeet S. Roychowdhury, Naresh R. Shanbhag	A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems.	ICASSP	2012	DBLP DOI BibTeX RDF
17	Vojtech Merunka	FSM-Based Object-Oriented Organization Modeling and Simulation.	CAiSE Workshops	2012	DBLP DOI BibTeX RDF
17	Maykon Luís Capellari, Itana Maria de Souza Gimenes, Adenilso da Silva Simão, André Takeshi Endo	Towards Incremental FSM-based Testing of Software Product Lines.	SBQS	2012	DBLP DOI BibTeX RDF
17	Katayoon Beetarafan (Bitarafan), Nariman Heydari Bateni	Using Finite Series Model (FSM) and cache techniques for estimating scalability level.	IST	2012	DBLP DOI BibTeX RDF
17	Vacius Jusas, Tomas Neverdauskas	FSM Based Functional Test Generation Framework for VHDL.	ICIST	2012	DBLP DOI BibTeX RDF
17	Priyanka Choudhury, Sambhu Nath Pradhan	Power Modeling of Power Gated FSM and Its Low Power Realization by Simultaneous Partitioning and State Encoding Using Genetic Algorithm.	VDAT	2012	DBLP DOI BibTeX RDF
17	Konstantin Septinus	Design, Compiler-Werkzeuge und Evaluation einer FSM-basierten Prozessoreinheit für hochratige Multistandard-Datenpaketverarbeitung.		2012	RDF
17	Jin Qi, Jie Hu 0002, Ying-hong Peng, Wei-ming Wang, Zhenfei Zhang	AGFSM: An new FSM based on adapted Gaussian membership in case retrieval model for customer-driven design.	Expert Syst. Appl.	2011	DBLP DOI BibTeX RDF
17	Johann Glaser, Markus Damm, Jan Haase 0001, Christoph Grimm 0001	TR-FSM: Transition-Based reconfigurable finite state machine.	ACM Trans. Reconfigurable Technol. Syst.	2011	DBLP DOI BibTeX RDF
17	Aijiao Cui, Chip-Hong Chang, Sofiène Tahar, Amr T. Abdel-Hamid	A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2011	DBLP DOI BibTeX RDF
17	Yasser Sedaghat, Seyed Ghassem Miremadi	An FSM-based monitoring technique to differentiate between follow-up and original errors in safety-critical distributed embedded systems.	Microelectron. J.	2011	DBLP DOI BibTeX RDF
17	Carlos Molinero, Manuel Núñez 0001, Robert M. Hierons	Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM.	ALIFE	2011	DBLP DOI BibTeX RDF
17	Chenjie Gu, Jaijeet S. Roychowdhury	FSM model abstraction for analog/mixed-signal circuits by learning from I/O trajectories.	ASP-DAC	2011	DBLP DOI BibTeX RDF
17	Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda	A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist.	ISADS	2011	DBLP DOI BibTeX RDF
17	Chi-Hoon Shin, Myeong-Hoon Oh, Sung Nam Kim, Seongwoon Kim	Fine-grained power gating of datapath using FSM.	NESEA	2011	DBLP DOI BibTeX RDF
17	Masahiro Fujita	Synthesizing, Verifying, and Debugging SoC with FSM-Based Specification of On-Chip Communication Protocols.	ATVA	2011	DBLP DOI BibTeX RDF
17	Ernesto Sánchez 0001, Giovanni Squillero, Alberto Paolo Tonda	Evolution of Test Programs Exploiting a FSM Processor Model.	EvoApplications (2)	2011	DBLP DOI BibTeX RDF
17	Dina Sadat Jalali, Alireza Shahrbanoonezhad	A new intrusion detection method based on FSM and cache memory in ad hoc networks.	CCIS	2011	DBLP DOI BibTeX RDF
17	Maxim Zhigulin, Nina Yevtushenko 0001, Stéphane Maag, Ana R. Cavalli	FSM-Based Test Derivation Strategies for Systems with Time-Outs.	QSIC	2011	DBLP DOI BibTeX RDF
17	Che-Hua Shih, Ya-Ching Yang, Chia-Chih Yen, Juinn-Dar Huang, Jing-Yang Jou	FSM-Based Formal Compliance Verification of Interface Protocols.	J. Inf. Sci. Eng.	2010	DBLP BibTeX RDF
17	Iksoon Hwang, Ana R. Cavalli	Testing a probabilistic FSM using interval estimation.	Comput. Networks	2010	DBLP DOI BibTeX RDF
17	Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko 0001	FSM-based conformance testing methods: A survey annotated with experimental evaluation.	Inf. Softw. Technol.	2010	DBLP DOI BibTeX RDF
17	Konstantin Septinus, Peter Pirsch, Holger Blume, Ulrich Mayer	A fully programmable FSM-based Processing Engine for Gigabytes/s header parsing.	ICSAMOS	2010	DBLP DOI BibTeX RDF
17	Chi Hu, Xiaodan Zhuang, Mark Hasegawa-Johnson	FSM-based pronunciation modeling using articulatory phonological code.	INTERSPEECH	2010	DBLP DOI BibTeX RDF
17	Hui Chen 0005, Chunjie Zhou, Jie Ma, Yuanqing Qing	FSM model and analysis for reconfigurable protocol stack in networked control system.	ICCA	2010	DBLP DOI BibTeX RDF
17	Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski	Hardware reduction for FSM - Based control units using PAL technology.	EWDTS	2010	DBLP DOI BibTeX RDF
17	Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski	Reduction in the number of PAL macrocells for Moore FSM implemented with CPLD.	EWDTS	2010	DBLP DOI BibTeX RDF
17	Alexander Sudnitson, Dmitri Mihhailov, Margus Kruus	Advanced topics of FSM design using FPGA educational boards and web-based tools.	EWDTS	2010	DBLP DOI BibTeX RDF
17	Mikhail M. Chupilko	Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models.	EWDTS	2010	DBLP DOI BibTeX RDF
17	Xiaokang Zhou, Huaikou Miao	Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application.	ACIS-ICIS	2010	DBLP DOI BibTeX RDF
17	Yuan Miao 0001, Xuebing Yang	An FSM based GUI test automation model.	ICARCV	2010	DBLP DOI BibTeX RDF
17	NurQamarina MohdNoor, Azilah Saparon, Yusrina Yusof	Programmable MBIST Merging FSM and Microcode Techniques Using Macro Commands.	DFT	2010	DBLP DOI BibTeX RDF
17	Saurabh Chaudhury, Krishna Teja Sistla, Santanu Chattopadhyay	Genetic algorithm-based FSM synthesis with area-power trade-offs.	Integr.	2009	DBLP DOI BibTeX RDF
17	Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou	Automatic Verification Stimulus Generation for Interface Protocols Modeled With Non-Deterministic Extended FSM.	IEEE Trans. Very Large Scale Integr. Syst.	2009	DBLP DOI BibTeX RDF
17	Alexander Barkalov 0001, Larysa Titarenko	Logic Synthesis for FSM-Based Control Units		2009	DBLP DOI BibTeX RDF
17	Dongkyun Ahn, Gyungho Lee	StackLock with simple FSM.	EIT	2009	DBLP DOI BibTeX RDF
17	Kenneth Lind, Rogardt Heldal	Estimation of Real-Time Software Code Size using COSMIC FSM.	ISORC	2009	DBLP DOI BibTeX RDF
17	Alexander Sudnitson, Dmitri Mihhailov, Margus Kruus, Konstantin Tarletski	FSM decomposition with application to FPGA synthesis.	CompSysTech	2009	DBLP DOI BibTeX RDF
17	Babiga Birregah, Kondo H. Adjallah	A framework for FSM based multi-model approach to interconnected components network.	SMC	2009	DBLP DOI BibTeX RDF
17	Ying Hou, Rong Chen 0003, Zhenjun Du	Automated GUI Testing for J2ME Software Based on FSM.	ScalCom-EmbeddedCom	2009	DBLP DOI BibTeX RDF
17	Muhammad Adeel Pasha, Steven Derrien, Olivier Sentieys	Ultra Low-power FSM for Control Oriented Applications.	ISCAS	2009	DBLP DOI BibTeX RDF
17	Samary Baranov, Ilya Levin, Osnat Keren, Mark G. Karpovsky	Designing fault tolerant FSM by nano-PLA.	IOLTS	2009	DBLP DOI BibTeX RDF
17	Xinghao Jiang, Tanfeng Sun, Jiaqi Feng, Zhigao Lin, Huan Lu	A Novel Differential Energy Watermarking Scheme Based on FSM Model against Video Time-Space Tampering.	PCM	2009	DBLP DOI BibTeX RDF
17	Xi Wang 0017, Huaikou Miao, Liang Guo	Towards Automatic Transformation from UML Model to FSM Model for Web Applications.	J. Softw. Eng. Appl.	2008	DBLP DOI BibTeX RDF
17	Sambhu Nath Pradhan, M. Tilak Kumar, Santanu Chattopadhyay	Integrated Power-Gating and State Assignment for Low Power FSM Synthesis.	ISVLSI	2008	DBLP DOI BibTeX RDF
17	Ming Li, Shiyi Xu, Enjun Xia, Fayu Wang	Design of FSM with Concurrent Error Detection Based on Viterbi Decoding.	ATS	2008	DBLP DOI BibTeX RDF
17	Sarah Salahuddin, Kirill Bogdanov 0002, Neil Walkinshaw	Balanced FSM Generation for Empirical Studies.	ICST Workshops	2008	DBLP DOI BibTeX RDF
17	Yu Zhang 0003, Tao Li, Jia Sun, Renchao Qin	An FSM-Based Approach for Malicious Code Detection Using the Self-Relocation Gene.	ICIC (1)	2008	DBLP DOI BibTeX RDF	self-relocation gene, finite-state machine, malicious code detection
17	Tao He 0004, Huaikou Miao	Modeling and Composition of Web Application Components using Extended FSM.	ICNC (6)	2008	DBLP DOI BibTeX RDF
17	Danilo Ravotto, Ernesto Sánchez 0001, Massimiliano Schillaci, Giovanni Squillero	An Evolutionary Methodology for Test Generation for Peripheral Cores Via Dynamic FSM Extraction.	EvoWorkshops	2008	DBLP DOI BibTeX RDF	Peripheral testing, ?GP3, test generation, approximate methods, evolutionary methods
17	Duoli Zhang, Yu-Kun Song, Gaoming Du, Yuanjie Zhai	A technique of automatic monitor generation based on FSM.	APCCAS	2008	DBLP DOI BibTeX RDF
17	Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski	Reduction in the Number of PAL Macrocells in the Circuit of a Moore FSM.	Int. J. Appl. Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF
17	Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli	FSM Encoding for BDD Representations.	Int. J. Appl. Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF
17	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli	Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM.	IET Comput. Digit. Tech.	2007	DBLP DOI BibTeX RDF
17	Ke Xu 0014, Chiu-sing Choy, Cheong-Fat Chan, Kong-Pang Pun	Power-Efficient VLSI Realization of a Complex FSM for H.264/AVC Bitstream Parsing.	IEEE Trans. Circuits Syst. II Express Briefs	2007	DBLP DOI BibTeX RDF
17	Nainesh Agarwal, Nikitas J. Dimopoulos	Automated Power Gating of Registers Using CoDeL and FSM Branch Prediction.	SAMOS	2007	DBLP DOI BibTeX RDF
17	Huaikou Miao, Zhong-sheng Qian, Tao He 0004	Modeling Web Browser Interactions Using FSM.	APSCC	2007	DBLP DOI BibTeX RDF
17	Adenilso Simão, Alexandre Petrenko, José Carlos Maldonado	Experimental Evaluation of Coverage Criteria for FSM-based Testing.	SBES	2007	DBLP DOI BibTeX RDF
17	Franz Pichler	A Highly Nonlinear Cellular FSM-Combiner for Stream Ciphers.	EUROCAST	2007	DBLP DOI BibTeX RDF
17	Hasan Ural, Zhi Xu, Fan Zhang 0001	An Improved Approach to Passive Testing of FSM-based Systems.	AST	2007	DBLP DOI BibTeX RDF
17	Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko 0001	FSM Test Translation Through Context.	TestCom	2006	DBLP DOI BibTeX RDF
17	Joumana Dargham, Sukaina Al Nasrawi	FSM Behavioral Modeling Approach for Hypermedia Web Applications: FBM-HWA Approach.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
17	Christoforos N. Hadjicostis	Probabilistic detection of FSM single state-transition faults based on state occupancy measurements.	IEEE Trans. Autom. Control.	2005	DBLP DOI BibTeX RDF
17	Wen-Tsong Shiue	Power/area/delay aware FSM synthesis and optimization.	Microelectron. J.	2005	DBLP DOI BibTeX RDF
17	Mariusz Rawski, Henry Selvaraj, Tadeusz Luba	An application of functional decomposition in ROM-based FSM implementation in FPGA devices.	J. Syst. Archit.	2005	DBLP DOI BibTeX RDF
17	Christian Weiss	FSM and k-nearest-neighbor for corpus based video-realistic audio-visual synthesis.	INTERSPEECH	2005	DBLP DOI BibTeX RDF
17	Zoltán Pap, Gyula Csopaki, Sarolta Dibuz	On FSM-Based Fault Diagnosis.	TestCom	2005	DBLP DOI BibTeX RDF	output fault, transfer fault, fault diagnosis, Finite state machine, fault localization
17	Po-Chang Tsai, Sying-Jyan Wang, Feng-Ming Chang	FSM-based programmable memory BIST with macro command.	MTDT	2005	DBLP DOI BibTeX RDF
17	Arsalan Ali Shah, Zafar I. Malik, Shaukat Ali 0004	PP-FSM: Peer to Peer File Share for Multimedia.	WEC (2)	2005	DBLP BibTeX RDF
17	Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz	Transition-by-transition FSM traversal for reachability analysis in bounded model checking.	ICCAD	2005	DBLP DOI BibTeX RDF
17	Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz	Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal.	GI Jahrestagung (1)	2005	DBLP BibTeX RDF
17	Rita Dorofeeva, Nina Yevtushenko 0001, Khaled El-Fakih, Ana R. Cavalli	Experimental Evaluation of FSM-Based Testing Methods.	SEFM	2005	DBLP DOI BibTeX RDF
17	Khaled El-Fakih, Nina Yevtushenko 0001, Gregor von Bochmann	FSM-Based Incremental Conformance Testing Methods.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
17	Alvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger	Linear time universal coding and time reversal of tree sources via FSM closure.	IEEE Trans. Inf. Theory	2004	DBLP DOI BibTeX RDF
17	Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko 0001	FSM Based Interoperability Testing Methods for Multi Stimuli Model.	TestCom	2004	DBLP DOI BibTeX RDF
17	Alvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger	Linear time universal coding of tree sources via FSM closure.	ISIT	2004	DBLP DOI BibTeX RDF
17	Alvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger	Linear Time Universal Coding of Tree Sources via FSM Closure.	Data Compression Conference	2004	DBLP DOI BibTeX RDF
17	Lin Yuan, Pushkin R. Pari, Gang Qu 0001	Finding Redundant Constraints for FSM Minimization.	AAAI	2004	DBLP BibTeX RDF
17	Sérgio G. Araújo, Antonio Carneiro de Mesquita Filho, Aloysio Pedroza	Improvements in FSM Evolutions from Partial Input/Output Sequences.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
17	Luca Negri, Mariagiovanna Sami, David Macii, Alessandra Terranegra	FSM--based power modeling of wireless protocols: the case of bluetooth.	ISLPED	2004	DBLP DOI BibTeX RDF	bluetooth, power modeling, wireless protocols
17	Ralph Marczynski, Mitchell A. Thornton, Stephen A. Szygenda	Test vector generation and classification using FSM traversals.	ISCAS (5)	2004	DBLP BibTeX RDF
17	Mariusz Rawski, Henry Selvaraj, Tadeusz Luba	An Application of Functional Decomposition in ROM-Based FSM Implementation in FPGA Devices.	DSD	2003	DBLP DOI BibTeX RDF
17	Greg Michaelson, Kevin Hammond, Jocelyn Sérot	FSM-Hume is finite state.	Trends in Functional Programming	2003	DBLP BibTeX RDF