Search results for "FSMs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko 0001	Fault Detection within a Component of a System of Communicating FSMs.	TestCom	2002	DBLP BibTeX RDF
21	S. S. Shah, Eric William Endsley, Morrison Ray Lucas, Dawn M. Tilbury	Reconfigurable logic control using modular FSMs: Design, verification, implementation, and integrated error handling.	ACC	2002	DBLP DOI BibTeX RDF
21	Jessica Chen, Suganthan Subramaniam	A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java.	HICSS	2001	DBLP DOI BibTeX RDF	Java AWT and Swing, Finite state machines, Specification-based testing, Capture/Replay
21	Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton	Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks.	Formal Methods Syst. Des.	2000	DBLP DOI BibTeX RDF
21	Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko 0001	Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs.	TestCom	2000	DBLP BibTeX RDF
21	M. Ümit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer	Testing protocols modeled as FSMs with timing parameters.	Comput. Networks	1999	DBLP DOI BibTeX RDF
21	Kamel Karoui, Abderrazak Ghedamsi, Rachida Dssouli	A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs.	ISCC	1999	DBLP DOI BibTeX RDF	Design, Controllability, Abstraction, Fuzziness, Testability, Diagnostics, Distinguishability
21	Hiroyuki Higuchi, Fabio Somenzi	Lazy group sifting for efficient symbolic state traversal of FSMs.	ICCAD	1999	DBLP DOI BibTeX RDF
21	Loc Bao Nguen, Marek A. Perkowski, Lech Józwiak	Design of Self-Synchronized Component FSMs for Self-Timed Systems.	EUROMICRO	1998	DBLP DOI BibTeX RDF
21	Lilia Kashirova, Olga Tveretina	Entropy-Based Design of Low Power FSMs.	EUROMICRO	1998	DBLP DOI BibTeX RDF
21	Wilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha	An Exact Input Encoding Algorithm for BDDs Representing FSMs.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	input encoding, finite state machines, binary decision diagrams, multi-valued decision diagrams
21	Franco Fummi, Donatella Sciuto	A complete testing strategy based on interacting and hierarchical FSMs.	Integr.	1997	DBLP DOI BibTeX RDF
21	Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Theory and algorithms for state minimization of nondeterministic FSMs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
21	Manfred Koegst, Günter Franke, Steffen Rülke, Klaus Feske	Low Power Design of FSMs by State Assignment and Disabling Self-Loops.	EUROMICRO	1997	DBLP DOI BibTeX RDF	FSM synthesis, encoding constraints, low power design, clock gating, state assignment
21	Michele Favalli, Luca Benini, Giovanni De Micheli	Design for Testability of Gated-Clock FSMs.	ED&TC	1996	DBLP DOI BibTeX RDF
21	Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto	Test Generation for Networks of Interacting FSMs Using Symbolic Techniques.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF
21	X. Wendling, Raphaël Rochet, Régis Leveugle	Standard and ROM-based synthesis of FSMs with control flow checking capabilities.	VTS	1996	DBLP DOI BibTeX RDF	read-only storage, sequencing error detection, ROM architecture, finite state machines, finite state machine, integrated circuit testing, error detection, automatic testing, integrated circuit design, FSM, automatic synthesis, control flow checking
21	Maria J. Avedillo, José M. Quintana, José Luis Huertas	Constrained state assignment of easily testable FSMs.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	Finite state machines, synthesis for testability, state assignment
21	Gianpiero Cabodi, Stefano Quer, Paolo Camurati	Computing subsets of equivalence classes for large FSMs.	EURO-DAC	1995	DBLP DOI BibTeX RDF
21	Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann	Modeling basic LOTOS by FSMs for conformance testing.	PSTV	1995	DBLP BibTeX RDF
21	Luca Benini, Giovanni De Micheli	Transformation and synthesis of FSMs for low-power gated-clock implementation.	ISLPD	1995	DBLP DOI BibTeX RDF
21	Vamshi Veeramachaneni, Akhilesh Tyagi, Suresh Rajgopal	Re-encoding for low power state assignment of FSMs.	ISLPD	1995	DBLP DOI BibTeX RDF
21	Cristiana Bolchini, R. Montandon, Fabio Salice, Donatella Sciuto	Self-checking FSMs based on a constant distance state encoding.	DFT	1995	DBLP DOI BibTeX RDF
21	Shihming Liu, Massoud Pedram, Alvin M. Despain	A Fast State Assignment Procedure for Large FSMs.	DAC	1995	DBLP DOI BibTeX RDF
21	Michel Langevin, Eduard Cerny	An Extended OBDD Representation for Extended FSMs.	EDAC-ETC-EUROASIC	1994	DBLP DOI BibTeX RDF
21	Wen-Lin Yang, Robert Michael Owens, Mary Jane Irwin	FPGA-based synthesis of FSMs through decomposition.	Great Lakes Symposium on VLSI	1994	DBLP DOI BibTeX RDF
21	Régis Leveugle, Raphaël Rochet, Gabriele Saucier	Alternative Approaches to Fault Detection in FSMs.	DFT	1994	DBLP BibTeX RDF
21	Bapiraju Vinnakota, Jason Andrews	Functional Test Generation for FSMs by Fault Extraction.	DAC	1994	DBLP DOI BibTeX RDF
21	Chi-Ying Tsui, Massoud Pedram, Alvin M. Despain	Exact and Approximate Methods for Calculating Signal and Transition Probabilities in FSMs.	DAC	1994	DBLP DOI BibTeX RDF
21	Hosam AboElFotoh, Osman Abou-Rabia, Hasan Ural	A test generation algorithm for systems modelled as non-deterministic FSMs.	Softw. Eng. J.	1993	DBLP DOI BibTeX RDF
21	M. G. Sami, Donatella Sciuto, Renato Stefanelli	Concurrently self-checking structures for Fsms.	Microprocess. Microprogramming	1993	DBLP DOI BibTeX RDF
21	Dipanwita Roy Chowdhury, Supratik Chakraborty, B. Vamsi, B. Pal Chaudhuri	Cellular automata based synthesis of easily and fully testable FSMs.	ICCAD	1993	DBLP DOI BibTeX RDF
21	Steve C.-Y. Huang, Wayne H. Wolf	Scheduling a minimum dependence in FSMs.	ICCAD	1993	DBLP DOI BibTeX RDF
21	David Lee 0001, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar	Conformance Testing of Protocols Specified as Communicating FSMs.	INFOCOM	1993	DBLP DOI BibTeX RDF
21	Maria J. Avedillo, José M. Quintana, José L. Huertas	Easily Testable PLA-based FSMS.	ISCAS	1993	DBLP BibTeX RDF
21	Régis Leveugle	Optimized State Assignment of single fault Tolerant FSMs Based on SEC Codes.	DAC	1993	DBLP DOI BibTeX RDF
21	Tiziana Margaria	Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level.	TPCD	1992	DBLP BibTeX RDF
21	Lew Fock Chong Lew Yan Voon, Christian Dufaza, Christian Landrault	Quasi-Linear FSMS and their Application to the Generation of Deterministic and Pseudo-random Test Vectors.	VLSI Design	1992	DBLP DOI BibTeX RDF
21	Martin Geiger, Thomas Müller-Wipperfürth	FSM Decomposition Revisited: Algebraic Structure Theory Applied to MCNC Benchmark FSMs.	DAC	1991	DBLP DOI BibTeX RDF
11	Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa	The impact of EFSM composition on functional ATPG.	DDECS	2009	DBLP DOI BibTeX RDF
11	Grzegorz Borowik, Tadeusz Luba, Bogdan J. Falkowski	Logic synthesis method for pattern matching circuits implementation in FPGA with embedded memories.	DDECS	2009	DBLP DOI BibTeX RDF
11	Carlos Molinero, Manuel Núñez 0001, César Andrés	Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences.	IWANN (1)	2009	DBLP DOI BibTeX RDF
11	Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu	Using a SAT solver to generate checking sequences.	ISCIS	2009	DBLP DOI BibTeX RDF
11	Grzegorz Borowik, Tadeusz Luba	Decomposing Pattern Matching Circuit.	EUROCAST	2009	DBLP DOI BibTeX RDF	FPGA, Pattern matching, Finite state machine, Decomposition, Logic synthesis, Embedded memory, Address generator
11	Jason Agron	Domain-Specific Language for HW/SW Co-design for FPGAs.	DSL	2009	DBLP DOI BibTeX RDF
11	Guy-Vincent Jourdan, Gregor von Bochmann	On Testing 1-Safe Petri Nets.	TASE	2009	DBLP DOI BibTeX RDF
11	Lin Yuan, Gang Qu 0001, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli	An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
11	Ronghua Liang, Mingmin Zhang, Zhen Liu 0002, Meleagros A. Krokos	Cognitive and synthetic behavior of avatars in intelligent virtual environments.	Virtual Real.	2008	DBLP DOI BibTeX RDF	Expression animation, Walking synthetic behavior, Expression cloning, Autonomous agent models, FSM
11	Per Kristian Lehre, Xin Yao 0001	Crossover Can Be Constructive When Computing Unique Input Output Sequences.	SEAL	2008	DBLP DOI BibTeX RDF
11	Amir Teymourian, Thorsten Lüth, Axel Graeser, Torsten Felzer, Rainer Nordmann	Brain-controlled finite state machine for wheelchair navigation.	ASSETS	2008	DBLP DOI BibTeX RDF	stea dy-state visual evoked potentials (ssvep), human-computer interaction, finite state machine (fsm), brain-computer interface (bci)
11	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
11	Jin Kyu Kim, Hyung Gyu Lee, Shinho Choi, Kyoung Il Bahng	A PRAM and NAND flash hybrid architecture for high-performance embedded storage subsystems.	EMSOFT	2008	DBLP DOI BibTeX RDF	pram, file system, flash translation layer (ftl), nand flash
11	Jie Jiang, Bo Xu	Towards the Automatically Semantic Scoring in Language Proficiency Evaluation.	ICALT	2008	DBLP DOI BibTeX RDF
11	Mayur Bubna, Naresh Shenoy, Santanu Chattopadhyay	An efficient greedy approach to PLA folding.	ISCAS	2008	DBLP DOI BibTeX RDF
11	Hideki Aoyama, Motoyuki Ozeki, Yuichi Nakamura 0001	Interaction Reproducing Model: A Model for Giving Supports Appropriate to User State.	PCM	2008	DBLP DOI BibTeX RDF
11	Terry Coatta	Things I Learned in School.	ACM Queue	2007	DBLP DOI BibTeX RDF	UI, server, FSM, callback
11	Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser	Periodic Finite-State Machines.	ISORC	2007	DBLP DOI BibTeX RDF
11	Huaikou Miao, Zhong-sheng Qian, Tao He 0004	Modeling Web Browser Interactions Using FSM.	APSCC	2007	DBLP DOI BibTeX RDF
11	Irwin O. Kennedy	Implementation of Low Frequency Finite State Machines Using the VIRTEX SRL16 Primitive.	FPL	2007	DBLP DOI BibTeX RDF
11	Asli Celikyilmaz, I. Burhan Türksen	Evolution of Fuzzy System Models: An Overview and New Directions.	RSFDGrC	2007	DBLP DOI BibTeX RDF	data mining, knowledge discovery, Fuzzy systems, soft computing
11	Liang Bai, Songyang Lao, Gareth J. F. Jones, Alan F. Smeaton	A Semantic Content Analysis Model for Sports Video Based on Perception Concepts and Finite State Machines.	ICME	2007	DBLP DOI BibTeX RDF
11	Graema Milligan, Wim Vanderbauwhede	Implementation of Finite State Machines on a Reconfigurable Device.	AHS	2007	DBLP DOI BibTeX RDF
11	Jorge Luis Lagos-Benites, Davide Appello, Paolo Bernardi, Michelangelo Grosso, Danilo Ravotto, Edgar E. Sánchez, Matteo Sonza Reorda	An Effective Approach for the Diagnosis of Transition-Delay Faults in SoCs, based on SBST and Scan Chains.	DFT	2007	DBLP DOI BibTeX RDF
11	Ronald Uriel Ruiz Ordóñez, Josep Lluís de la Rosa, Javier Guzmán-Obando	Strategy recommender agents (ALEX) - the methodology.	AAMAS	2007	DBLP DOI BibTeX RDF	fuzzified strategic maps, performance management, recommender agents
11	R. Beaufort, Céline Mancas-Thillou	A Weighted Finite-State Framework for Correcting Errors in Natural Scene OCR.	ICDAR	2007	DBLP DOI BibTeX RDF
11	Jens Lemcke, Andreas Friesen	Composing Web-service-like Abstract State Machines (ASMs).	IEEE SCW	2007	DBLP DOI BibTeX RDF
11	Sobeeh Almukhaizim, Petros Drineas, Yiorgos Makris	Entropy-driven parity-tree selection for low-overhead concurrent error detection in finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
11	Warren A. Hunt Jr., Erik Reeber	A SAT-based procedure for verifying finite state machines in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF	satisfiability solving, theorem proving, hardware verification, ACL2
11	Jessica Chen, Hasan Ural	Detecting Observability Problems in Distributed Testing.	TestCom	2006	DBLP DOI BibTeX RDF	distributed test architecture, testing, controllability, Finite state machine, observability
11	Andrzej Król, Mehmet Z. Unlu, Alphonso Magri, Edward Lipson, Ioana Coman, James A. Mandel, Karl G. Baum, David H. Feiglin	Iterative finite element deformable model for nonrigid coregistration of multimodal breast images.	ISBI	2006	DBLP DOI BibTeX RDF
11	Chao Sun 0002, Fazel Naghdy, David Stirling	Application of MML to Motor Skills Acquisition.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
11	Steffen Toscher, Roland Kasper, Thomas Reinemann	Implementation of a reconfigurable hard real-time control system for mechatronic and automotive applications.	IPDPS	2006	DBLP DOI BibTeX RDF
11	Jeffrey William Schuster, Kshitij Gupta, Raymond R. Hoare	Speech silicon AM: an FPGA-based acoustic modeling pipeline for hidden Markov model based speech recognition.	IPDPS	2006	DBLP DOI BibTeX RDF
11	Erik Reeber, Warren A. Hunt Jr.	A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA).	IJCAR	2006	DBLP DOI BibTeX RDF
11	ChangRyul Yun, YoungHwan Bae, HanJin Cho, KyoungSon Jhang	Automatic Synthesis of Interface Circuits from Simplified IP Interface Protocols.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
11	Rui Zhang, Niraj K. Jha	State Encoding of Finite-State Machines Targeting Threshold and Majority Logic Based Implementations with Application to Nanotechnologies.	VLSI Design	2006	DBLP DOI BibTeX RDF
11	Diana Arellano Távara, Andreas Meier 0008	Agents with Personality for Videogames.	AMDO	2006	DBLP DOI BibTeX RDF	motivational state, inter-active narrative, Unreal, agents, artificial intelligence, personality, standard, emotion, map, fuzzy set, memory, event, behavior, actor, action, goal, fuzzy rules, attitude, mood
11	Ying Huang, Santhosh Kumaran, Jen-Yao Chung	A model-driven framework for enterprise service management.	Inf. Syst. E Bus. Manag.	2005	DBLP DOI BibTeX RDF	Enterprise service management, Web services, Service-oriented architecture, Model-driven architecture
11	Francesco Bruschi, Fabrizio Ferrandi, Donatella Sciuto	A Framework for the Functional Verification of SystemC Models.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	SystemC, test pattern generator, Functional verification
11	Biplab K. Sikdar, Samir Roy, Debesh K. Das	A Degree-of-Freedom Based Synthesis Scheme for Sequential Machines with Enhanced BIST Quality and Reduced Area.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	emitability, FSM state encoding, reachability, degree-of-freedom
11	Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita	Synchronization verification in system-level design with ILP solvers.	MEMOCODE	2005	DBLP DOI BibTeX RDF
11	Marcelo d'Amorim, Grigore Rosu	Efficient Monitoring of omega-Languages.	CAV	2005	DBLP DOI BibTeX RDF
11	Biplab K. Sikdar, Arijit Sarkar, Samir Roy, Debesh K. Das	Synthesis of Testable Finite State Machine Through Decomposition.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF	emitability, FSM state encoding, decomposition, reachability, degree-of-freedom
11	Zhigeng Pan, Hongwei Yang, Bing Xu, Mingmin Zhang	Building a Believable Character for Real-Time Virtual Environments.	ACII	2005	DBLP DOI BibTeX RDF
11	Fahong Li, Robert J. Woodham	Analysis of Player Actions in Selected Hockey Game Situations.	CRV	2005	DBLP DOI BibTeX RDF
11	Dipnarayan Guha, Seng Kyoun Jo, Doan Huy Cuong, Jun Kyun Choi	Considerations of Point-to-Multipoint QoS Based Route Optimization Using PCEMP.	EUC	2005	DBLP DOI BibTeX RDF
11	Vikram Singh Saun, Preeti Ranjan Panda	Extracting Exact Finite State Machines from Behavioral SystemC Descriptions.	VLSI Design	2005	DBLP DOI BibTeX RDF
11	Zoltán Pap, Gyula Csopaki, Sarolta Dibuz	On the Theory of Patching.	SEFM	2005	DBLP DOI BibTeX RDF	optimal patch, edit operations, finite state machine, update, edit distance, patching
11	Luca Macchiarulo, Shih-Min Shu, Malgorzata Marek-Sadowska	Pipelining Sequential Circuits with Wave Steering.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
11	Ali Y. Duale, M. Ümit Uyar	A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	test generation, VHDL, Conformance testing, FSM, Estelle, EFSM
11	Soonuk Seol, Myungchul Kim 0001, Samuel T. Chanson, Sungwon Kang	Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
11	Peter Zipf, Claude Stötzler, Manfred Glesner	A Configurable Pipelined State Machine as a Hybrid ASIC and Configurable Architecture.	ISVLSI	2004	DBLP DOI BibTeX RDF
11	Cao Cao, Bengt Oelmann	Mixed Synchronous/Asynchronous State Memory for Low Power FSM Design.	DSD	2004	DBLP DOI BibTeX RDF
11	Asaad Hakeem, Mubarak Shah	Ontology and Taxonomy Collaborated Framework for Meeting Classification.	ICPR (4)	2004	DBLP DOI BibTeX RDF
11	Xumin Liu, Houkuan Huang, Weixiang Xu	An intelligent system of on space surface modeling.	SMC (5)	2004	DBLP DOI BibTeX RDF
11	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
11	Sobeeh Almukhaizim, Petros Drineas, Yiorgos Makris	Concurrent Error Detection for Combinational and Sequential Logic via Output Compaction.	ISQED	2004	DBLP DOI BibTeX RDF
11	Ying Huang, Santhosh Kumaran, Jen-Yao Chung	A Service Management Framework for Service-Oriented Enterprises.	CEC	2004	DBLP DOI BibTeX RDF
11	Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava	Model Checking Correctness Properties of Electronic Contracts.	ICSOC	2003	DBLP DOI BibTeX RDF	contract representation, contract enforcement, correctness requirements, safety and liveness properties, model-checking, validation, finite state machine, Contract, electronic contract
11	Ryunosuke Nishimoto, Jun Tani	Learning to Generate Combinatorial Action Sequences Utilizing the Initial Sensitivity of Deterministic Dynamical Systems.	IWANN (1)	2003	DBLP DOI BibTeX RDF