This Open access book provides an overview of the cutting-edge research to systematize innovative foundations in algorithmic theories and techniques, and apply them to solve socially significant real-life problems, thereby driving social transform...Lasīt vairāk
This book constitutes the refereed proceedings of the 6th International Conference on Reversible Computation, RC 2014, held in Kyoto, Japan, in July 2014. The 14 contributions presented together with three invited talks were carefully reviewed and se...Lasīt vairāk
Sērija : The Springer International Series in Engineering and Computer Science
(Izdošanas datums: 26-Sep-2011, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461285588)
Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abs...Lasīt vairāk
(Izdošanas datums: 16-Feb-2009, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642003981)
Asdataminingtechniquesandtoolsmature,theirapplicationdomainsextendto previousuncharteredterritories.The commontheme ofthe workshopsorganized along with the main 2008 Paci c Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in Osaka, Japa...Lasīt vairāk
Reports original research on the techniques of Boolean function manipulation using binary decision diagrams and their applications for VLSI CAD systems. The discussion includes implementation and utility techniques, a fast method for generating compa...Lasīt vairāk
