Search results for "FSM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Lihua Duan, Jessica Chen	An Approach to Testing with Embedded Context Using Model Checker.	ICFEM	2008	DBLP DOI BibTeX RDF	context-based testing, finite state machines, conformance testing, test sequences, distinguishing sequences
28	Atul Mahajan, Benfano Soewito, Sai K. Parsi, Ning Weng, Haibo Wang 0005	Implementing high-speed string matching hardware for network intrusion detection systems.	FPGA	2008	DBLP DOI BibTeX RDF	FPGA, string matching, network intrusion detection systems
28	Jung-Keun Lee, Dong Hoon Lee 0002, Sangwoo Park	Cryptanalysis of Sosemanuk and SNOW 2.0 Using Linear Masks.	ASIACRYPT	2008	DBLP DOI BibTeX RDF	Sosemanuk, SNOW 2.0, linear mask, stream cipher, correlation attack
28	Tao Huang 0019, Anthony Chung	Finding Narrow Input/Output (NIO) Sequences by Model Checking.	SERA	2008	DBLP DOI BibTeX RDF	Communication protoocls, model checking, protocol engineering, protocol testing
28	Yong Tao, Hongxing Wei, Tianmiao Wang	A Speech Interaction System Based on Finite State Machine for Service Robot.	CSSE (1)	2008	DBLP DOI BibTeX RDF
28	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
28	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
28	Lihua Duan, Jessica Chen	Alternative B-Sequences.	QSIC	2007	DBLP DOI BibTeX RDF	finite state machine, conformance testing, distinguishing sequence, checking sequence
28	Alexandre Petrenko	Why Automata Models Are Sexy for Testers? (Invited Talk).	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
28	Florentin Ipate	Bounded Sequence Testing from Non-deterministic Finite State Machines.	TestCom	2006	DBLP DOI BibTeX RDF
28	Maico Cassel, Fernanda Lima Kastensmidt	Evaluating One-Hot Encoding Finite State Machines for SEU Reliability in SRAM-based FPGAs.	IOLTS	2006	DBLP DOI BibTeX RDF
28	Lawrence S. Melvin III, Daniel N. Zhang, Kirk J. Strozewski, Skye Wolfer	The Use of the Manufacturing Sensitivity Model Forms to Comprehend Layout Manufacturing Robustness For Use During Device Design.	ISQED	2006	DBLP DOI BibTeX RDF
28	Ping Yi, Yichuan Jiang, YiPing Zhong, Shiyong Zhang	Distributed Intrusion Detection for Mobile Ad Hoc Networks.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
28	Toshimasa Watanabe, Satoshi Taoka, Toshiya Mashima	Maximum weight matching-based algorithms for k-edge-connectivity augmentation of a graph.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
28	Baozhu Jia, Guang Ren, Zhihong Xiu	Fuzzy Switching Controller for Multiple Model.	FSKD (1)	2005	DBLP DOI BibTeX RDF
28	Tathagato Rai Dastidar, P. P. Chakrabarti 0001	A Verification System for Transient Response of Analog Circuits Using Model Checking.	VLSI Design	2005	DBLP DOI BibTeX RDF
28	Yu-Chiang Li, Jieh-Shan Yeh, Chin-Chen Chang 0001	A Fast Algorithm for Mining Share-Frequent Itemsets.	APWeb	2005	DBLP DOI BibTeX RDF
28	Dennis E. Shasha, Jason Tsong-Li Wang, Sen Zhang	Unordered Tree Mining with Applications to Phylogeny.	ICDE	2004	DBLP DOI BibTeX RDF
28	Yun Zhai, Zeeshan Rasheed, Mubarak Shah	Conversation Detection in Feature Films Using Finite State Machines.	ICPR (4)	2004	DBLP DOI BibTeX RDF
28	Amit M. Paradkar	Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications.	ISSRE	2004	DBLP DOI BibTeX RDF	Model-Based Test Generation, EFSM-based Test Selection, Mutation-based Test Selection
28	Nina Yevtushenko 0001, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli	Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations.	DATE	2003	DBLP DOI BibTeX RDF
28	Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne	Contract Representation for Run-time Monitoring and Enforcement.	CEC	2003	DBLP DOI BibTeX RDF
28	Jan Smid, Marek Obitko, Walt Truszkowski	An Approach to Knowledge Exchange and Sharing between Agents.	WRAC	2002	DBLP DOI BibTeX RDF
28	Ho-Yen Chang, Shyhtsun Felix Wu, Y. Frank Jou	Real-time protocol analysis for detecting link-state routing protocol attacks.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	OSPF attacks, knowledge-based IDS, link-state routing protocol security, real-time misuse intrusion detection, real-time network protocol analysis, timed finite state machine, event correlation
28	Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto	Symbolic optimization of interacting controllers based onredundancy identification and removal.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
28	Luca Benini, Giovanni De Micheli	Synthesis of low-power selectively-clocked systems from high-level specification.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	low power, high-level synthesis, gated clock
28	Pengyu Hong, Thomas S. Huang, Matthew A. Turk	Constructing Finite State Machines for Fast Gesture Recognition.	ICPR	2000	DBLP DOI BibTeX RDF
28	Alexandre Petrenko	Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.	MOVEP	2000	DBLP DOI BibTeX RDF
28	Pengyu Hong, Thomas S. Huang, Matthew A. Turk	Gesture Modeling and Recognition Using Finite State Machines.	FG	2000	DBLP DOI BibTeX RDF
28	Wai-Kwong Lee, Chi-Ying Tsui	Finite state machine partitioning for low power.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
28	Sumit Roy 0003, Prithviraj Banerjee, Majid Sarrafzadeh	Partitioning sequential circuits for low power.	VLSI Design	1998	DBLP DOI BibTeX RDF	low-power, gated-clock, sequential synthesis
28	Luca Benini, Giovanni De Micheli	Automatic synthesis of low-power gated-clock finite-state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
28	Balakrishnan Iyer, Maciej J. Ciesielski	Metamorphosis: state assignment by retiming and re-encoding.	ICCAD	1996	DBLP DOI BibTeX RDF	Sequential Logic, Finite State Machine, Logic Synthesis, State Assignment, State Encoding
28	Steve C.-Y. Huang, Wayne H. Wolf	Performance-driven synthesis in controller-datapath systems.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
28	Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel	Exact calculation of synchronizing sequences based on binary decision diagrams.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
28	June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby	Exact and heuristic algorithms for the minimization of incompletely specified state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
28	W. Y. L. Chan, C. T. Vuong, M. R. Otp	An Improved Protocol Test Generation Procedure Based on UIOS.	SIGCOMM	1989	DBLP DOI BibTeX RDF
28	Sanjiv Ahuja	On communication software testing (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
28	Jialu Fan, Jiming Chen 0001, Ruilong Deng, Youxian Sun, Xuemin (Sherman) Shen	PTFW: a protocol testing framework for wireless sensor networks.	IWCMC	2009	DBLP DOI BibTeX RDF	PTFW, sensor networks, client-server, FSM, protocol test
28	Wei Chen 0018, Jun Wei 0001, Guoquan Wu, Xiaoqiang Qiao	Developing a Concurrent Service Orchestration Engine Based on Event-Driven Architecture.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF	Web services, SOA, BPEL, FSM, Event-driven
28	Terry Coatta	Things I Learned in School.	ACM Queue	2007	DBLP DOI BibTeX RDF	UI, server, FSM, callback
28	Hooman Shayani, Peter J. Bentley	A more bio-plausible approach to the evolutionary inference of finite state machines.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	bio-plausibility, genetic algorithms, evolutionary algorithms, evolution, finite-state machine, fsm, metaphors, analogies, grammatical inference
28	Ka-Ming Keung, Akhilesh Tyagi	State space reconfigurability: an implementation architecture for self modifying finite automata.	CASES	2006	DBLP DOI BibTeX RDF	SMFA, architecture, reconfigurability, FSM
28	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
28	Arran Bartish, Charles Thevathayan	BDI agents for game development.	AAMAS	2002	DBLP DOI BibTeX RDF	Bomberman, performance, scalability, complexity, games, FSM, BDI, agent-based software engineering
28	Carlos Humberto Llanos Quintero, Marius Strum	SINMEF - A Decomposition Based Synthesis Tool for Large FSMs.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF	non-deterministic transitions, redundant transitions, decomposition, FSM, clustering technique
28	Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Reachability analysis using partitioned-ROBDDs.	ICCAD	1997	DBLP DOI BibTeX RDF	ROBDD, Verification, Partitioning, Reachability, FSM, Symbolic, Sequential, Traversal
28	Frédéric Pétrot, Denis Hommais, Alain Greiner	Cycle precise core based hardware/software system simulation with predictable event propagation.	EUROMICRO	1997	DBLP DOI BibTeX RDF	hardware software system simulation, predictable event propagation, cycle precise core based system simulator, digital embedded systems, Mealy signals, combinational signals, MIPS R3000, microprocessor core, PI-Bus, Pentium 120, communication, graph, C, high level synthesis, memories, directed graph, FSM, topological sort, compile-time, communicating finite state machines
28	Sylvia C. Boyd, Hasan Ural	On the Complexity of Generating Optimal Test Sequences.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	maximal overlapping, test subsequences, optimal test sequence generation, OTSG problem, computational complexity, protocols, NP-complete, finite state machine, program testing, communications protocols, finite automata, polynomial time, FSM, protocol testing
27	Amjad Zaim	FSM: A new finite sphere method for modeling 3D geometry of the prostate.	ICIP	2008	DBLP DOI BibTeX RDF
27	Vassilis Dimopoulos, Ioannis Papaefstathiou, Dionisios N. Pnevmatikatos	A Memory-Efficient Reconfigurable Aho-Corasick FSM Implementation for Intrusion Detection Systems.	ICSAMOS	2007	DBLP DOI BibTeX RDF
27	Zhibin Zhang, Li Guo 0001, Binxing Fang, Xiaojun Chen 0004	Parallelizing Protocol Processing on SMT Processor Efficiently: A FSM Decomposition Approach.	IPCCC	2007	DBLP DOI BibTeX RDF
27	Wamiq Manzoor Ahmed, Jia Liu, Dominik Lenz, Arif Ghafoor, J. Paul Robinson	FSM-based model for spatio-temporal event recognition for HCS.	ICSC	2007	DBLP DOI BibTeX RDF	HCS, quantitative imaging, spatio-temporal modeling
27	Zhenpeng Liu, Ailan Li, Dongfang Wang, Wansheng Tang	A Computer Security Model of Imitated Nature Immune and Its FSM.	LSMS (1)	2007	DBLP DOI BibTeX RDF
27	Zhiwen Yu 0001, Xingshe Zhou 0001, Daqing Zhang 0001, Artur Lugmayr, Zhiyong Yu 0001	A Ubiquitous Personalized Multimedia Service Model Based on FSM.	ITCC (2)	2005	DBLP DOI BibTeX RDF
27	Greg Michaelson, Kevin Hammond, Jocelyn Sérot	FSM-Hume: programming resource-limited systems using bounded automata.	SAC	2004	DBLP DOI BibTeX RDF	multi-process simulation, functional language, finite state automata
27	Yu Wang 0015	An FSM model for situation-aware mobile application software systems.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	finite finite state machine, mobile computing, context, situation-awareness, situation
27	Kevin Hammond, Greg Michaelson	Predictable Space Behaviour in FSM-Hume.	IFL	2002	DBLP DOI BibTeX RDF
27	Markus Wedler, Dominik Stoffel, Wolfgang Kunz	Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation.	ISVLSI	2002	DBLP DOI BibTeX RDF
27	Sunghyun Lee, Kiyoung Choi, Sungjoo Yoo	An intra-task dynamic voltage scaling method for SoC design with hierarchical FSM and synchronous dataflow model.	ISLPED	2002	DBLP DOI BibTeX RDF	variable supply voltage, low power, finite state machine, dynamic voltage scaling, formal model, synchronous dataflow
27	Henry Selvaraj, Mariusz Rawski, Tadeusz Luba	FSM Implementation in Embedded Memory Blocks of Programmable Logic Devices Using Functional Decomposition.	ITCC	2002	DBLP DOI BibTeX RDF	programmable read only memory, Boolean functions, implementation, digital circuits, sequential machines, logic minimization
27	Manfred Koegst, Steffen Rülke, Günter Franke, Maria J. Avedillo	Two-Criterial Constraint-Driven FSM State Encoding for Low Power.	DSD	2001	DBLP DOI BibTeX RDF
27	Jinsong Bei, Hongxing Li, Jinian Bian, Hongxi Xue, Xianlong Hong	FSM Modeling of Synchronous VHDL Design for Symbolic Model Checking.	ASP-DAC	1999	DBLP DOI BibTeX RDF	Finite State Machine, VHDL, Symbolic Model Checking
27	Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee	An Implicit Algorithm for Finding Steady States and its Application to FSM Verification.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
27	Prasoon Surti, Liang-Fang Chao, Akhilesh Tyagi	Low power FSM design using Huffman-style encoding.	ED&TC	1997	DBLP DOI BibTeX RDF
27	Ti-Yen Yen, Wayne H. Wolf	An efficient graph algorithm for FSM scheduling.	IEEE Trans. Very Large Scale Integr. Syst.	1996	DBLP DOI BibTeX RDF
27	Biswadip Mitra, Preeti Ranjan Panda, Parimal Pal Chaudhuri	Estimating the Complexity of Synthesized Designs from FSM Specifications.	IEEE Des. Test Comput.	1993	DBLP DOI BibTeX RDF
27	Wayne H. Wolf	The FSM Network Model for Behavioral Synthesis of Control-Dominated Machines.	DAC	1990	DBLP DOI BibTeX RDF
27	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)
27	Oktay Türetken, Onur Demirörs, Çigdem Gencel, Özden Özcan Top, Baris Özkan	The Effect of Entity Generalization on Software Functional Sizing: A Case Study.	PROFES	2008	DBLP DOI BibTeX RDF	COSMIC FSM, IFPUG FPA, entity generalization, Functional size measurement
27	Te-Jen Su, Chun-Hsiang Kuo, Wen-Pin Tsai, Cheng-Chih Hou	A Hybrid of Clonal Selection Algorithm and Frequency Sampling Method for Designing a 2-D FIR Filter.	DELTA	2008	DBLP DOI BibTeX RDF	Clonal Selection Algorithm (CSA), Finite-impulse response (FIR) filters, Frequency Sampling Method (FSM)
27	Batsayan Das, Dipankar Sarkar 0001, Santanu Chattopadhyay	Model checking on state transition diagram.	ASP-DAC	2004	DBLP DOI BibTeX RDF	CTL model checking, Finite State Machine (FSM), State Transition Diagram (STD), Kripke structure
27	Samir Roy, Biplab K. Sikdar, Monalisa Mukherjee, Debesh K. Das	Degree-of-Freedom Analysis for Sequential Machines Targeting BIST Quality and Gate Area.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	FSM synthesis, emitability, BIST, reachability, degree of freedom
27	Ling Liu, Huaikou Miao, Xuede Zhan	A Framework for Specification-Based Class Testing.	ICECCS	2002	DBLP DOI BibTeX RDF	test class framework, finite state machine (FSM), state transition tree, Object-Z, class testing
27	Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain	Extraction of finite state machines from transistor netlists by symbolic simulation.	ICCD	1995	DBLP DOI BibTeX RDF	finite state machine extraction, transistor netlists, clock level finite state machines, gate level representation, circuit clocking, output timing, simulation patterns, next state, output function, equivalent FSM, static storage structures, time multiplexed inputs, time multiplexed outputs, finite state machines, logic design, logic CAD, circuit analysis computing, FSMs, symbolic simulation, symbolic simulator, Ordered Binary Decision Diagrams
27	Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda	An approach to sequential circuit diagnosis based on formal verification techniques.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	FSM''s, symbolic state space traversal techniques, formal verification, diagnosis, Binary decision diagrams
19	Jason Cong, Albert Liu, Bin Liu 0006	A variation-tolerant scheduler for better than worst-case behavioral synthesis.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	scheduling, variation, behavioral synthesis
19	Ram Krishnan, Jianwei Niu 0001, Ravi S. Sandhu, William H. Winsborough	Stale-safe security properties for group-based secure information sharing.	FMSE	2008	DBLP DOI BibTeX RDF	stale attributes, information sharing, security properties
19	Zurab Khasidashvili	On Formal Equivalence Verification of Hardware.	CSR	2008	DBLP DOI BibTeX RDF
19	Luigi Buglione, Çigdem Gencel	Impact of Base Functional Component Types on Software Functional Size Based Effort Estimation.	PROFES	2008	DBLP DOI BibTeX RDF	Base Functional Component, Effort Estimation, Functional Size Measurement, COSMIC, International Software Benchmarking Standards Group (ISBSG)
19	Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè	Automatic generation of software behavioral models.	ICSE	2008	DBLP DOI BibTeX RDF	gk-tail, dynamic analysis, model synthesis
19	George Eleftherakis, Petros Kefalas	Formal Verification of Generalised State Machines.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
19	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
19	Jinji Yang, Kaile Su, Qingliang Chen	Improving Encoding Efficiency for Bounded Model Checking.	TASE	2008	DBLP DOI BibTeX RDF	encoding, SAT, Bounded Model Checking
19	Tathagato Rai Dastidar, P. P. Chakrabarti 0001	A verification system for transient response of analog circuits.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Ana CTL, model checking, query language, Analog circuits, equivalence checking, transient response
19	Feng Wang 0036, Chong-Wah Ngo, Ting-Chuen Pong	Lecture Video Enhancement and Editing by Integrating Posture, Gesture, and Text.	IEEE Trans. Multim.	2007	DBLP DOI BibTeX RDF
19	Özge Uncu, I. Burhan Türksen	Discrete Interval Type 2 Fuzzy System Models Using Uncertainty in Learning Parameters.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
19	Tae Bok Yoon, Dong Moon Kim, Kyo Hyeon Park, Jee-Hyong Lee 0001, Kwan-Ho You	Game Player Modeling Using D-FSMs.	HCI (9)	2007	DBLP DOI BibTeX RDF
19	Andrzej Krasniewski	Concurrent Error Detection for FSMs Designed for Implementation with Embedded Memory Blocks of FPGAs.	DSD	2007	DBLP DOI BibTeX RDF
19	Slawomir Zielski, Janusz Sosnowski	The SCSI interface conformance tests generation.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
19	Li Li 0006, Yun Yang 0001	Ontological Approach for E-Services.	CSCWD	2007	DBLP DOI BibTeX RDF
19	Li Li 0006, Yun Yang 0001	E-Business Process Modelling with Finite State Machine Based Service Agents.	CSCWD (Selected Papers)	2007	DBLP DOI BibTeX RDF	Ontology, Multi-agent systems, Finite state machine, Process automation
19	Yong-Bin Kim, Kyung Ki Kim, James T. Doyle	A CMOS Low Power Fully Digital Adaptive Power Delivery System Based on Finite State Machine Control.	ISCAS	2007	DBLP DOI BibTeX RDF
19	Graema Milligan, Wim Vanderbauwhede	Implementation of Finite State Machines on a Reconfigurable Device.	AHS	2007	DBLP DOI BibTeX RDF
19	Çigdem Gencel, Onur Demirörs	Conceptual Differences Among Functional Size Measurement Methods.	ESEM	2007	DBLP DOI BibTeX RDF
19	Tae Bok Yoon, Kyo Hyeon Park, Jee-Hyong Lee 0001, Keon-Myung Lee	User Adaptive Game Characters Using Decision Trees and FSMs.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
19	Sarah Salahuddin	Analysing the Impact of Change on Test Sets Using X-Machines.	ICSM	2007	DBLP DOI BibTeX RDF
19	Jens Lemcke, Andreas Friesen	Composing Web-service-like Abstract State Machines (ASMs).	IEEE SCW	2007	DBLP DOI BibTeX RDF
19	Silvia Mara Abrahão, Geert Poels, Oscar Pastor 0001	A functional size measurement method for object-oriented conceptual schemas: design and evaluation issues.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Measure validation, Measurement verification, Object orientation, Conceptual modeling, Functional size measurement
19	Woon Kang, Yong-Bin Kim, T. Doyle	A high-efficiency fully digital synchronous buck converter power delivery system based on a finite-state machine.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF