Search results for "FSM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Hasan Ural, Craig Williams	Constructing checking sequences for distributed testing.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Distributed test architectures, Controllability and observability problems, Test coordination, Finite state machine-based testing, Distributed testing, Checking sequence
19	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
19	Vít Fábera, Vlastimil Jánes, Mária Jánesová	Automata Construct with Genetic Algorithm.	DSD	2006	DBLP DOI BibTeX RDF
19	Jonatan Alava, Tariq M. King, Peter J. Clarke	Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF	Model Validation and Analysis, Testing and Debugging
19	Shih-Hsu Huang, Chia-Ming Chang 0002, Yow-Tyng Nieh	State re-encoding for peak current minimization.	ICCAD	2006	DBLP DOI BibTeX RDF	peak current, sequential circuit synthesis, finite state machine
19	Kaisa Nyberg, Johan Wallén	Improved Linear Distinguishers for SNOW 2.0.	FSE	2006	DBLP DOI BibTeX RDF	SNOW 2.0, linear masking method, Stream cipher, modular addition
19	Hua-Qing Min, Jia-Xing Hui, Yansheng Lu, Jia-zhi Jiang	Probability Fuzzy Cognitive Map for Decision-Making in Soccer Robotics.	IAT	2006	DBLP DOI BibTeX RDF	Probability fuzzy cognitive map, decision-making model of soccer robot, weight value measurement, decision time, machine learning
19	Aiman H. El-Maleh, Sadiq M. Sait, F. Nawaz Khan	Finite state machine state assignment for area and power minimization.	ISCAS	2006	DBLP DOI BibTeX RDF
19	Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid	Finite State Machine IP Watermarking: A Tutorial.	AHS	2006	DBLP DOI BibTeX RDF
19	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli	EFSM Manipulation to Increase High-Level ATPG Effectiveness.	ISQED	2006	DBLP DOI BibTeX RDF
19	Rafik Bouaziz, Salem Chakhar	Towards a Flexible Query Language.	SITIS	2006	DBLP DOI BibTeX RDF	Fuzzy Logic, Flexible Querying, Fuzzy Database
19	Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan 0001, Chiara Ghidini, Luciano Serafini	Verifying space and time requirements for resource-bounded agents.	AAMAS	2006	DBLP DOI BibTeX RDF	MBP, resource-bounded agents
19	Ping Yi, YiPing Zhong, Shiyong Zhang	A Novel Intrusion Detection Method for Mobile Ad Hoc Networks.	EGC	2005	DBLP DOI BibTeX RDF
19	Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün	Eliminating Redundant Tests in a Checking Sequence.	TestCom	2005	DBLP DOI BibTeX RDF
19	Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid	A Public-Key Watermarking Technique for IP Designs.	DATE	2005	DBLP DOI BibTeX RDF
19	Zhenyu Liu, Tughrul Arslan, Sami Khawam, Iain Lindsay	A high performance synthesisable unsymmetrical reconfigurable fabric for heterogeneous finite state machines.	ASP-DAC	2005	DBLP DOI BibTeX RDF
19	Sreeram Ramakrishnan, Mayur Thakur	An SDS modeling approach for simulation-based control.	WSC	2005	DBLP DOI BibTeX RDF
19	Warren A. Hunt Jr., Erik Reeber	Formalization of the DE2 Language.	CHARME	2005	DBLP DOI BibTeX RDF
19	K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün	Generalizing Redundancy Elimination in Checking Sequences.	ISCIS	2005	DBLP DOI BibTeX RDF
19	Neha Rungta, Eric G. Mercer	A context-sensitive structural heuristic for guided search model checking.	ASE	2005	DBLP DOI BibTeX RDF	structural heuristics, guided search
19	Alexandre Petrenko, Sergiy Boroday, Roland Groz	Confirming Configurations in EFSM Testing.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	test derivation, model checking, Formal methods, model-based testing, conformance testing, functional testing, test design, extended finite state machine, state identification
19	Bahattin Ozen, Ozgur Kilic, Mehmet Altinel, Asuman Dogac	Highly Personalized Information Delivery to Mobile Clients.	Wirel. Networks	2004	DBLP DOI BibTeX RDF	querying XML documents, information delivery to mobile devices, personalization, user profiles, query indexing
19	Christian Wiegand, Christian Siemers, Harald Richter 0001	Definition of a Configurable Architecture for Implementation of Global Cellular Automaton.	ARCS	2004	DBLP DOI BibTeX RDF
19	Özge Uncu, Kemal Kilic, I. Burhan Türksen	A new fuzzy inference approach based on Mamdani inference using discrete type 2 fuzzy sets.	SMC (3)	2004	DBLP DOI BibTeX RDF
19	Luca Negri, Domenico Barretta, William Fornaciari	Application-level power management in pervasive computing systems: a case study.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	pervasive computing, power management, virtual campus
19	Khaled El-Fakih, Nina Yevtushenko 0001	Fault Propagation by Equation Solving.	FORTE	2004	DBLP DOI BibTeX RDF
19	Yanlei Diao, Mehmet Altinel, Michael J. Franklin, Hao Zhang 0003, Peter M. Fischer 0001	Path sharing and predicate evaluation for high-performance XML filtering.	ACM Trans. Database Syst.	2003	DBLP DOI BibTeX RDF	Nondeterministic Finite Automaton, XML filtering, content-based matching, nested path expressions., path sharing, predicate evaluation, structure matching
19	Petros Drineas, Yiorgos Makris	Non-Intrusive Concurrent Error Detection in FSMs through State/Output Compaction and Monitoring via Parity Trees.	DATE	2003	DBLP DOI BibTeX RDF
19	Ivan Augé, François Donnet, Frédéric Pétrot	Retiming Finite State Machines to Control Hardened Data-Paths.	SBCCI	2003	DBLP DOI BibTeX RDF
19	Christoforos N. Hadjicostis	Encoded finite-state machines for non-concurrent error detection and identification.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
19	Sunwoong Yang, MoonJoon Kim, JaeHeung Park, Hoon Chang	A Study on Insuring the Full Reliability of Finite State Machine.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
19	Konstantinos Rokas, Yiorgos Makris, Dimitris Gizopoulos	Low Cost Convolutional Code Based Concurrent Error Detection in FSMs.	DFT	2003	DBLP DOI BibTeX RDF
19	Liang Zhang 0012, Indradeep Ghosh, Michael S. Hsiao	Efficient Sequential ATPG for Functional RTL Circuits.	ITC	2003	DBLP DOI BibTeX RDF
19	Zhen Li, Makoto Nonaka, Akihiro Kakurai, Motoei Azuma	Measuring Functional Size of Interactive Software: A Support System Based on XForms-Format User Interface Specifications.	QSIC	2003	DBLP DOI BibTeX RDF
19	Sezer Gören 0001, F. Joel Ferguson	CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines.	DATE	2002	DBLP DOI BibTeX RDF
19	G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran	Projected state machine coverage for software testing.	ISSTA	2002	DBLP DOI BibTeX RDF	state machine projection., validation, automated test generation, finite state machine modeling
19	John Whaley, Michael C. Martin, Monica S. Lam	Automatic extraction of object-oriented component interfaces.	ISSTA	2002	DBLP DOI BibTeX RDF
19	Mikael Kerttu, Per Lindgren, Mitchell A. Thornton, Rolf Drechsler	Switching activity estimation of finite state machines for low power synthesis.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
19	Vesa Lahtinen, Kimmo Kuusilinna, Timo Hämäläinen 0001	Optimizing finite state machines for system-on-chip communication.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
19	Sezer Gören 0001, F. Joel Ferguson	Testing Finite State Machines Based on a Structural Coverage Metric .	ITC	2002	DBLP DOI BibTeX RDF
19	Raymond E. Miller, Khaled A. Arisha	Fault Identification in Networks by Passive Testing.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
19	Apostolos Dollas, Kyprianos Papademetriou, Nikolaos Aslanides, Tom Kean	A Reconfigurable Embedded Input Device for Kinetically Challenged Persons.	FPL	2001	DBLP DOI BibTeX RDF
19	Bahattin Ozen, Ozgur Kilic, Mehmet Altinel, Asuman Dogac	Highly personalized information delivery to mobile clients.	MobiDE	2001	DBLP DOI BibTeX RDF	XML-QL, mobile E-commerce, XML, personalization
19	Umberto Cerruti, Mario Giacobini, Pierre Liardet	Prediction of Binary Sequences by Evolving Finite State Machines.	Artificial Evolution	2001	DBLP DOI BibTeX RDF
19	Diana Marculescu, Radu Marculescu, Massoud Pedram	Theoretical bounds for switching activity analysis in finite-state machines.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
19	Luca Macchiarulo, Shih-Ming Shu, Malgorzata Marek-Sadowska	Wave Steered FSMs.	DATE	2000	DBLP DOI BibTeX RDF
19	Akira Ishii	3-D Shape Measurement Using a Focused-Section Method.	ICPR	2000	DBLP DOI BibTeX RDF
19	Valery Sklyarov	Synthesis and Implementation of RAM-Based Finite State Machines in FPGAs.	FPL	2000	DBLP DOI BibTeX RDF
19	Franco Fummi, Donatella Sciuto, Micaela Serra	Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	sequential circuits, functional testing, Synthesis for testability, logic minimization, redundant faults, redundancies removal
19	Vassilios Chatzis, Ioannis Pitas	Fuzzy scalar and vector median filters based on fuzzy distances.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
19	Peter Bodorik, Dawn N. Jutla, Jacob Slonim, A. Agarwal	Locking with Different Granularities for Reads and Writes in an MVM System.	IDEAS	1999	DBLP DOI BibTeX RDF
19	Gianpiero Cabodi, Paolo Camurati, Claudio Passerone, Stefano Quer	Computing Timed Transition Relations for Sequential Cycle-Based Simulation.	DATE	1999	DBLP DOI BibTeX RDF
19	Kamran Zarrineh, Shambhu J. Upadhyaya	On Programmable Memory Built-In Self Test Architectures.	DATE	1999	DBLP DOI BibTeX RDF
19	Eduard Cerny, Fen Jin	Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming.	ICCD	1999	DBLP DOI BibTeX RDF	Interface verification, interface controllers, relational interval arithmetic, constraint logic programming, timing verification, timing diagrams
19	Oskar Mencer, Marco Platzner	Dynamic Circuit Generation for Boolean Satisfiability in an Object-Oriented Design Environment.	HICSS	1999	DBLP DOI BibTeX RDF
19	Noppanunt Utamaphethai, R. D. (Shawn) Blanton, John Paul Shen	Superscalar Processor Validation at the Microarchitecture Level.	VLSI Design	1999	DBLP DOI BibTeX RDF
19	B. N. V. Malleswara Gupta, H. Narayanan, Madhav P. Desai	A State Assignment Scheme Targeting Performance and Area.	VLSI Design	1999	DBLP DOI BibTeX RDF
19	Diana Marculescu, Radu Marculescu, Massoud Pedram	Theoretical bounds for switching activity analysis in finite-state machines.	ISLPED	1998	DBLP DOI BibTeX RDF
19	Eduard Cerny, Fen Jin	Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming.	EUROMICRO	1998	DBLP DOI BibTeX RDF
19	Diego C. Ruspini, Oussama Khatib, Giovanni De Micheli	Hardware-Softw are Run-Time Systems and Robotics: A Case Study Vincent John Mooney III.	EUROMICRO	1998	DBLP DOI BibTeX RDF
19	Priyank Kalla, Maciej J. Ciesielski	A comprehensive approach to the partial scan problem using implicit state enumeration.	ITC	1998	DBLP DOI BibTeX RDF
19	Dechang Sun, Bapiraju Vinnakota, Wanli Jiang	Fast State Verification.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
19	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell, John Moondanos	Automatic verification of implementations of large circuits against HDL specifications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
19	Andre Hertwig, Hans-Joachim Wunderlich	Fast controllers for data dominated applications.	ED&TC	1997	DBLP DOI BibTeX RDF
19	Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno	Asynchronous Implementation of Synchronous Esterel Specifications.	VLSI Design	1997	DBLP DOI BibTeX RDF
19	Raj S. Mitra, Partha S. Roop, Anupam Basu	A new algorithm for implementation of design functions by available devices.	IEEE Trans. Very Large Scale Integr. Syst.	1996	DBLP DOI BibTeX RDF
19	Luca Benini, Patrick Vuillod, Claudionor José Nunes Coelho Jr., Giovanni De Micheli	Synthesis of Low-Power Selectively-Clocked Systems from High-Level Specification.	ISSS	1996	DBLP DOI BibTeX RDF	low power, High level synthesis, finite state machines, gated clocks
19	Raimund Ubar, Marina Brik	Multi-Level Test Generation and Fault Diagnosis for Finite State Machines.	EDCC	1996	DBLP DOI BibTeX RDF
19	Olivier Coudert, C.-J. Richard Shi	Exact Dichotomy-based Constrained Encodi.	ICCD	1996	DBLP DOI BibTeX RDF	Sequential logic synthesis, constrained state encoding, clique partition, set covering, dichotomy, ZBDD
19	Guevara Noubir, Berthe Y. Choueiry, Henri J. Nussbaumer	Fault tolerant multiple observers using error control codes.	ICNP	1996	DBLP DOI BibTeX RDF
19	José Salinas, Nohpill Park, U. Arunkumar, Fabrizio Lombardi	Conformance Testing of Time-Dependent Protocols.	ICECCS	1996	DBLP DOI BibTeX RDF
19	Fong Pong, Michel Dubois 0001	A New Approach for the Verification of Cache Coherence Protocols.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	symbolic expansion, formal verification, finite state machine, shared-memory multiprocessor, Cache coherence protocol
19	Luciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	An efficient heuristic procedure for solving the state assignment problem for event-based specifications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
19	Adnan Aziz, Felice Balarin, Robert K. Brayton, Marika Domenica Di Benedetto, Alexander Saldanha	Supervisory Control of Finite State Machines.	CAV	1995	DBLP DOI BibTeX RDF
19	Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha	Testing of Object-Oriented Programs Based on Finite State Machines.	APSEC	1995	DBLP DOI BibTeX RDF	software testing, object-oriented programs, finite state machines, classes
19	Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Sequential synthesis using S1S.	ICCAD	1995	DBLP DOI BibTeX RDF	S1S, sequntial synthesis, discrete control, finite state machine
19	Chung-Shyan Liu	An Object-Based Approach to Protocol Software Implementation.	SIGCOMM	1994	DBLP DOI BibTeX RDF
19	Jianchun Zhang	A formal specification model and its application in multidatabase systems.	CASCON	1994	DBLP BibTeX RDF
19	Ruchir Puri, Jun Gu	An efficient algorithm to search for minimal closed covers in sequential machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
19	Bernhard Eschermann, Hans-Joachim Wunderlich	Optimized synthesis techniques for testable sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
19	Neri Merhav, Meir Feder	Universal Sequential Learning and Decision from Individual Data Sequences.	COLT	1992	DBLP DOI BibTeX RDF
19	Pranav Ashar, Srinivas Devadas, A. Richard Newton	Optimum and heuristic algorithms for an approach to finite state machine decomposition.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
19	Doron Drusinsky-Yoresh	Decision problems for interacting finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
19	Wenbo Mao, George J. Milne	An Automated Proof Technique for Finite-State Machine Equivalence.	CAV	1991	DBLP DOI BibTeX RDF
19	Vishwani D. Agrawal, Kwang-Ting Cheng	Finite state machine synthesis with embedded test function.	J. Electron. Test.	1990	DBLP DOI BibTeX RDF	VLSI, Computer-Aided Design, Test Generation, Logic Synthesis, Synthesis for Testability
19	Vishwani D. Agrawal, Kwang-Ting Cheng	Test Function Specification in Synthesis.	DAC	1990	DBLP DOI BibTeX RDF
19	Franz Pichler	CAST-Modelling Approaches in Engineering Design.	EUROCAST	1989	DBLP DOI BibTeX RDF
19	Pierre G. Paulin	Horizontal Partitioning of PLA-based Finite State Machines.	DAC	1989	DBLP DOI BibTeX RDF
19	Alan J. Coppola	An implementation of a state assignment heuristic.	DAC	1986	DBLP DOI BibTeX RDF
18	Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz 0001	DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems.	ICWS	2011	DBLP DOI BibTeX RDF	Web services composition, Conformance, FSM, WS-BPEL, WS-CDL
18	Shengbo Chen, Huaikou Miao	Modeling and Verifying for Frameset-Based Web Applications.	TASE	2011	DBLP DOI BibTeX RDF	Web Frameset, Model Checking, Web Applications, FSM
18	Jinjing Zhao, Gang Zhao, Yan Wen, Xiang Li 0078	Towards Detecting the Interaction Vulnerabilities in Large Distributed System.	CIT	2010	DBLP DOI BibTeX RDF	Large distributed system, entity interaction model, FSM, vulnerability analysis
18	Sylvie Trudel, Alain Abran	Functional Requirement Improvements through Size Measurement: A Case Study with Inexperienced Measurers.	SERA	2010	DBLP DOI BibTeX RDF	Functional size, measurement, requirements, quality, inspection, review, FSM, improvement, COSMIC
18	Rajiv Ranjan Suman, Rajib Mall	State model extraction of a software component by observing its behavior.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	reverse engineering, software component, FSM, state model
18	Diego F. Sánchez, Daniel M. Muñoz, Carlos H. Llanos, Jose M. Motta	FPGA Implementation for Direct Kinematics of a Spherical Robot Manipulator.	ReConFig	2009	DBLP DOI BibTeX RDF	Direct Kinematics, FPGA, Floating-point, Robot Manipulator, FSM
18	Sylvie Trudel, Alain Abran	Functional Size Measurement Quality Challenges for Inexperienced Measurers.	IWSM/Mensura	2009	DBLP DOI BibTeX RDF	Functional size, COSMIC - ISO 19761, measure, quality, FSM
18	Rainer Findenig, Florian Eibensteiner, Markus Pfaff	Optimizing the Hardware Usage of Parallel FSMs.	EUROCAST	2009	DBLP DOI BibTeX RDF	Scheduling, Resource Sharing, FSM, Serialization
18	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
18	Hamidreza Amouzegar, Shahriar Mohammadi, Mohammad Jafar Tarokh, Anahita Naghilouye Hidaji	A New Approach on Interactive SOA Security Model Based on Automata.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Security, Web Service, Service Oriented Architecture, SOA, Finite State Machine, Automata, FSM
18	Sylvie Trudel, Alain Abran	Improving Quality of Functional Requirements by Measuring Their Functional Size.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	inspection, review, FSM, Functional requirements, Functional size measurement, COSMIC