Abstract
The main goal of this paper is to present a new minimization method for the nondeterministic networks. The motivation of this article is given by the recently developed minimization system named COMIN. This method comprises a deep analysis of the deterministic and nondeterministic multi-valued networks, complete or incomplete specified networks and of the possible adopted strategies during the combinational minimization.
Keywords
- Nondeterministic Networks
- Deterministic Semantics
- Network Minimization
- Input Output Correspondence
- Default Output Value
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ştefănescu I (2005) Discrimination: A new principle in the efficient minimization of the binary and multiple-valued functions. In: 1st international conference on electronics, computers and artificial intelligence, ECAI 2005, University of Piteşti, Romania
Brayton Robert K1, Jiang Jie-Hong R1, Mishchenko Alan1, Villa Tiziano2, Yevtushenko Nina3 BALM User’s manual. 1University of California, Berkeley, 2University of Udine, Italy, 3Tomsk State University, Russia
Gao M, Jiang J-H, Jiang Y, Li Y, Sinha S, Bryton R (2001) MVSIS. In: the Note of the international workshop on logic synthesis, Tahoe City, CA
Chai D, Jiang J-H, Jiang Y, Li Y, Mischenko A, Brayton R (2003) MVSIS 2.0 User's manual. University of Berkeley, Berkeley, CA 94720
Zafiu A, Ştefănescu I (2005) Minimization aspects of hardware and software systems – an extension of the discrimination method. In: 1st international conference on electronics, computers and artificial intelligence, ECAI 2005, University of Piteşti
Stefanescu I, Zafiu A (2007) An efficient network strategy in deep minimizations of deterministic and nondeterministic multi-valued decisional systems. In: 2nd internation conference on electronics, computers and artificial intelligence ECAI 2007, University of Pitesti, Romania
Stefanescu I (2006) Proiectarea logica a sistemelor decizionale hardware so software – Aspecte de baza. (Logic Design of Hardware and Software Decisional Systems – Basic Aspects – (in romanian)), Matrix Rom, Bucuresti, p 630
Zafiu A (2007) An efficient generative algorithm developed for the minimization of the multi-valued specifications. In: 2nd international conference on electronics, computers and artificial intelligence, ECAI 2007, University of Pitesti, Romania
Zafiu A, Stefanescu I, Franti E (2007) A new method for combinational minimization of multi-valued decisional system specifications. Services and Software Architectures, Bucharest, Romanian Academy, pp 27–37
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media, LLC
About this paper
Cite this paper
Zafiu, A., Stefanescu, I. (2009). A New Framework for Nondeterministic Multi-valued System Minimization. In: Mastorakis, N., Mladenov, V., Kontargyri, V. (eds) Proceedings of the European Computing Conference. Lecture Notes in Electrical Engineering, vol 28. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-85437-3_32
Download citation
DOI: https://doi.org/10.1007/978-0-387-85437-3_32
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-84818-1
Online ISBN: 978-0-387-85437-3
eBook Packages: EngineeringEngineering (R0)