|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 769 occurrences of 468 keywords
|
|
|
Results
Found 898 publication records. Showing 898 according to the selection in the facets
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 |
|
Displaying result #101 - #200 of 898 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|