Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Yannick Hervé |
Simple Models for Complex Systems : A-FSM Template. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 90-98, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | N. Venkateswaran 0002, V. Balaji, Venkataraman Mahalingam, T. L. Rajaprabhu |
Analysis of Bit Transition Count for EDAC Encoded FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 9th IEEE International On-Line Testing Symposium (IOLTS 2003), 7-9 July 2003, Kos Island, Greece, pp. 166, 2003, IEEE Computer Society, 0-7695-1968-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | D. Breen, R. O'Neill, Tony D. Smith, A. Th. Schwarzbacher |
VLSI implementation of a TSM/FSM algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAVEBA ![In: Third International Workshop on Models and Analysis of Vocal Emissions for Biomedical Applications, MAVEBA 2003, Florence, Italy, December 10-12, 2003, pp. 205-208, 2003, Firenze University Press / ISCA, 88-8453-155-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Khaled El-Fakih, Nina Yevtushenko 0001, Gregor von Bochmann |
FSM-based Re-Testing Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002, pp. 373-390, 2002, Kluwer, 0-7923-7695-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Joerg Abke, Erich Barke |
A Direct Mapping System for Datapath Module and FSM Implementation into LUT-Based FPGAs . ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 1085, 2002, IEEE Computer Society, 0-7695-1471-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Bengt Oelmann, Kalle Tammemäe, Margus Kruus, Mattias O'Nils |
Automatic FSM Synthesis for Low-power Mixed Synchronous/Asynchronous Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 12(2), pp. 167-186, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Ik-Soon Hwang, Tae-Hyong Kim, Sung-Back Hong, Jai-Yong Lee |
Test selection for a nondeterministic FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 24(12), pp. 1213-1223, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Witold Jacak, Stephan Dreiseitl, Karin Pröll, Jerzy W. Rozenblit |
Conflict management in multiagent robotic system: FSM and fuzzy logic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: `e-Systems and e-Man for Cybernetics in Cyberspace`, Tucson, Arizona, USA, 7-10 October 2001, pp. 1593-1598, 2001, IEEE, 0-7803-7087-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Anzhela Yu. Matrosova, K. Nikitin, Olga Goloubeva |
Totally Self-Checking FSM Design Based on Multilevel Synthesis Methods and FPGA Implemetation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTW ![In: 7th IEEE International On-Line Testing Workshop (IOLTW 2001), 9-11 July 2001, Taormina, Italy, pp. 144, 2001, IEEE Computer Society, 0-7695-1290-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Witold Jacak, Karin Pröll, Stephan Dreiseitl |
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers, pp. 52-66, 2001, Springer, 3-540-42959-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino |
A Method to Generate Conformance Test Sequences for FSM with Timer System Call. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea, pp. 301-318, 2001, Kluwer, 0-7923-7470-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Anzhela Yu. Matrosova, Ilya Levin, Sergey Ostanin |
Self-checking Synchronous FSM Network Design with Low Overhead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 11(1), pp. 47-58, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Imtiaz Ahmad, Faridah M. Ali, Raza Ul-Mustafa |
An integrated state assignment and flip-flop selection technique for FSM synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 24(3), pp. 141-152, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | José C. Monteiro 0001, Arlindo L. Oliveira |
FSM decomposition by direct circuit manipulation applied to low power design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of ASP-DAC 2000, Asia and South Pacific Design Automation Conference 2000, Yokohama, Japan, pp. 351-358, 2000, ACM, 0-7803-5974-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda |
The General Product Machine: a New Model for Symbolic FSM Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 12(3), pp. 267-289, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Klaus Feske, Steffen Rülke, Manfred Koegst |
FPGA based prototyping using a target driven FSM partitioning strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 5th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1998, Surfing the Waves of Science and Technology, Lisbon, Portugal, September 7-10, 1998, pp. 89-92, 1998, IEEE, 0-7803-5008-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Koegst, Günter Franke, Steffen Rülke, Klaus Feske |
Multi-Criterial State Assignment for Low Power FSM Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, pp. 10261-10268, 1998, IEEE Computer Society, 0-8186-8646-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Gianpiero Cabodi, Paolo Camurati |
Symbolic FSM traversals based on the transition relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(5), pp. 448-457, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Klaus Feske, Sven Mulka, Manfred Koegst, Günter Elst |
Technology-driven FSM partitioning for synthesis of large sequential circuits targeting lookup-table based FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, 7th International Workshop, FPL '97, London, UK, September 1-3, 1997, Proceedings, pp. 235-244, 1997, Springer, 3-540-63465-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman |
Corrigendum to 'fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model' : [Computer Comm. 18(1995) 113]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 19(2), pp. 160, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi |
Algorithms for approximate FSM traversal based on state space decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(12), pp. 1465-1478, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Juha Viskari, Risto Jokinen, Kari Hakkarainen |
A Generic FSM Interpreter for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, RTS 1996, L'Aquila, Italy, June 12-14, 1996, pp. 284-289, 1996, IEEE Computer Society, 0-8186-7496-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Koegst, Klaus Feske, Günter Franke |
State assignment for FSM low power design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: Proceedings of the conference on European design automation, EURO-DAC '96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996, pp. 28-33, 1996, IEEE Computer Society Press, 0-8186-7573-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Akhilesh Tyagi |
Entropic bounds on FSM switching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 1996 International Symposium on Low Power Electronics and Design, 1996, Monterey, California, USA, August 12-14, 1996, pp. 323-328, 1996, IEEE, 0-7803-3571-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich |
Enhancing FSM Traversal by Temporary Re-Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 6-11, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Formal Verification, Computer-Aided Design |
17 | Lakshmikant Bhupathi, Liang-Fang Chao |
Dichotomy-based Model for FSM Power Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 390-395, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto |
Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 33st Conference on Design Automation, Las Vegas, Nevada, USA, Las Vegas Convention Center, June 3-7, 1996., pp. 467-470, 1996, ACM Press, 0-89791-779-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Sunil P. Khatri, Amit Narayan, Sriram C. Krishnan, Kenneth L. McMillan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Engineering Change in a Non-Deterministic FSM Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 33st Conference on Design Automation, Las Vegas, Nevada, USA, Las Vegas Convention Center, June 3-7, 1996., pp. 451-456, 1996, ACM Press, 0-89791-779-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman |
Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 18(2), pp. 113-122, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman |
On Testing and Diagnosis of Communication Protocols Based on the FSM Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 18(5), pp. 329-337, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Huey-Yih Wang, Robert K. Brayton |
Multi-level logic optimization of FSM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 728-735, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Hsin-Chu Chen |
Combining SAS with FSM for Plate-bending Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSC ![In: Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, PPSC 1995, San Francisco, California, USA, February 15-17, 1995, pp. 241-242, 1995, SIAM, 0-89871-344-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi |
Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 433-440, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Andrzej Hlawiczka, Jacek Binda |
Optimized Synthesis of Self-Testable Finite State Machines (FSM) Using BIST-PST Structures in Altera Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic, Architectures, Synthesis and Applications, 4th International Workshop on Field-Programmable Logic and Applications, FPL '94, Prague, Czech Republic, September 7-9, 1994, Proceedings, pp. 120-122, 1994, Springer, 3-540-58419-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Chung-Shyan Liu, Kuo-Hua Su |
An FSM-based program generator for communication protocol software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Eighteenth Annual International Computer Software and Applications Conference, COMPSAC 1994, Taipei, Taiwan, 9-11 November, 1994, Proceedings, pp. 181-187, 1994, IEEE, 0-8186-6705-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Yosinori Watanabe, Robert K. Brayton |
State Minimization of Pseudo Non-Deterministic FSM's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDAC-ETC-EUROASIC ![In: EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28 - March 3, 1994, Paris, France, pp. 184-191, 1994, IEEE Computer Society, 0-8186-5410-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi |
A State Space Decomposition Algorithm for Approximate FSM Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDAC-ETC-EUROASIC ![In: EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28 - March 3, 1994, Paris, France, pp. 137-141, 1994, IEEE Computer Society, 0-8186-5410-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann |
Fault Coverage Analysis in Respect to an FSM Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM '94, The Conference on Computer Communications, Thirteenth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking for Global Communications, Toronto, Ontario, Canada, June 12-16, 1994, pp. 768-775, 1994, IEEE Computer Society, 0-8186-5570-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | D. Schin, Yinan N. Shen, Fabrizio Lombardi |
An Approach for UIO Generation for FSM Verification and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30 - June 2, 1994, pp. 303-306, 1994, IEEE, 0-7803-1916-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Chunduri Rama Mohan, Partha Pratim Chakrabarti |
A New Approach to Synthesis of PLA-Based FSM's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: Proceedings of the Seventh International Conference on VLSI Design, VLSI Design 1994, Calcutta, India, January 5-8, 1994, pp. 373-378, 1994, IEEE Computer Society, 0-8186-4990-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Mahesh Mehendale, Biswadip Mitra |
An Integrated Approach to State Assignment and Sequential Element Selection for FSM Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: Proceedings of the Seventh International Conference on VLSI Design, VLSI Design 1994, Calcutta, India, January 5-8, 1994, pp. 369-372, 1994, IEEE Computer Society, 0-8186-4990-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Huey-Yih Wang, Robert K. Brayton |
Permissible Observability Relations in FSM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 31st Conference on Design Automation, San Diego, California, USA, June 6-10, 1994., pp. 677-683, 1994, ACM Press, 0-7803-1836-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Wayne H. Wolf |
FSM decomposition for pipelined data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 15(2), pp. 117-131, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Cristiana Bolchini, Franco Fummi |
FSM fault models impact on test performances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 38(1-5), pp. 229-236, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Krischer |
The Backward Walk Approach in FSM Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHDL ![In: Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993, pp. 155-162, 1993, North-Holland, 0-444-81641-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
17 | Wen-Lin Yang, Robert Michael Owens, Mary Jane Irwin |
Multi-way FSM decomposition based on interconnect complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: Proceedings of the European Design Automation Conference 1993, EURO-DAC '93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993, pp. 390-395, 1993, IEEE Computer Society, 0-8186-4350-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Yosinori Watanabe, Robert K. Brayton |
The maximum set of permissible behaviors for FSM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993, pp. 316-320, 1993, IEEE Computer Society / ACM, 0-8186-4490-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Debaditya Mukherjee, Massoud Pedram, Melvin A. Breuer |
Merging multiple FSM controllers for DFT/BIST hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993, pp. 720-725, 1993, IEEE Computer Society / ACM, 0-8186-4490-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Huey-Yih Wang, Robert K. Brayton |
Input don't care sequences in FSM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993, pp. 321-328, 1993, IEEE Computer Society / ACM, 0-8186-4490-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Gianpiero Cabodi, Paolo Camurati |
Exploiting Cofactoring for Efficient FSM Symbolic Traversal Based on the Transition Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, ICCD '93, Cambridge, MA, USA, October 3-6, 1993, pp. 299-303, 1993, IEEE Computer Society, 0-8186-4230-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi |
Deriving Protocol Specifications from Service Specifications in Extended FSM Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 13th International Conference on Distributed Computing Systems, Pittsburgh, Pennsylvania, USA, May 25-28, 1993, pp. 141-148, 1993, IEEE Computer Society, 0-8186-3770-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Raphaël Rochet, Régis Leveugle, Gabriele Saucier |
Analysis and Comparison of Fault Tolerant FSM Architectures Based on SEC Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: The IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, October 27-29, 1993, Venice, Italy, Proceedings, pp. 9-16, 1993, IEEE Computer Society, 0-8186-3502-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
17 | Zafar Hasan, Maciej J. Ciesielski |
Functional verification and simulation of FSM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 11th IEEE VLSI Test Symposium (VTS'93), 6 Apr 1993-8 Apr 1993, Atlantic City, NJ, USA, pp. 326-332, 1993, IEEE Computer Society, 0-8186-3830-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | S. Raman 0001, M. M. Hasan |
A PLA-Based FSM Design Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: Proceedings of the Sixth International Conference on VLSI Design, VLSI Design 1993, Bombay, India, January 3-6, 1993, pp. 105-106, 1993, IEEE Computer Society, 0-8186-3180-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi |
Algorithms for Approximate FSM Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 30th Design Automation Conference. Dallas, Texas, USA, June 14-18, 1993., pp. 25-30, 1993, ACM Press, 0-89791-577-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Akiko Nakahara, Hitoshi Aida, Tadao Saito |
Performance evaluation of communication networks based on FSM specifications of protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 23(13), pp. 1-14, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda |
Cross-fertilizing FSM verification techniques and sequential diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: Proceedings of the conference on European design automation, EURO-DAC '92, Hamburg, Germany, September 7-10, 1992, pp. 306-311, 1992, IEEE Computer Society Press, 0-8186-2780-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Alexandre Petrenko, Nina Yevtushenko 0001 |
Test Suite Generation from a FSM with a Given Type of Implementation Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 229-243, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
17 | Biswadip Mitra, Preeti Ranjan Panda, Parimal Pal Chaudhuri |
Estimating the Complexity of Synthesized Designs from FSM Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: Proceedings of the Fifth International Conference on VLSI Design, VLSI Design 1992, Bangalore, India, January 4-7, 1992, pp. 175-180, 1992, IEEE Computer Society, 0-8186-2465-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman |
On Conformance Test and Fault Resolution of Protocols based on FSM Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETWORKS ![In: Computer Networks, Architecture and Applications, Proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture and Applications, NETWORKS '92, Trivandrum, India, 28-29 October, 1992, pp. 211-222, 1992, North-Holland, 0-444-89968-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
17 | M. Puchhammer, R. Schlöglhofer |
A Rule-oriented FSM Design System with Prototyping Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991, pp. 891, 1991, MIT Press, 0-262-56058-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
17 | Biswadip Mitra, Preeti Ranjan Panda, Parimal Pal Chaudhuri |
A Flexible Scheme for State Assignment Based on Characteristics of the FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 1991 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1993, Santa Clara, CA, USA, November 11-14, 1991. Digest of Technical Papers, pp. 226-229, 1991, IEEE Computer Society, 0-8186-2157-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi |
Variable Ordering and Selection for FSM Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 1991 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1993, Santa Clara, CA, USA, November 11-14, 1991. Digest of Technical Papers, pp. 476-479, 1991, IEEE Computer Society, 0-8186-2157-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Carl Pixley, Gary Beihl, Ernesto Pacas-Skewes |
Automatic Derivation of FSM Specification to Implementation Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD '91, Cambridge, MA, USA, October 14-16, 1991, pp. 245-249, 1991, IEEE Computer Society, 0-8186-2270-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Maciej J. Ciesielski, Jia-Jye Shen, Marc Davio |
A Unified Approach to Input-Output Encoding for FSM State Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 28th Design Automation Conference, San Francisco, California, USA, June 17-21, 1991., pp. 176-181, 1991, ACM, 0-89791395-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Martin Geiger, Thomas Müller-Wipperfürth |
FSM Decomposition Revisited: Algebraic Structure Theory Applied to MCNC Benchmark FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 28th Design Automation Conference, San Francisco, California, USA, June 17-21, 1991., pp. 182-185, 1991, ACM, 0-89791395-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi |
ATPG Aspects of FSM Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1990, Santa Clara, CA, USA, November 11-15, 1990. Digest of Technical Papers, pp. 134-137, 1990, IEEE Computer Society, 0-8186-2055-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | A. Butti, Aldo Lora, G. C. Macchi |
The FSM and Message Communication: Impact on Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC (3) ![In: IEEE International Conference on Communications: Links for the Future - Science, Systems & Services for Communications, ICC 1984, Amsterdam, The Netherlands, May 14-17, 1984, Proceedings, pp. 1033-1038, 1984, Elsevier. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
17 | M. J. Meyer, Prathima Agrawal, R. G. Pfister |
A VLSI FSM design system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 21st Design Automation Conference, DAC '84, Albuquerque, New Mexico, June 25-27, 1984, pp. 434-440, 1984, ACM/IEEE, 0-8186-0542-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
17 | Sheue-Ling Hwang, Che-Wei Chang |
On-Line Communication Interface Design for Visually Impaired Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (7) ![In: Universal Access in Human-Computer Interaction. Applications and Services, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III, pp. 353-358, 2009, Springer, 978-3-642-02712-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
on-line meeting, FSM-GOMS, auditory interface, Visually impaired users |
17 | M. Ümit Uyar, Samrat S. Batth, Yu Wang 0012, Mariusz A. Fecko |
Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(2), pp. 274-288, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Finite State Machine (FSM), Extended Finite State Machine (EFSM), Timed EFSM, Fault Modeling, Conformance Testing, Timers |
17 | Neil Walkinshaw, Kirill Bogdanov 0002, Ken Johnson |
Evaluation and Comparison of Inferred Regular Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings, pp. 252-265, 2008, Springer, 978-3-540-88008-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
State-Merging, FSM Testing, Evaluation, Model-Based Testing, Precision and Recall |
17 | Rajeev Kumar 0004, Amit Gupta, B. S. Pankaj, Mrinmoy Ghosh, P. P. Chakrabarti 0001 |
Post-compilation optimization for multiple gains with pattern matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 40(12), pp. 14-23, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
instruction set FSM, peephole optimization, post-compilation optimization, pattern matching |
17 | Florentin Ipate, Mike Holcombe |
Testing Conditions for Communicating Stream X-machine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(6), pp. 431-446, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Communicating (extended) fsm, Communicating (stream) X-machines, Design for test-conditions, Testing |
17 | Samrat Goswami, Anupam Chanda, D. Roy Choudhury |
Generation of an Ordered Sequence of Test Vectors for Single State Transition Faults in Large Sequential Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 10th Asian Test Symposium (ATS 2001), 19-21 November 2001, Kyoto, Japan, pp. 279-284, 2001, IEEE Computer Society, 0-7695-1378-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Testing FSM, Single State Transition Fault Model, Sequential Machine |
17 | Franco Fummi, Donatella Sciuto |
A Hierarchical Test Generation Approach for Large Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(4), pp. 289-302, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
hierarchical FSM, sequential circuits, automatic test pattern generation, Functional testing, functional fault model |
17 | Diana Marculescu, Radu Marculescu, Massoud Pedram |
Trace-Driven Steady-State Probability Estimation in FSMs with Application to Power Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 774-779, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Probabilistic FSM analysis, high-order Markov chains, power estimation |
17 | Harry Hsieh, Alberto L. Sangiovanni-Vincentelli |
Modeling micro-controller peripherals for high-level co-simulation and synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Fifth International Workshop on Hardware/Software Codesign, CODES/CASHE 1997, March 24-26, 1997, Braunschweig, Germany, pp. 127-130, 1997, IEEE Computer Society, 0-8186-7895-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
micro-controllers, FSM synthesis, co-simulation, peripherals, co-synthesis |
17 | Santonu Sarkar, Anupam Basu, Arun K. Majumdar |
Analyzing Controllability of a Hardware Circuit for its Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 10th International Conference on VLSI Design (VLSI Design 1997), 4-7 January 1997, Hyderabad, India, pp. 151-154, 1997, IEEE Computer Society, 0-8186-7755-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hardware circuit controllability, external controllability, FSM model, finite state machines, finite state machine model |
17 | Tomoo Inoue, Toshimitsu Masuzawa, Hiroshi Youra, Hideo Fujiwara |
An Approach To The Synthesis Of Synchronizable Finite State Machines With Partial Scan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 5th Asian Test Symposium (ATS '96), November 20-22, 1996, Hsinchu, Taiwan, pp. 130-135, 1996, IEEE Computer Society, 0-8186-7478-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
synchronizable finite state machines, sequential circuits synthesis, extended synchronizing sequence, scan inputs, normal inputs, MCNC'91 benchmark FSM, minimum-length extended synchronizing sequence, test generation, finite state machines, DFT, heuristic algorithm, minimization, partial scan, synthesis for testability, state assignment, state transition, state encoding |
17 | Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell |
Automated verification of temporal properties specified as state machines in VHDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, pp. 100-105, 1995, IEEE Computer Society, 0-8186-7035-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties |
9 | Fatih Turkmen, Bruno Crispo, Pietro Mazzoleni |
A service-based context management framework for cross-enterprise collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2443-2450, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SOA, mobile devices, context |
9 | Lang Xie, Poul E. Heegaard, Jin Zhang, Jie Xiang 0001 |
System state aware admission control scheme for IEEE 802.16e WiMAX-based healthcare system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 928-932, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
IEEE 802.16e WiMAX, admission control, healthcare |
9 | Alexandros Papangelis, Georgios Galatas, Shahina Ferdous, Sarantos Kapidakis, Fillia Makedon |
Computer aided sensor placement and automatic state definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: Proceedings of the 3rd International Conference on Pervasive Technologies Related to Assistive Environments, PETRA 2010, Samos, Greece, June 23-25, 2010, 2010, ACM, 978-1-4503-0071-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
decision support, information fusion, sensor placement, assistive environment, graphical tool |
9 | Grzegorz Borowik, Tadeusz Luba, Bogdan J. Falkowski |
Logic synthesis method for pattern matching circuits implementation in FPGA with embedded memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2009, April 15-17, 2009, Liberec, Czech Republic, pp. 230-233, 2009, IEEE Computer Society, 978-1-4244-3341-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio 0001 |
A Formal Approach to Heuristically Test Restorable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 292-306, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Xueqiang Gong, Jing Liu 0012, Miaomiao Zhang, Jueliang Hu |
Formal Analysis of Services Compatibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2, pp. 243-248, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Lucas Vespa, Mini Mathew, Ning Weng |
P3FSM: Portable Predictive Pattern Matching Finite State Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 20th IEEE International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2009, July 7-9, 2009, Boston, MA, USA, pp. 219-222, 2009, IEEE Computer Society, 978-0-7695-3732-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Grzegorz Borowik, Tadeusz Luba |
Decomposing Pattern Matching Circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 563-570, 2009, Springer, 978-3-642-04771-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
FPGA, Pattern matching, Finite state machine, Decomposition, Logic synthesis, Embedded memory, Address generator |
9 | Hai Yu, Michael Nicolaidis, Lorena Anghel |
An effective approach to detect logic soft errors in digital circuits based on GRAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 10th International Symposium on Quality of Electronic Design (ISQED 2009), 16-18 March 2009, San Jose, CA, USA, pp. 236-240, 2009, IEEE Computer Society, 978-1-4244-2952-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Guy-Vincent Jourdan, Gregor von Bochmann |
On Testing 1-Safe Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 275-281, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Yi Lu 0002, Serge Vaudenay |
Cryptanalysis of an E0-like Combiner with Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 21(3), pp. 430-457, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
E0, Stream cipher, Bluetooth, Correlation, Combiner |
9 | Kui Cai 0001, Kees A. Schouhamer Immink |
A general construction of constrained parity-check codes for optical recording. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 56(7), pp. 1070-1079, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Asli Celikyilmaz, I. Burhan Türksen |
Enhanced Fuzzy System Models With Improved Fuzzy Clustering Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(3), pp. 779-794, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Claudio Talarico, David Freiberger, Tyler Jones, Brandon Hopkins, Charlie Herr, Min-Sung Koh, Esteban Rodriguez-Marek |
A Hybrid Approach for Modeling and Assessing Performance of Embedded Systems in a Biologically Critical Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland, pp. 227-232, 2008, IEEE Computer Society, 978-0-7695-3141-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Per Kristian Lehre, Xin Yao 0001 |
Crossover Can Be Constructive When Computing Unique Input Output Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings, pp. 595-604, 2008, Springer, 978-3-540-89693-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Ramy Ragab Hassen, Lhouari Nourine, Farouk Toumani |
Protocol-Based Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 38-53, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Jaeseung Chang, Marie-Luce Bourguet |
Usability framework for the design and evaluation of multimodal interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI (2) ![In: Proceedings of the 22nd British HCI Group Annual Conference on HCI 2008: People and Computers XXII: Culture, Creativity, Interaction - Volume 2, BCS HCI 2008, Liverpool, United Kingdom, 1-5 September 2008, pp. 123-126, 2008, BCS, 978-1-906124-06-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
modelling, interaction design, finite state machine, multimodality, usability evaluation |
9 | Lisane B. de Brisolara, Marcio F. da S. Oliveira, Ricardo Miotto Redin, Luís C. Lamb, Luigi Carro, Flávio Rech Wagner |
Using UML as Front-end for Heterogeneous Software Code Generation Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 504-509, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | ChangRyul Yun, DongSoo Kang, YoungHwan Bae, Hanhn Cho, KyoungSon Jhang |
Automatic interface synthesis based on the classification of interface protocols of IPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 589-594, 2008, IEEE, 978-1-4244-1921-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|