Search results for "FSM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko 0001	Extended Finite State Machine Based Test Derivation Driven by User Defined Faults.	ICST	2008	DBLP DOI BibTeX RDF
9	Otniel Portillo-Rodríguez, Oscar Osvaldo Sandoval-Gonzalez, Emanuele Ruffaldi, Rosario Leonardi, Carlo Alberto Avizzano, Massimo Bergamasco	Real-Time Gesture Recognition, Evaluation and Feed-Forward Correction of a Multimodal Tai-Chi Platform.	HAID	2008	DBLP DOI BibTeX RDF	real-time 3D time-independent gesture recognition, real-time descriptor, audio-position feedback, Virtual Realty and Skills transfer, Multimodal Interfaces, vibrotactile feedback
9	Frederico Pratas, Georgi Gaydadjiev, Mladen Berekovic, Leonel Sousa, Stefanos Kaxiras	Low power microarchitecture with instruction reuse.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	loop reusing technique, reorder buffer optimization, superscalar processor, power reduction
9	Harold S. van Heeringen, Luca Santillo	Proposals for Increasing Benchmarking Data Quantity and Quality of Projects Measured in COSMIC.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	size conversion, Benchmarking, Functional Size Measurement, COSMIC, ISBSG
9	Çigdem Gencel	How to Use COSMIC Functional Size in Effort Estimation Models?.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	Base Functional Component, Functionality, Effort Estimation, Functional Size Measurement, COSMIC
9	Ghaith Hammouri, Kahraman D. Akdemir, Berk Sunar	Novel PUF-Based Error Detection Methods in Finite State Machines.	ICISC	2008	DBLP DOI BibTeX RDF	adversarial-faults, state-machines, PUF, Fault-resilience
9	Kok-Leong Chang, Yao Zhu, Bah-Hwee Gwee	De-synchronization of a point-of-sales digital-logic controller.	ISCAS	2008	DBLP DOI BibTeX RDF
9	Shengying Li, Klaus Mueller 0001, Marcel Jackowski, Donald P. Dione, Lawrence H. Staib	Physical-Space Refraction-Corrected Transmission Ultrasound Computed Tomography Made Computationally Practical.	MICCAI (2)	2008	DBLP DOI BibTeX RDF	Transmission Ultrasound Mammography, GPU Acceleration
9	Md. Rezaul Hoque Khan, Roberto Passerone, David Macii	FZepel: RF-level power consumption measurement (RF-PM) for Zigbee wireless sensor network-towards cross layer optimization.	ETFA	2008	DBLP DOI BibTeX RDF
9	Hubert P. H. Shum, Taku Komura, Shuntaro Yamazaki	Simulating interactions of avatars in high dimensional state space.	SI3D	2008	DBLP DOI BibTeX RDF	optimal control, human animation
9	Yousra Alkabani, Farinaz Koushanfar	N-variant IC design: methodology and applications.	DAC	2008	DBLP DOI BibTeX RDF	N-variant design, digital rights management, physical security
9	Juan Jose Cuadrado-Gallego, Luigi Buglione, Ricardo J. Rejas-Muslera, Fernando Machado	IFPUG-COSMIC Statistical Conversion.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
9	Jia-Ching Wang, Jhing-Fa Wang, Jar-Ferr Yang, Jang-Ting Chen	A Fast Mode Decision Algorithm and Its VLSI Design for H.264/AVC Intra-Prediction.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
9	Hervé Jégou, Christine Guillemot	Entropy Coding With Variable-Length Rewriting Systems.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
9	Anke Meyer-Bäse, Oliver Lange, Axel Wismüller, Monica K. Hurdal	Analysis of Dynamic Susceptibility Contrast MRI Time Series Based on Unsupervised Clustering Methods.	IEEE Trans. Inf. Technol. Biomed.	2007	DBLP DOI BibTeX RDF
9	Christian Raymond, Frédéric Béchet, Nathalie Camelin, Renato de Mori, Géraldine Damnati	Sequential Decision Strategies for Machine Interpretation of Speech.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
9	Claudio Talarico, Min-Sung Koh, Esteban Rodriguez-Marek	System Level Performance Assessment of SOC Processors with SystemC.	ECBS	2007	DBLP DOI BibTeX RDF
9	Ivan Radojevic, Zoran A. Salcic, Partha S. Roop	McCharts and Multiclock FSMs for modeling large scale systems.	MEMOCODE	2007	DBLP DOI BibTeX RDF
9	Lihua Duan, Jessica Chen	Reducing Test Sequence Length Using Invertible Sequences.	ICFEM	2007	DBLP DOI BibTeX RDF	UIO sequence, finite state machine, conformance testing, test sequence
9	Jorge Semião, Judit Freijedo, Juan J. Rodríguez-Andina, Fabian Vargas 0001, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001	Enhancing the Tolerance to Power-Supply Instability in Digital Circuits.	ISVLSI	2007	DBLP DOI BibTeX RDF
9	Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko 0001	Testing Nondeterministic Finite State Machines with Respect to the Separability Relation.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	separability relation, testing nondeterministic FSMs
9	Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho	New Approach for EFSM-Based Passive Testing of Web Services.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	EFSM-based passive testing, Web Services testing
9	Vinay Vishwakarma, Chittaranjan A. Mandal, Shamik Sural	Automatic Detection of Human Fall in Video.	PReMI	2007	DBLP DOI BibTeX RDF
9	Jun Tanimoto	Emergence of cooperation supported by communication in a one-shot 2×2 game.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
9	Per Kristian Lehre, Xin Yao 0001	Runtime analysis of (1+l) EA on computing unique input output sequences.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
9	Yulai Zhao 0003, Xianfeng Li, Dong Tong 0001, Xu Cheng 0001	Reuse Distance Based Cache Leakage Control.	HiPC	2007	DBLP DOI BibTeX RDF	Drowsy Cache Technique, Temporal Locality, Reuse Distance
9	Songwen Pei, Baifeng Wu, Qiang Yu, Kun Zhu 0005	Novel Collaborative Automated Testing Framework Using DDF*.	CDVE	2007	DBLP DOI BibTeX RDF
9	San-Yih Hwang, Ee-Peng Lim, Chien-Hsiang Lee, Cheng-Hung Chen	On Composing a Reliable Composite Web Service: A Study of Dynamic Web Service Selection.	ICWS	2007	DBLP DOI BibTeX RDF
9	Bei-Bei Yin, Chenggang Bai, Kai-Yuan Cai	A Data Mining Approach for Software State Definition.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
9	Matti-Antero Okkonen, Vili Kellokumpu, Matti Pietikäinen, Janne Heikkilä	A Visual System for Hand Gesture Recognition in Human-Computer Interaction.	SCIA	2007	DBLP DOI BibTeX RDF
9	Bing-Fei Wu, Chuan-Tsai Lin	Robust lane detection and tracking for driving assistance systems.	SMC	2007	DBLP DOI BibTeX RDF
9	Yousra Alkabani, Farinaz Koushanfar, Miodrag Potkonjak	Remote activation of ICs for piracy prevention and digital right management.	ICCAD	2007	DBLP DOI BibTeX RDF
9	Zhu Liu 0001, David C. Gibbon, Eric Zavesky, Behzad Shahraray, Patrick Haffner	A Fast, Comprehensive Shot Boundary Determination System.	ICME	2007	DBLP DOI BibTeX RDF
9	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
9	Zoltán Juhász, Ádám Sipos, Zoltán Porkoláb	Implementation of a Finite State Machine with Active Libraries in C++.	GTTSE	2007	DBLP DOI BibTeX RDF
9	David Obdrzálek, Jan Benda	GFE - Graphical Finite State Machine Editor for Parallel Execution.	ICEC	2007	DBLP DOI BibTeX RDF	automatic finite state machine generation, graphical control design, robot control
9	Mario García-Valderas, Raúl Fernández Cardenal, Celia López-Ongil, Marta Portela-García, Luis Entrena	SET Emulation Under a Quantized Delay Model.	DFT	2007	DBLP DOI BibTeX RDF
9	Longchuan Yan, Jun Du, Qingming Huang, Shuqiang Jiang	Story Unit Segmentation with Friendly Acoustic Perception.	MCAM	2007	DBLP DOI BibTeX RDF	Story Unit Segmentation, Acoustic Perception, SVM, Video Processing
9	Liang Wang, Yue Qi, Xukun Shen	The Design and Implementation of VBS.	Edutainment	2007	DBLP DOI BibTeX RDF
9	Robert M. Hierons	Separating sequence overlap for automated test sequence generation.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Separating sequence, Characterizing set, Finite state machine, Overlap, Test sequence generation
9	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
9	Mike Stannett	Simulation testing of automata.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Simulation, Pi-calculus, CCS, State-based testing, Stream X-machine
9	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
9	Martin Lötzsch, Max Risler, Matthias Jüngel	XABSL - A Pragmatic Approach to Behavior Engineering.	IROS	2006	DBLP DOI BibTeX RDF
9	Huei-Wen Ferng, Chien-Liang Liu	Design of a Joint Defense System for Mobile Ad Hoc Networks.	VTC Spring	2006	DBLP DOI BibTeX RDF
9	Ilya Levin, Vladimir Ostrovsky, Osnat Keren, Vladimir Sinelnikov	Cascade Scheme for Concurrent Errors Detection.	DSD	2006	DBLP DOI BibTeX RDF
9	Jaan Raik, Raimund Ubar, Taavi Viilukas	High-Level Decision Diagram based Fault Models for Targeting FSMs.	DSD	2006	DBLP DOI BibTeX RDF
9	G. Perera, Kenneth J. Christensen	Broadcast Updates with Local Look-up Search (BULLS): a new peer-to-peer protocol.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	BULLS, performance evaluation, peer-to-peer, P2P, protocol design, Gnutella
9	Manuel Baclet, Claire Pagetti	Around Hopcroft's Algorithm.	CIAA	2006	DBLP DOI BibTeX RDF	Hopcroft’s algorithm, Finite automata, minimization
9	Fei Hu 0001, Carter May, Xiaojun Cao	Data Aggregation in Distributed Sensor Networks: Towards An Adaptive Timing Control.	ITNG	2006	DBLP DOI BibTeX RDF
9	Jitian Xiao, Chiou Peng Lam, Huaizhong Li, Jun Wang	Reformulation of the generation of conformance testing sequences to the asymmetric travelling salesman problem.	GECCO	2006	DBLP DOI BibTeX RDF	Wp method, TSP, conformance testing, test sequence
9	John R. Kender, Milind R. Naphade	Video News Shot Labeling Refinement via Shot Rhythm Models.	ICME	2006	DBLP DOI BibTeX RDF
9	Muzammil Shahbaz	Incremental Inference of Black-Box Components to Support Integration Testing.	TAIC PART	2006	DBLP DOI BibTeX RDF
9	Ke Xu 0014, Oliver Chiu-sing Choy, Cheong-Fat Chan, Kong-Pang Pun	Power-efficient VLSI implementation of bitstream parsing in H.264/AVC decoder.	ISCAS	2006	DBLP DOI BibTeX RDF
9	Zhenyu Liu, Tughrul Arslan, Ahmet T. Erdogan	An embedded low power reconfigurable fabric for finite state machine operations.	ISCAS	2006	DBLP DOI BibTeX RDF
9	Hongliang Li 0001, King N. Ngan	Face segmentation in head-and-shoulder video sequences based on facial saliency map.	ISCAS	2006	DBLP DOI BibTeX RDF
9	Dong Phil Kim, Seok Joo Koh, Sang Wook Kim	An Integrated Scheme for Intrusion Detection in WLAN.	ICOIN	2006	DBLP DOI BibTeX RDF
9	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli	Improving Gate-Level ATPG by Traversing Concurrent EFSMs.	VTS	2006	DBLP DOI BibTeX RDF
9	Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna	Post-reboot Equivalence and Compositional Verification of Hardware.	FMCAD	2006	DBLP DOI BibTeX RDF
9	Song Qiu, Wai-yun Li, Jin-gao Liu, Wen-jing Hu	Design of AC-PDP Signal Processor for SoC Application.	IIH-MSP	2006	DBLP DOI BibTeX RDF
9	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
9	Roelof K. Brouwer	Training of a discrete recurrent neural network for sequence classification by using a helper FNN.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Feed forward network, Derivative free training, Recurrent neural networks, Fit function
9	Feng Chen, Xiaotong Yuan, ShuTang Yang	Joint feature-spatial-measure space: a new approach to highly efficient probabilistic object tracking.	ICIP (2)	2005	DBLP DOI BibTeX RDF
9	Greg Hoover, Forrest Brewer	PyPBS design and methodologies.	MEMOCODE	2005	DBLP DOI BibTeX RDF
9	Alejandro Millán Calderón, Manuel Jesús Bellido Díaz, Jorge Juan-Chico, Paulino Ruiz-de-Clavijo, David Guerrero Martos, Enrique Ostúa, Julian Viejo	Application of Internode Model to Global Power Consumption Estimation in SCMOS Gates.	PATMOS	2005	DBLP DOI BibTeX RDF
9	Ali Habibi, Sofiène Tahar	Design for Verification of SystemC Transaction Level Models.	DATE	2005	DBLP DOI BibTeX RDF
9		Development of Embedded Software with Component Integration Based on ABCD Architectures.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF
9	Pradeep S, Chitra Ramachandran, Srinath Srinivasa	Towards autonomic web-sites based on learning automata.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	autonomic website, generalization, learning automata
9	Giuseppe De Marco, Giovanni Iacovoni	A Technique to Analyse Session Initiation Protocol Traffic.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
9	Fahong Li, Robert J. Woodham	Analysis of Player Actions in Selected Hockey Game Situations.	CRV	2005	DBLP DOI BibTeX RDF
9	Yosuke Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara	Automatic monitor generation from regular expression based specifications for module interface verification.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
9	Yu-Chiang Li, Jieh-Shan Yeh, Chin-Chen Chang 0001	Direct Candidates Generation: A Novel Algorithm for Discovering Complete Share-Frequent Itemsets.	FSKD (2)	2005	DBLP DOI BibTeX RDF
9	Franco Fummi, Cristina Marconcini, Graziano Pravadelli	An EFSM-based approach for functional ATPG.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	ATPG, fault models, EFSM
9	Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko 0001	An Improved Conformance Testing Method.	FORTE	2005	DBLP DOI BibTeX RDF
9	Marissa Díaz Pier, Isaac Rudomín Goldberg, Daniel Rivera	Events, actors and interaction of hybrid entities in virtual reality.	GRAPHITE	2005	DBLP DOI BibTeX RDF	VR art, sensing devices, interfaces
9	HungPin Chao	The Non-Specific Intelligent Guided-View System Based on RFID Technology.	AINA	2005	DBLP DOI BibTeX RDF
9	Yi Lu 0002, Willi Meier, Serge Vaudenay	The Conditional Correlation Attack: A Practical Attack on Bluetooth Encryption.	CRYPTO	2005	DBLP DOI BibTeX RDF	E0, Stream Ciphers, Bluetooth, Correlation
9	Vikram Singh Saun, Preeti Ranjan Panda	Extracting Exact Finite State Machines from Behavioral SystemC Descriptions.	VLSI Design	2005	DBLP DOI BibTeX RDF
9	Ho Young Kim, Tag Gon Kim	Performance simulation modeling for fast evaluation of pipelined scalar processor by evaluation reuse.	DAC	2005	DBLP DOI BibTeX RDF	evaluation reuse, trace-driven simulation, instruction set architecture, compiled simulation, retargetable simulation
9	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
9	Ahmed Helmy, Sandeep Gupta 0001, Deborah Estrin	The STRESS method for boundary-point performance analysis of end-to-end multicast timer-suppression mechanisms.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF
9	Luca Macchiarulo, Shih-Min Shu, Malgorzata Marek-Sadowska	Pipelining Sequential Circuits with Wave Steering.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
9	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
9	Marco Bertini 0001, Alberto Del Bimbo, Walter Nunziati	Highlights modeling and detection in sports videos.	Pattern Anal. Appl.	2004	DBLP DOI BibTeX RDF	Highlights detection, Semantic annotation, Sports videos, Visual cues
9	B. Ali, A. E. A. Almaini, Tatiana Kalganova	Evolutionary Algorithms and Theirs Use in the Design of Sequential Logic Circuits.	Genet. Program. Evolvable Mach.	2004	DBLP DOI BibTeX RDF	genetic algorithm, sequential circuits, evolvable hardware, state assignment
9	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
9	Anurag Tiwari, Karen A. Tomko	Saving Power by Mapping Finite-State Machines into Embedded Memory Blocks in FPGAs.	DATE	2004	DBLP DOI BibTeX RDF
9	Maik Boden, Manfred Koegst, José Luis Tiburcio Badía, Steffen Rülke	Cost-Efficient Implementation of Adaptive Finite State Machines.	DSD	2004	DBLP DOI BibTeX RDF
9	Hiroyuki Higuchi, Yusuke Matsunaga	Enhancing the performance of multi-cycle path analysis in an industrial setting.	ASP-DAC	2004	DBLP DOI BibTeX RDF
9	Hue-Min Lin, Chia-Chih Yen, Che-Hua Shih, Jing-Yang Jou	On compliance test of on-chip bus for SOC.	ASP-DAC	2004	DBLP DOI BibTeX RDF
9	Mohsen N. AlSharif, Walter P. Bond, Turky N. Al-Otaiby	Assessing the complexity of software architecture.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	Full Function Points, architecture assessment, architecture complexity, software architecture, coupling
9	Chang Xu 0001, Shing-Chi Cheung, Xiangye Xiao	Semantic Interpretation and Matching of Web Services.	ER	2004	DBLP DOI BibTeX RDF
9	Asaad Hakeem, Mubarak Shah	Ontology and Taxonomy Collaborated Framework for Meeting Classification.	ICPR (4)	2004	DBLP DOI BibTeX RDF
9	Andrzej Krasniewski	Optimization of Testability of Sequential Circuits Implemented in FPGAs with Embedded Memory.	FPL	2004	DBLP DOI BibTeX RDF
9	YuanLin Wen, MuDer Jeng	Diagnosability of Petri nets.	SMC (5)	2004	DBLP DOI BibTeX RDF
9	Yun Zhai, Zeeshan Rasheed, Mubarak Shah	A Framework for Semantic Classification of Scenes Using Finite State Machines.	CIVR	2004	DBLP DOI BibTeX RDF
9	Miroslav N. Velev	Efficient formal verification of pipelined processors with instruction queues.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	logic of equality, positive equality, decomposition, SAT
9	Michael Breen	Statestep: A Tool for Systematic, Incremental Specification.	ICSE	2004	DBLP DOI BibTeX RDF
9	N. Venkateswaran 0002, Krishna Bharath	Frequency Domain Testing of General Purpose Processors at the Instruction Execution Level.	DELTA	2004	DBLP DOI BibTeX RDF
9	Jonathan J. Hoch, Adi Shamir	Fault Analysis of Stream Ciphers.	CHES	2004	DBLP DOI BibTeX RDF	Lili-128, SOBER-t32, Stream cipher, LFSR, fault attack, RC4