|
|
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 |
18 | Kai Chen 0009, Fan Jiang 0005, Chuan-dong Huang |
A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
output-shifting faults, synchronization problems, distributed system, conformance testing, FSM |
18 | Gagan Raj Gupta, Madhur Gupta, Preeti Ranjan Panda |
Rapid estimation of control delay from high-level specifications. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
control delay, high level synthesis, estimation, FSM |
18 | Abdennour El Rhalibi, Nick Baker, Madjid Merabti |
Emotional agent model and architecture for NPCs group control and interaction to facilitate leadership roles in computer entertainment. |
Advances in Computer Entertainment Technology |
2005 |
DBLP DOI BibTeX RDF |
IPD, NPC, game application, team behaviour, norms, FSM, emotional model, RBS, computer entertainment |
18 | Alex K. Jones, Debabrata Bagchi, Satrajit Pal, Xiaoyong Tang, Alok N. Choudhary, Prithviraj Banerjee |
PACT HDL: a C compiler targeting ASICs and FPGAs with power and performance optimizations. |
CASES |
2002 |
DBLP DOI BibTeX RDF |
FPGA, low-power, compiler, SoC, synthesis, pipelining, VHDL, IP, ASIC, high-performance, FSM, Verilog, HDL, levelization |
18 | Xiao Sun 0002, Carmie Hull |
Functional Verification Coverage vs. Physical Stuck-at Fault Coverage. |
DFT |
1998 |
DBLP DOI BibTeX RDF |
functional property, stuck-at fault coverage, verification coverage, UIO, verification, validation, ATPG, FSM, signature analysis, test application time |
18 | 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 |
18 | Franco Fummi, Donatella Sciuto, M. Serro |
Synthesis for testability of large complexity controllers. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
large complexity controllers, industrial design environments, top-down methodology, hierarchical descriptions, irredundant circuits, optimized gate-level descriptions, testable descriptions, specification, high level synthesis, finite state machines, finite state machines, design for testability, design for testability, VHDL, automatic testing, logic CAD, hardware description languages, FSM, synthesis for testability, logic gates |
18 | Mark G. Graff |
KIBITZ: the design of a bridge-bidding program utilizing simulated human judgement. |
ACM Southeast Regional Conference |
1979 |
DBLP DOI BibTeX RDF |
bridge bidding, expert judgement, judgement spaces, simulated human judgement, pattern recognition, Artificial intelligence, FSM, game playing |
17 | Divyanshu Divyanshu, Rajat Kumar, Danial Khan, Selma Amara, Yehia Massoud |
FSM Inspired Unconventional Hardware Watermark Using Field-Assisted SOT-MTJ. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
17 | M. Al-Momani Mohammad, Amneh Al-Mbaideen, Abdullah I. Al-Odienat, Khaled Mohammad Alawasa, Saba F. Al-Gharaibeh |
An Optimal Nonlinear Type-2 Fuzzy FOPID Control Design Based on Integral Performance Criteria Using FSM. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
17 | M. Sazadur Rahman, Rui Guo, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor |
ReTrustFSM: Toward RTL Hardware Obfuscation-A Hybrid FSM Approach. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jiaming Wu, Domenic Forte |
EXERTv2: Exhaustive Integrity Analysis for Information Flow Security with FSM Integration. |
J. Hardw. Syst. Secur. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk |
A formal verification approach for composite smart contracts security using FSM. |
J. King Saud Univ. Comput. Inf. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Muhtadi Choudhury, Minyan Gao, Avinash Varna 0001, Elad Peer, Domenic Forte |
Enhanced PATRON: Fault Injection and Power-aware FSM Encoding Through Linear Programming. |
ACM Trans. Design Autom. Electr. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jim Geist, Travis Meade, Shaojie Zhang, Yier Jin |
Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Nelson R. C. Monteiro, Tiago Pereira 0001, Ana Catarina D. Machado, José Luís Oliveira, Maryam Abbasi, Joel P. Arrais |
FSM-DDTR: End-to-end feedback strategy for multi-objective De Novo drug design using transformers. |
Comput. Biol. Medicine |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor |
ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
17 | Filemón Arenas-Rosales, Fernando Martell-Chávez, Irma Y. Sánchez Chávez, Carlos A. Paredes-Orta |
Virtual UR5 Robot for Online Learning of Inverse Kinematics and Independent Joint Control Validated with FSM Position Control. |
Robotics |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Lyuheng Yuan, Da Yan 0001, Wenwen Qu, Saugat Adhikari, Jalal Khalil, Cheng Long, Xiaoling Wang |
T-FSM: A Task-Based System for Massively Parallel Frequent Subgraph Pattern Mining from a Big Graph. |
Proc. ACM Manag. Data |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Endri Kaja, Nicolas Gerlin, Robert Kunzelmann, Keerthikumara Devarajegowda, Wolfgang Ecker |
Modelling Peripheral Designs using FSM-like Notation for Complete Property Set Generation. |
MCSoC |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Danial Nikbin Azmoudeh, Yvan Labiche |
Analysis of mutation operators for FSM testing. |
ICSTW |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Mridha Md Mashahedur Rahman, M. Sazadur Rahman, Rasheed Kibria, Mike Borza, Bandy Reddy, Adam Cron, Fahim Rahman, Mark M. Tehranipoor, Farimah Farahmandi |
CAPEC: A Cellular Automata Guided FSM-based IP Authentication Scheme. |
VTS |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor |
ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction. |
ITC |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Rohan P. Singh, Pierre Gergondet, Fumio Kanehiro |
Mc-Mujoco: Simulating Articulated Robots with FSM Controllers in MuJoCo. |
SII |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Marco T. Morazán |
Composing Turing Machines in FSM. |
SPLASH-E |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Hongliang Mao, Jie Zhong, Siyuan Yu, Pei Xiao, Xinghao Yang, Gaoyuan Lu |
An Atmospheric Turbulence Compensation Algorithm Based on FSM-DM Cascaded AO Architecture for FSO Communications. |
Network |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Yu Cao, Xiuqin Su, Xueming Qian, Haitao Wang, Wei Hao, Meilin Xie, Xubin Feng, Junfeng Han, Mingliang Chen, Chenglong Wang |
A Tracking Imaging Control Method for Dual-FSM 3D GISC LiDAR. |
Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Xincheng Feng, Ke Hu, Kaining Han |
MM-FSM$: $: A High-Efficiency General Nonlinear Function Generator for Stochastic Computation. |
IEEE Trans. Computers |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Yisoo Lee, Hosang Lee, Jinoh Lee, Jaeheung Park |
Toward Reactive Walking: Control of Biped Robots Exploiting an Event-Based FSM. |
IEEE Trans. Robotics |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Omer Nguena Timo |
Mining Precise Test Oracle Modelled by FSM. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Rohan P. Singh, Pierre Gergondet, Fumio Kanehiro |
mc-mujoco: Simulating Articulated Robots with FSM Controllers in MuJoCo. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Mehdi Sookhak, Amir Hossein Mohajerzadeh |
FSM: FBS Set Management, An energy efficient multi-drone 3D trajectory approach in cellular networks. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
17 | Jongsung Kang, Taewhan Kim |
Improving Speed of MUX-FSM-based Stochastic Computing for On-device Neural Networks. |
J. Comput. Sci. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Robert Sachtleben, Jan Peleska 0001 |
Effective grey-box testing with partial FSM models. |
Softw. Test. Verification Reliab. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Johannes Schlarp, Lukas Klemen, Ernst Csencsics, Georg Schitter |
Improving the Repeatability of a Color Sensor by Integrating an FSM for Scanning-based Areal Measurements. |
AIM |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Andrey Laputenko, Nina Yevtushenko 0001, Valentina Andreeva, Anzhela Yu. Matrosova |
Deriving FSM-based tests using $a, b-\text{faults}$ for Logic Circuits. |
ISVLSI |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Ren Liu, Nitish Sontakke, Sehoon Ha |
PM-FSM: Policies Modulating Finite State Machine for Robust Quadrupedal Locomotion. |
IROS |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Alexandros Filotheou, Georgios D. Sergiadis, Antonis G. Dimitriou |
FSM: Correspondenceless scan-matching of panoramic 2D range scans. |
IROS |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Leon Li, Alex Orailoglu |
JANUS-HD: Exploiting FSM Sequentiality and Synthesis Flexibility in Logic Obfuscation to Thwart SAT Attack While Offering Strong Corruption. |
DATE |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Xin Yi, Bo Ma 0001, Jiahao Wu |
FSM: Feature Sampling Module for Object Detection. |
ICASSP |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Valery Salauyou |
Embedded Processor Design in FPGA by ASMD-FSMD and FSM-Single Techniques. |
CISIM |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Youssef Attallah, Hassan Soubra |
Towards a COSMIC FSM Programming Language Compiler. |
IWSM-Mensura |
2022 |
DBLP BibTeX RDF |
|
17 | Zeeshan Ali, Pallavi Paliwal, Rupesh Lad, Dhanraj Bhukya, Shalabh Gupta |
A Fast Locking Ring Oscillator Based Fractional-N DPLL With an Assistance From a LUT-Based FSM. |
ISCAS |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Xiaojuan Ban, Di Zhang, Jinsheng Sun, Jingu Yang |
An action identification method based on FSM and limb dry weight. |
Pers. Ubiquitous Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Kyu-Man Lee, Taek-Won Kwon |
MLSE Based on Phase Difference FSM for GFSK Signals. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Robert Sachtleben, Jan Peleska 0001 |
Effective grey-box testing with partial FSM models. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Aijiao Cui, Chengkang He, Chip-Hong Chang, Hao Lu |
Identification of FSM State Registers by Analytics of Scan-Dump Data. |
IEEE Trans. Inf. Forensics Secur. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Moritz Bergenthal, Niklas Krafczyk, Jan Peleska 0001, Robert Sachtleben |
libfsmtest An Open Source Library for FSM-Based Testing. |
ICTSS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Omer Nguena Timo |
Mining Precise Test Oracle Modelled by FSM. |
ICTSS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Fangui Meng, Aimin Liu, Shuai Jing, Yi Zu |
FSM trajectory tracking controllers of OB-AUV in the horizontal plane. |
ISR |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Maxim Gromov, Natalia Shabaldina, Aleksandr S. Tvardovskii, Svetlana Prokopenko |
FSM-based Sequential Circuits Optimization by Changing Initial State of Specification. |
EWDTS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Sina Asadi, M. Hassan Najafi, Mohsen Imani |
A Low-Cost FSM-based Bit-Stream Generator for Low-Discrepancy Stochastic Computing. |
DATE |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Jongsung Kang, Taewhan Kim |
Speeding up MUX-FSM based Stochastic Computing for On-device Neural Networks. |
DATE |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Cristian Gadea, Bogdan Ionescu, Dan Ionescu |
Demo: A FSM Approach to Web Collaboration. |
ICDCS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Weiwei Lin 0003, Hongwei Zeng |
Test Sequence Generation Based on Chain Unique Input-Output Sequence in FSM Conformance Testing. |
CSSE |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Leon Li, Shuyi Ni, Alex Orailoglu |
JANUS: Boosting Logic Obfuscation Scope Through Reconfigurable FSM Synthesis. |
HOST |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Junqiao Qiu, Xiaofan Sun, Amir Hossein Nodehi Sabet, Zhijia Zhao 0001 |
Scalable FSM parallelization via path fusion and higher-order speculation. |
ASPLOS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Rihab Ayed, Mohand-Saïd Hacid, Rafiqul Haque, Abderrazak Jemai |
An updated dashboard of complete search FSM implementations in centralized graph transaction databases. |
J. Intell. Inf. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Nitish Das, Aruna Priya P. |
Reset: A Reconfigurable state encoding technique for FSM to achieve security and hardware optimality. |
Microprocess. Microsystems |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Yuejun Zhang, Zhao Pan 0001, Pengjun Wang, Xiaowei Zhang |
A Low Cost MST-FSM Obfuscation Method for Hardware IP Protection. |
J. Circuits Syst. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Amir Hossein Nodehi Sabet, Junqiao Qiu, Zhijia Zhao 0001, Sriram Krishnamoorthy |
Reliability Analysis for Unreliable FSM Computations. |
ACM Trans. Archit. Code Optim. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Kallil M. C. Zielinski, Marcelo Teixeira, Richardson Ribeiro, Dalcimar Casanova |
Concept and the implementation of a tool to convert industry 4.0 environments modeled as FSM to an OpenAI Gym wrapper. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Marco T. Morazán, Joshua M. Schappel, Sachin Mahashabde |
Visual Designing and Debugging of Deterministic Finite-State Machines in FSM. |
TFPIE |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Shlomi Dolev, Ziyu Wang 0009 |
SodsMPC: FSM based Anonymous and Private Quantum-safe Smart Contracts. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
17 | Shlomi Dolev, Ziyu Wang 0009 |
SodsMPC: FSM based Anonymous and Private Quantum-safe Smart Contracts. |
NCA |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Jeremy Pope, Jules Saget, Carl-Johan H. Seger |
Stately: An FSM Design Tool. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Jia-Ken Li, Hung-Wen Lin |
A Baseband All-Digital Clock and Data Recovery Circuit with A Limited Range Binary Search FSM. |
ICCE-TW |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko 0001 |
Using an SMT Solver for Checking the Completeness of FSM-Based Tests. |
ICTSS |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Maryna Miroschnyk, Alexander Shkil, Dariia Rakhlis, Elvira Kulak, Inna Filippenko, Mykyta Malakhov |
Hardware Implementation of Timed Logical Control FSM. |
EWDTS |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Ziming Wang, Aijiao Cui, Gang Qu 0001 |
A Low-Cost Fault Injection Attack Resilient FSM Design. |
SoCC |
2020 |
DBLP DOI BibTeX RDF |
|
17 | WooHyun Park |
Intelligent Camera Using a Finite-State Machine (FSM). |
IMCOM |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Junqiao Qiu |
FSM-Centric Speculative Parallelization for Scalable Data Processing |
|
2020 |
RDF |
|
17 | Cezary Zielinski, Maksym Figat, René Hexel |
Communication Within Multi-FSM Based Robotic Systems. |
J. Intell. Robotic Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Sajid Khan 0002, Lansheng Han, Hongwei Lu, Khushbu Khalid Butt, Guehguih Bachira, Naimat-Ullah Khan |
A New Hybrid Image Encryption Algorithm Based on 2D-CA, FSM-DNA Rule Generator, and FSBI. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Shao-I Chu, Chen-En Hsieh, Yu-Jung Huang |
Design of FSM-Based Function With Reduced Number of States in Integral Stochastic Computing. |
IEEE Trans. Very Large Scale Integr. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Kokila Jagadeesh, Arjun Murali Das, B. Shameedha Begum, Natarajan Ramasubramanian |
Hardware Signature Generation Using a Hybrid PUF and FSM Model for an SoC Architecture. |
Period. Polytech. Electr. Eng. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Mike Borowczak, Ranga Vemuri |
Mitigating information leakage during critical communication using S*FSM. |
IET Comput. Digit. Tech. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Satish Kumar, Rajesh Devaraj, Arnab Sarkar, Arijit Sur |
Client-Side QoE Management for SVC Video Streaming: An FSM Supported Design Approach. |
IEEE Trans. Netw. Serv. Manag. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Priyanka Choudhury, Kanchan Manna, Vivek Rai, Sambhu Nath Pradhan |
Thermal-Aware Partitioning and Encoding of Power-Gated FSM. |
J. Circuits Syst. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Pritam Bhattacharjee, Alak Majumder |
A Variation-Aware Robust Gated Flip-Flop for Power-Constrained FSM Application. |
J. Circuits Syst. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Abhishek Nag, Subhajit Das 0004, Sambhu Nath Pradhan |
Low-Power FSM Synthesis Based on Automated Power and Clock Gating Technique. |
J. Circuits Syst. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Adib Nahiyan, Farimah Farahmandi, Prabhat Mishra 0001, Domenic Forte, Mark M. Tehranipoor |
Security-Aware FSM Design Flow for Identifying and Mitigating Vulnerabilities to Fault Attacks. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Kokila Jagadeesh, N. Ramasubramanian 0001 |
Enhanced Authentication Using Hybrid PUF with FSM for Protecting IPs of SoC FPGAs. |
J. Electron. Test. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Marc Fyrbiak, Sebastian Wallat, Jonathan Déchelotte, Nils Albartus, Sinan Böcker, Russell Tessier, Christof Paar |
On the Difficulty of FSM-based Hardware Obfuscation. |
IACR Cryptol. ePrint Arch. |
2019 |
DBLP BibTeX RDF |
|
17 | Omer Nguena Timo, Alexandre Petrenko, S. Ramesh 0002 |
Fault model-driven testing from FSM with symbolic inputs. |
Softw. Qual. J. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat |
FSM inference and checking sequence construction are two sides of the same coin. |
Softw. Qual. J. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Noorkholis Luthfil Hakim, Timothy K. Shih, Sandeli Priyanwada Kasthuri Arachchi, Wisnu Aditya, Yi-Cheng Chen, Chih-Yang Lin |
Dynamic Hand Gesture Recognition Using 3DCNN and LSTM with FSM Context-Aware Model. |
Sensors |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Mariem Haoues, Asma Sellami, Hanêne Ben-Abdallah |
Towards functional change decision support based on COSMIC FSM method. |
Inf. Softw. Technol. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yanyun Tao, Lijun Zhang, Qinyu Wang, Rong Chen, Yuzhen Zhang |
A multi-population evolution stratagy and its application in low area/power FSM synthesis. |
Nat. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Robert M. Hierons |
FSM quasi-equivalence testing via reduction and observing absences. |
Sci. Comput. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yulu Qi, Jincheng Zhong, Rong Jiang 0001, Yan Jia 0001, Aiping Li, Li Huang, Weihong Han |
FSM-Based Cyber Security Status Analysis Method. |
DSC |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Atiyehsadat Panahi, Keaten Stokke, David Andrews 0001 |
A Library of FSM-based Floating-Point Arithmetic Functions on FPGAs. |
ReConFig |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda |
Fault Detection in Timed FSM with Timeouts by SAT-Solving. |
QRS |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Omer Nguena Timo, Alexandre Petrenko, S. Ramesh 0002 |
Using Imprecise Test Oracles Modelled by FSM. |
ICST Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Dominik Meyer, Marcel Eckert, Bernd Klauer, Jan Haase 0001 |
HDL FSM Code Generation Using a MIPS-based Assembler. |
ISIE |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Subrato Saha, Nuwantha Fernando, Rekha Jayarajan, Lasantha Meegahapola |
FSM Stator Tooth to Rotor Pole MEC Modelling and Full Machine Simulation. |
ISIE |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Jie Liu, Da He, Zhihong Rao |
An Analysis Model of Buffer Overflow Vulnerability Based on FSM. |
ICGDA |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Chengkang He, Aijiao Cui, Chip-Hong Chang |
Identification of State Registers of FSM Through Full Scan by Data Analytics. |
AsianHOST |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Tuna Hacaloglu, Onur Demirörs |
Measureability of Functional Size in Agile Software Projects: Multiple Case Studies with COSMIC FSM. |
SEAA |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Acosta, Valentin G. Ivanov, Sergey Malygin |
On Highly-Skilled Autonomous Competition Vehicles: An FSM for Autonomous Rallycross. |
ICM |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 898 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|