Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Alexander Barkalov 0001, Larysa Titarenko, Raisa Malcheva, Kyryll Soldatov |
Hardware Reduction in FPGA-Based Moore FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 22(3), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | André Takeshi Endo, Adenilso da Silva Simão |
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 55(6), pp. 1045-1062, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jingling Zhao, Shilei Chen, Shurui Liang, Baojiang Cui, Xiaolong Song |
RFSM-Fuzzing a Smart Fuzzing Algorithm Based on Regression FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3PGCIC ![In: Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2013, Compiegne, France, October 28-30, 2013, pp. 380-386, 2013, IEEE, 978-0-7695-5094-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mike Borowczak, Ranga Vemuri |
Secure controllers: Requirements of S*FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: IEEE 56th International Midwest Symposium on Circuits and Systems, MWSCAS 2013, Columbus, OH, USA, August 4-7, 2013, pp. 553-557, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Larysa Titarenko, Olena Hebda |
Matrix implementation of Moore FSM with nonstandard presentation of state codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: East-West Design & Test Symposium, EWDTS 2013, Rostov-on-Don, Russia, September 27-30, 2013, pp. 1-5, 2013, IEEE Computer Society, 978-1-4799-2095-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | R. M. Hidalgo-Bermúdez, M. S. Rodríguez-Domingo, Antonio Miguel Mora, Pablo García-Sánchez, Juan Julián Merelo Guervós, Antonio José Fernández Leiva |
Evolutionary FSM-Based Agents for Playing Super Mario Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LION ![In: Learning and Intelligent Optimization - 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers, pp. 357-363, 2013, Springer, 978-3-642-44972-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jiliang Zhang 0002, Yaping Lin, Yongqiang Lu 0001, Ray C. C. Cheung, Wenjie Che, Qiang Zhou 0001, Jinian Bian |
Binding Hardware IPs to Specific FPGA Device via Inter-twining the PUF Response with the FSM of Sequential Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 21st IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2013, Seattle, WA, USA, April 28-30, 2013, pp. 227, 2013, IEEE Computer Society, 978-1-4673-6005-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Tomofumi Yuki, Antoine Morvan, Steven Derrien |
Derivation of efficient FSM from loop nests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPT ![In: 2013 International Conference on Field-Programmable Technology, FPT 2013, Kyoto, Japan, December 9-11, 2013, pp. 286-293, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Himani Mittal, Dinesh Chandra, Arvind Tiwari |
Design of Low Power FSM Using Verilog in VLSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSHINE ![In: Quality, Reliability, Security and Robustness in Heterogeneous Networks - 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers, pp. 377-386, 2013, Springer, 978-3-642-37948-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy |
Unifying FSM-inference algorithms through declarative specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013, pp. 252-261, 2013, IEEE Computer Society, 978-1-4673-3076-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jun Tang, Xiaohong Huang, Jing Qian, César Viho |
A FSM-based Test Sequence Generation Method for RPL Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GreenCom/iThings/CPScom ![In: 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, Physical and Social Computing (CPSCom), Beijing, China, August 20-23, 2013, pp. 591-597, 2013, IEEE, 978-0-7695-5046-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Pavlos M. Mattheakis, Christos P. Sotiriou |
Polynomial Complexity Asynchronous Control Circuit Synthesis of Concurrent Specifications Based on Burst-Mode FSM Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, Pune, India, January 5-10, 2013, pp. 251-256, 2013, IEEE Computer Society, 978-1-4673-4639-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Barkalov 0001, Larysa Titarenko, Malgorzata Kolopienczyk |
EMB - Based Design of Mealy FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDeS ![In: 12th IFAC Conference on Programmable Devices and Embedded Systems, PDeS 2013, Ostrava, Czech Republic, September 25-27, 2013., pp. 215-220, 2013, International Federation of Automatic Control, 978-3-902823-53-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Larysa Titarenko, Olena Hebda, Alexander Barkalov 0001 |
Synthesis of PLA-Based Moore FSM with Unconventional Presentation of State Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDeS ![In: 12th IFAC Conference on Programmable Devices and Embedded Systems, PDeS 2013, Ostrava, Czech Republic, September 25-27, 2013., pp. 250-255, 2013, International Federation of Automatic Control, 978-3-902823-53-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko 0001, Gregor von Bochmann |
FSM-based testing from user defined faults adapted to incremental and mutation testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 38(4), pp. 201-209, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Hashem Moradmand Ziyabar, Mahnaz Sinaie, Ali Payandeh, Vahid Tabataba Vakili |
Secure FSM- based arithmetic codes ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1206.0848, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Luca Blessent |
FSM™ femtocell station modem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hot Chips Symposium ![In: 2012 IEEE Hot Chips 24 Symposium (HCS), Cupertino, CA, USA, August 27-29, 2012, pp. 1-17, 2012, IEEE, 978-1-4673-8879-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Aadithya V. Karthik, Yingyan Lin, Chenjie Gu, Aolin Xu, Jaijeet S. Roychowdhury, Naresh R. Shanbhag |
A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 2012 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2012, Kyoto, Japan, March 25-30, 2012, pp. 5289-5292, 2012, IEEE, 978-1-4673-0046-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Vojtech Merunka |
FSM-Based Object-Oriented Organization Modeling and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Workshops ![In: Advanced Information Systems Engineering Workshops - CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012. Proceedings, pp. 398-412, 2012, Springer, 978-3-642-31068-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Maykon Luís Capellari, Itana Maria de Souza Gimenes, Adenilso da Silva Simão, André Takeshi Endo |
Towards Incremental FSM-based Testing of Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBQS ![In: Proceedings of the 11th Brazilian Symposium on Software Quality, SBQS 2012, Fortaleza, CE, Brazil, July 11-15, 2012, pp. 9-23, 2012, SBC. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Katayoon Beetarafan (Bitarafan), Nariman Heydari Bateni |
Using Finite Series Model (FSM) and cache techniques for estimating scalability level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IST ![In: 6th International Symposium on Telecommunications, IST 2012, Tehran, Iran, November 6-8, 2012, pp. 602-606, 2012, IEEE, 978-1-4673-2072-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Vacius Jusas, Tomas Neverdauskas |
FSM Based Functional Test Generation Framework for VHDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIST ![In: Information and Software Technologies - 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings, pp. 138-148, 2012, Springer, 978-3-642-33307-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Priyanka Choudhury, Sambhu Nath Pradhan |
Power Modeling of Power Gated FSM and Its Low Power Realization by Simultaneous Partitioning and State Encoding Using Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDAT ![In: Progress in VLSI Design and Test - 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings, pp. 19-29, 2012, Springer, 978-3-642-31493-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Konstantin Septinus |
Design, Compiler-Werkzeuge und Evaluation einer FSM-basierten Prozessoreinheit für hochratige Multistandard-Datenpaketverarbeitung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
17 | Jin Qi, Jie Hu 0002, Ying-hong Peng, Wei-ming Wang, Zhenfei Zhang |
AGFSM: An new FSM based on adapted Gaussian membership in case retrieval model for customer-driven design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 38(1), pp. 894-905, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Johann Glaser, Markus Damm, Jan Haase 0001, Christoph Grimm 0001 |
TR-FSM: Transition-Based reconfigurable finite state machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Reconfigurable Technol. Syst. ![In: ACM Trans. Reconfigurable Technol. Syst. 4(3), pp. 23:1-23:14, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Aijiao Cui, Chip-Hong Chang, Sofiène Tahar, Amr T. Abdel-Hamid |
A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(5), pp. 678-690, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Yasser Sedaghat, Seyed Ghassem Miremadi |
An FSM-based monitoring technique to differentiate between follow-up and original errors in safety-critical distributed embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 42(6), pp. 863-873, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Molinero, Manuel Núñez 0001, Robert M. Hierons |
Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALIFE ![In: 2011 IEEE Symposium on Artificial Life, ALIFE 2011, Paris, France, April 13-15, 2011, pp. 22-29, 2011, IEEE, 978-1-61284-063-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chenjie Gu, Jaijeet S. Roychowdhury |
FSM model abstraction for analog/mixed-signal circuits by learning from I/O trajectories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 16th Asia South Pacific Design Automation Conference, ASP-DAC 2011, Yokohama, Japan, January 25-27, 2011, pp. 7-12, 2011, IEEE, 978-1-4244-7516-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda |
A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011, pp. 611-616, 2011, IEEE Computer Society, 978-1-61284-213-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chi-Hoon Shin, Myeong-Hoon Oh, Sung Nam Kim, Seongwoon Kim |
Fine-grained power gating of datapath using FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NESEA ![In: Proceedings of the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2011, Perth, Australia, December 8-9, 2011, pp. 1-5, 2011, IEEE Computer Society, 978-1-4673-0495-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Masahiro Fujita |
Synthesizing, Verifying, and Debugging SoC with FSM-Based Specification of On-Chip Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 43-50, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Ernesto Sánchez 0001, Giovanni Squillero, Alberto Paolo Tonda |
Evolution of Test Programs Exploiting a FSM Processor Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoApplications (2) ![In: Applications of Evolutionary Computation - EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II, pp. 162-171, 2011, Springer, 978-3-642-20519-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Dina Sadat Jalali, Alireza Shahrbanoonezhad |
A new intrusion detection method based on FSM and cache memory in ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIS ![In: 2011 IEEE International Conference on Cloud Computing and Intelligence Systems, CCIS 2011, Beijing, China, September 15-17, 2011, pp. 413-417, 2011, IEEE, 978-1-61284-204-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Maxim Zhigulin, Nina Yevtushenko 0001, Stéphane Maag, Ana R. Cavalli |
FSM-Based Test Derivation Strategies for Systems with Time-Outs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011., pp. 141-149, 2011, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Che-Hua Shih, Ya-Ching Yang, Chia-Chih Yen, Juinn-Dar Huang, Jing-Yang Jou |
FSM-Based Formal Compliance Verification of Interface Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. Eng. ![In: J. Inf. Sci. Eng. 26(5), pp. 1601-1617, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Iksoon Hwang, Ana R. Cavalli |
Testing a probabilistic FSM using interval estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 54(7), pp. 1108-1125, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko 0001 |
FSM-based conformance testing methods: A survey annotated with experimental evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 52(12), pp. 1286-1297, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Konstantin Septinus, Peter Pirsch, Holger Blume, Ulrich Mayer |
A fully programmable FSM-based Processing Engine for Gigabytes/s header parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAMOS ![In: Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS 2010), Samos, Greece, July 19-22, 2010, pp. 45-54, 2010, IEEE, 978-1-4244-7937-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Chi Hu, Xiaodan Zhuang, Mark Hasegawa-Johnson |
FSM-based pronunciation modeling using articulatory phonological code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2010, 11th Annual Conference of the International Speech Communication Association, Makuhari, Chiba, Japan, September 26-30, 2010, pp. 2274-2277, 2010, ISCA. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Hui Chen 0005, Chunjie Zhou, Jie Ma, Yuanqing Qing |
FSM model and analysis for reconfigurable protocol stack in networked control system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: 8th IEEE International Conference on Control and Automation, ICCA 2010, Xiamen, China, June 9-11, 2010, pp. 779-784, 2010, IEEE, 978-1-4244-5195-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski |
Hardware reduction for FSM - Based control units using PAL technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 21-24, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski |
Reduction in the number of PAL macrocells for Moore FSM implemented with CPLD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 390-394, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Sudnitson, Dmitri Mihhailov, Margus Kruus |
Advanced topics of FSM design using FPGA educational boards and web-based tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 514-517, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Mikhail M. Chupilko |
Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 487-490, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Xiaokang Zhou, Huaikou Miao |
Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 9th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2010, 18-20 August 2010, Yamagata, Japan, pp. 763-769, 2010, IEEE Computer Society, 978-0-7695-4147-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Yuan Miao 0001, Xuebing Yang |
An FSM based GUI test automation model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 11th International Conference on Control, Automation, Robotics and Vision, ICARCV 2010, Singapore, 7-10 December 2010, Proceedings, pp. 120-126, 2010, IEEE, 978-1-4244-7814-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | NurQamarina MohdNoor, Azilah Saparon, Yusrina Yusof |
Programmable MBIST Merging FSM and Microcode Techniques Using Macro Commands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 25th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, DFT 2010, Kyoto, Japan, October 6-8, 2010, pp. 115-121, 2010, IEEE Computer Society, 978-1-4244-8447-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Saurabh Chaudhury, Krishna Teja Sistla, Santanu Chattopadhyay |
Genetic algorithm-based FSM synthesis with area-power trade-offs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 42(3), pp. 376-384, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou |
Automatic Verification Stimulus Generation for Interface Protocols Modeled With Non-Deterministic Extended FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 17(5), pp. 723-727, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Barkalov 0001, Larysa Titarenko |
Logic Synthesis for FSM-Based Control Units ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
DBLP DOI BibTeX RDF |
|
17 | Dongkyun Ahn, Gyungho Lee |
StackLock with simple FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2009 IEEE International Conference on Electro/Information Technology, EIT 2009, Windsor, Ontario, Canada, June 7-9, 2009, pp. 46-51, 2009, IEEE, 978-1-4244-3355-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Kenneth Lind, Rogardt Heldal |
Estimation of Real-Time Software Code Size using COSMIC FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 17-20 March 2009, pp. 244-248, 2009, IEEE Computer Society, 978-0-7695-3573-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Sudnitson, Dmitri Mihhailov, Margus Kruus, Konstantin Tarletski |
FSM decomposition with application to FPGA synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2009 International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2009, Rousse, Bulgaria, June 18-19, 2009, pp. 74, 2009, ACM, 978-1-60558-986-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Babiga Birregah, Kondo H. Adjallah |
A framework for FSM based multi-model approach to interconnected components network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11-14 October 2009, pp. 1219-1223, 2009, IEEE, 978-1-4244-2794-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Ying Hou, Rong Chen 0003, Zhenjun Du |
Automated GUI Testing for J2ME Software Based on FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ScalCom-EmbeddedCom ![In: International Conference on Scalable Computing and Communications / Eighth International Conference on Embedded Computing, ScalCom-EmbeddedCom 2009, Dalian, China, September 25-27, 2009, pp. 341-346, 2009, IEEE Computer Society, 978-0-7695-3825-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Muhammad Adeel Pasha, Steven Derrien, Olivier Sentieys |
Ultra Low-power FSM for Control Oriented Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2009), 24-17 May 2009, Taipei, Taiwan, pp. 1577-1580, 2009, IEEE, 978-1-4244-3827-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Samary Baranov, Ilya Levin, Osnat Keren, Mark G. Karpovsky |
Designing fault tolerant FSM by nano-PLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 15th IEEE International On-Line Testing Symposium (IOLTS 2009), 24-26 June 2009, Sesimbra-Lisbon, Portugal, pp. 229-234, 2009, IEEE Computer Society, 978-1-4244-4596-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Xinghao Jiang, Tanfeng Sun, Jiaqi Feng, Zhigao Lin, Huan Lu |
A Novel Differential Energy Watermarking Scheme Based on FSM Model against Video Time-Space Tampering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2009, 10th Pacific Rim Conference on Multimedia, Bangkok, Thailand, December 15-18, 2009 Proceedings, pp. 1306-1312, 2009, Springer, 978-3-642-10466-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Xi Wang 0017, Huaikou Miao, Liang Guo |
Towards Automatic Transformation from UML Model to FSM Model for Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Eng. Appl. ![In: J. Softw. Eng. Appl. 1(1), pp. 68-75, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sambhu Nath Pradhan, M. Tilak Kumar, Santanu Chattopadhyay |
Integrated Power-Gating and State Assignment for Low Power FSM Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008, 7-9 April 2008, Montpellier, France, pp. 269-274, 2008, IEEE Computer Society, 978-0-7695-3170-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ming Li, Shiyi Xu, Enjun Xia, Fayu Wang |
Design of FSM with Concurrent Error Detection Based on Viterbi Decoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: 17th IEEE Asian Test Symposium, ATS 2008, Sapporo, Japan, November 24-27, 2008, pp. 383-388, 2008, IEEE Computer Society, 978-0-7695-3396-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sarah Salahuddin, Kirill Bogdanov 0002, Neil Walkinshaw |
Balanced FSM Generation for Empirical Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings, pp. 371-375, 2008, IEEE Computer Society, 978-0-7695-3388-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yu Zhang 0003, Tao Li, Jia Sun, Renchao Qin |
An FSM-Based Approach for Malicious Code Detection Using the Self-Relocation Gene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 364-371, 2008, Springer, 978-3-540-87440-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
self-relocation gene, finite-state machine, malicious code detection |
17 | Tao He 0004, Huaikou Miao |
Modeling and Composition of Web Application Components using Extended FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (6) ![In: Fourth International Conference on Natural Computation, ICNC 2008, Jinan, Shandong, China, 18-20 October 2008, Volume 6, pp. 363-368, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Danilo Ravotto, Ernesto Sánchez 0001, Massimiliano Schillaci, Giovanni Squillero |
An Evolutionary Methodology for Test Generation for Peripheral Cores Via Dynamic FSM Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings, pp. 214-223, 2008, Springer, 978-3-540-78760-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Peripheral testing, ?GP3, test generation, approximate methods, evolutionary methods |
17 | Duoli Zhang, Yu-Kun Song, Gaoming Du, Yuanjie Zhai |
A technique of automatic monitor generation based on FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2008, Macao, China, November 30 2008 - December 3, 2008, pp. 1775-1778, 2008, IEEE, 978-1-4244-2342-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski |
Reduction in the Number of PAL Macrocells in the Circuit of a Moore FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 17(4), pp. 565-575, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
FSM Encoding for BDD Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 17(1), pp. 113-124, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Comput. Digit. Tech. ![In: IET Comput. Digit. Tech. 1(3), pp. 187-196, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ke Xu 0014, Chiu-sing Choy, Cheong-Fat Chan, Kong-Pang Pun |
Power-Efficient VLSI Realization of a Complex FSM for H.264/AVC Bitstream Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 54-II(11), pp. 984-988, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Nainesh Agarwal, Nikitas J. Dimopoulos |
Automated Power Gating of Registers Using CoDeL and FSM Branch Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation, 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings, pp. 294-303, 2007, Springer, 978-3-540-73622-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Huaikou Miao, Zhong-sheng Qian, Tao He 0004 |
Modeling Web Browser Interactions Using FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007, December 11-14, 2007, Tsukuba Science City, Japan, pp. 211-217, 2007, IEEE Computer Society, 0-7695-3051-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Adenilso Simão, Alexandre Petrenko, José Carlos Maldonado |
Experimental Evaluation of Coverage Criteria for FSM-based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 21st Brazilian Symposium on Software Engineering, SBES 2007, João Pessoa, PE, Brazil, October 15-19, 2007, pp. 359-374, 2007, SBC. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Franz Pichler |
A Highly Nonlinear Cellular FSM-Combiner for Stream Ciphers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 572-580, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Hasan Ural, Zhi Xu, Fan Zhang 0001 |
An Improved Approach to Passive Testing of FSM-based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007., pp. 24-30, 2007, IEEE Computer Society, 0-7695-2892-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko 0001 |
FSM Test Translation Through Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings, pp. 245-258, 2006, Springer, 3-540-34184-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Joumana Dargham, Sukaina Al Nasrawi |
FSM Behavioral Modeling Approach for Hypermedia Web Applications: FBM-HWA Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT/ICIW ![In: Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 19-25 February 2006, Guadeloupe, French Caribbean, pp. 199, 2006, IEEE Computer Society, 0-7695-2522-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Christoforos N. Hadjicostis |
Probabilistic detection of FSM single state-transition faults based on state occupancy measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 50(12), pp. 2078-2083, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Wen-Tsong Shiue |
Power/area/delay aware FSM synthesis and optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 36(2), pp. 147-162, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Mariusz Rawski, Henry Selvaraj, Tadeusz Luba |
An application of functional decomposition in ROM-based FSM implementation in FPGA devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 51(6-7), pp. 424-434, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Christian Weiss |
FSM and k-nearest-neighbor for corpus based video-realistic audio-visual synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2005 - Eurospeech, 9th European Conference on Speech Communication and Technology, Lisbon, Portugal, September 4-8, 2005, pp. 2537-2540, 2005, ISCA. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Zoltán Pap, Gyula Csopaki, Sarolta Dibuz |
On FSM-Based Fault Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, pp. 159-174, 2005, Springer, 3-540-26054-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
output fault, transfer fault, fault diagnosis, Finite state machine, fault localization |
17 | Po-Chang Tsai, Sying-Jyan Wang, Feng-Ming Chang |
FSM-based programmable memory BIST with macro command. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTDT ![In: 13th IEEE International Workshop on Memory Technology, Design, and Testing (MTDT 2005), 3-5 August 2005, Taipei, Taiwan, pp. 72-77, 2005, IEEE Computer Society, 0-7695-2313-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Arsalan Ali Shah, Zafar I. Malik, Shaukat Ali 0004 |
PP-FSM: Peer to Peer File Share for Multimedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEC (2) ![In: The Second World Enformatika Conference, WEC'05, February 25-27, 2005, Istanbul, Turkey, CDROM, pp. 55-58, 2005, Enformatika, Çanakkale, Turkey, 975-98458-3-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz |
Transition-by-transition FSM traversal for reachability analysis in bounded model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2005 International Conference on Computer-Aided Design, ICCAD 2005, San Jose, CA, USA, November 6-10, 2005, pp. 1068-1075, 2005, IEEE Computer Society, 0-7803-9254-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz |
Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (1) ![In: 35. Jahrestagung der Gesellschaft für Informatik, Informatik LIVE!, INFORMATIK 2005, Bonn, Germany, September 19-22, 2005, Band 1, pp. 303-307, 2005, GI, 3-88579-396-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Rita Dorofeeva, Nina Yevtushenko 0001, Khaled El-Fakih, Ana R. Cavalli |
Experimental Evaluation of FSM-Based Testing Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 23-32, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Khaled El-Fakih, Nina Yevtushenko 0001, Gregor von Bochmann |
FSM-Based Incremental Conformance Testing Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(7), pp. 425-436, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger |
Linear time universal coding and time reversal of tree sources via FSM closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 50(7), pp. 1442-1468, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko 0001 |
FSM Based Interoperability Testing Methods for Multi Stimuli Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings, pp. 60-75, 2004, Springer, 3-540-21219-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger |
Linear time universal coding of tree sources via FSM closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: Proceedings of the 2004 IEEE International Symposium on Information Theory, ISIT 2004, Chicago Downtown Marriott, Chicago, Illinois, USA, June 27 - July 2, 2004, pp. 59, 2004, IEEE, 0-7803-8280-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger |
Linear Time Universal Coding of Tree Sources via FSM Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: 2004 Data Compression Conference (DCC 2004), 23-25 March 2004, Snowbird, UT, USA, pp. 372-381, 2004, IEEE Computer Society, 0-7695-2082-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Lin Yuan, Pushkin R. Pari, Gang Qu 0001 |
Finding Redundant Constraints for FSM Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA, pp. 976-977, 2004, AAAI Press / The MIT Press, 0-262-51183-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Sérgio G. Araújo, Antonio Carneiro de Mesquita Filho, Aloysio Pedroza |
Improvements in FSM Evolutions from Partial Input/Output Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III, pp. 1265-1272, 2004, Springer, 3-540-22116-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Luca Negri, Mariagiovanna Sami, David Macii, Alessandra Terranegra |
FSM--based power modeling of wireless protocols: the case of bluetooth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2004 International Symposium on Low Power Electronics and Design, 2004, Newport Beach, California, USA, August 9-11, 2004, pp. 369-374, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
bluetooth, power modeling, wireless protocols |
17 | Ralph Marczynski, Mitchell A. Thornton, Stephen A. Szygenda |
Test vector generation and classification using FSM traversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2004 International Symposium on Circuits and Systems, ISCAS 2004, Vancouver, BC, Canada, May 23-26, 2004, pp. 309-312, 2004, IEEE, 0-7803-8251-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Mariusz Rawski, Henry Selvaraj, Tadeusz Luba |
An Application of Functional Decomposition in ROM-Based FSM Implementation in FPGA Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), Architectures, Methods and Tools, 3-5 September 2003, Belek-Antalya, Turkey, pp. 104-111, 2003, IEEE Computer Society, 0-7695-2003-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Greg Michaelson, Kevin Hammond, Jocelyn Sérot |
FSM-Hume is finite state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003., pp. 19-28, 2003, Intellect, 1-84150-122-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|