Representations and Methodology of Future Computing Technologies - tele-TASKhttps://www.tele-task.de/series/244/Molecular scale computing, Nanotechnology, as well as Quantum computing are trends in future computing that might offer the way to circumvent the approaching bottom of Moore's law for traditional silicon based technologies. For synthesis and design new types of representations are required to exploit the full potential of these new technologies. In the past, e.g. AND-EXOR based representations have proven to be simpler than standard AND-OR representations for switching functions, while on the other hand showing many different properties. Decision diagrams have been extensively studied and have provided powerful new techniques for verification and synthesis. The goal of the symposium is to bring together researchers in these and related fields to discuss new approaches and results. This year the symposium took place in Trier, Germany. Previous workshops have been held in Starkville, Mississippi (USA) in 2001, in Victoria, BC (Canada) in 1999, in Oxford(UK) in 1997, in Tokyo (Japan) in 1995, and in Hamburg(Germany) in 1993.High quality e-learning content created with tele-TASK - more than video! Powered by Hasso Plattner Institute (HPI)various lecturersMolecular scale computing, Nanotechnology, as well as Quantum computing are trends in future computing that might offer the way to circumvent the approaching bottom of Moore's law for traditional silicon based technologies. For synthesis and design new types of representations are required to exploit the full potential of these new technologies. In the past, e.g. AND-EXOR based representations have proven to be simpler than standard AND-OR representations for switching functions, while on the other hand showing many different properties. Decision diagrams have been extensively studied and have provided powerful new techniques for verification and synthesis. The goal of the symposium is to bring together researchers in these and related fields to discuss new approaches and results. This year the symposium took place in Trier, Germany. Previous workshops have been held in Starkville, Mississippi (USA) in 2001, in Victoria, BC (Canada) in 1999, in Oxford(UK) in 1997, in Tokyo (Japan) in 1995, and in Hamburg(Germany) in 1993.notele-TASKtele-task@hpi.deen℗; ©; tele-TASKTue, 21 May 2019 19:34:45 GMTPyRSS2Gen-1.1.0http://blogs.law.harvard.edu/tech/rssA Hierarchical Approach to Computer Aided Design of Quantum Circuitshttps://www.tele-task.de/lecture/video/110/M. Lukac00:17:16tele-TASK, HPI, computer science, technology, Germany, PotsdamM. LukacA Hierarchical Approach to Computer Aided Design of Quantum CircuitsM. Lukachttps://www.tele-task.de/lecture/video/110/Tue, 11 Mar 2003 00:00:00 GMTMajority-Based Reversible Logic Gatehttps://www.tele-task.de/lecture/video/109/M. Lukac00:17:16tele-TASK, HPI, computer science, technology, Germany, PotsdamM. LukacMajority-Based Reversible Logic GateM. Lukachttps://www.tele-task.de/lecture/video/109/Tue, 11 Mar 2003 00:00:00 GMTBinary Decision Diagrams based on Single and Multiple Generalized Shannon Expansionshttps://www.tele-task.de/lecture/video/108/P. Kerntopf00:32:32tele-TASK, HPI, computer science, technology, Germany, PotsdamP. KerntopfBinary Decision Diagrams based on Single and Multiple Generalized Shannon ExpansionsP. Kerntopfhttps://www.tele-task.de/lecture/video/108/Tue, 11 Mar 2003 00:00:00 GMTReversible Function Synthesis with Minimum Garbage Outputshttps://www.tele-task.de/lecture/video/107/G. Dueck00:19:21tele-TASK, HPI, computer science, technology, Germany, PotsdamG. DueckReversible Function Synthesis with Minimum Garbage OutputsG. Dueckhttps://www.tele-task.de/lecture/video/107/Tue, 11 Mar 2003 00:00:00 GMTGarbage in Reversible Designs of Multiple Output Functionshttps://www.tele-task.de/lecture/video/106/D. Maslov00:23:46tele-TASK, HPI, computer science, technology, Germany, PotsdamD. MaslovGarbage in Reversible Designs of Multiple Output FunctionsD. Maslovhttps://www.tele-task.de/lecture/video/106/Tue, 11 Mar 2003 00:00:00 GMTMulti-Output ESOP Synthesis with Cascades of New Reversible Gate Familyhttps://www.tele-task.de/lecture/video/105/M.H.A. Khan00:28:07tele-TASK, HPI, computer science, technology, Germany, PotsdamM.H.A. KhanMulti-Output ESOP Synthesis with Cascades of New Reversible Gate FamilyM.H.A. Khanhttps://www.tele-task.de/lecture/video/105/Tue, 11 Mar 2003 00:00:00 GMTVariable Reordering von Parity-OBDDshttps://www.tele-task.de/lecture/video/104/Prof. Dr. Harald Sack00:33:03tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Harald SackVariable Reordering von Parity-OBDDsProf. Dr. Harald Sackhttps://www.tele-task.de/lecture/video/104/Tue, 11 Mar 2003 00:00:00 GMTWell-Structured Graph-Driven Parity-FBBDshttps://www.tele-task.de/lecture/video/103/M. Homeister00:26:49tele-TASK, HPI, computer science, technology, Germany, PotsdamM. HomeisterWell-Structured Graph-Driven Parity-FBBDsM. Homeisterhttps://www.tele-task.de/lecture/video/103/Tue, 11 Mar 2003 00:00:00 GMTTotally Self-checking 1-out-of-n Checker with Applocation to Fault Tolerant Designhttps://www.tele-task.de/lecture/video/102/R. Krenz00:11:24tele-TASK, HPI, computer science, technology, Germany, PotsdamR. KrenzTotally Self-checking 1-out-of-n Checker with Applocation to Fault Tolerant DesignR. Krenzhttps://www.tele-task.de/lecture/video/102/Tue, 11 Mar 2003 00:00:00 GMTFault Diagnosis for RAMS using WALSH Spectrumhttps://www.tele-task.de/lecture/video/101/Y. Iguchi00:21:30tele-TASK, HPI, computer science, technology, Germany, PotsdamY. IguchiFault Diagnosis for RAMS using WALSH SpectrumY. Iguchihttps://www.tele-task.de/lecture/video/101/Mon, 10 Mar 2003 00:00:00 GMTConstruction of Compact Word-Level Representations of Multiple-output Switching Functions by Wavelet Packetshttps://www.tele-task.de/lecture/video/100/R. S. Stankovic00:29:56tele-TASK, HPI, computer science, technology, Germany, PotsdamR. S. StankovicConstruction of Compact Word-Level Representations of Multiple-output Switching Functions by Wavelet PacketsR. S. Stankovichttps://www.tele-task.de/lecture/video/100/Mon, 10 Mar 2003 00:00:00 GMTMinimizing AND-EXOR Expressions of Some Benchmark Functionshttps://www.tele-task.de/lecture/video/99/T. Hirayama00:22:41tele-TASK, HPI, computer science, technology, Germany, PotsdamT. HirayamaMinimizing AND-EXOR Expressions of Some Benchmark FunctionsT. Hirayamahttps://www.tele-task.de/lecture/video/99/Mon, 10 Mar 2003 00:00:00 GMTBDDs, Horn Clauses and Resolutionhttps://www.tele-task.de/lecture/video/98/Dr. Mohammad Ghasemzadeh00:30:50tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Mohammad GhasemzadehBDDs, Horn Clauses and ResolutionDr. Mohammad Ghasemzadehhttps://www.tele-task.de/lecture/video/98/Mon, 10 Mar 2003 00:00:00 GMTSpectral Techniques for Reversible Logic Synthesishttps://www.tele-task.de/lecture/video/97/G. Dueck00:21:52tele-TASK, HPI, computer science, technology, Germany, PotsdamG. DueckSpectral Techniques for Reversible Logic SynthesisG. Dueckhttps://www.tele-task.de/lecture/video/97/Mon, 10 Mar 2003 00:00:00 GMTReversible Logic Synthesis with Cascades of New Gate Familieshttps://www.tele-task.de/lecture/video/96/M.H.A. Khan00:26:27tele-TASK, HPI, computer science, technology, Germany, PotsdamM.H.A. KhanReversible Logic Synthesis with Cascades of New Gate FamiliesM.H.A. Khanhttps://www.tele-task.de/lecture/video/96/Mon, 10 Mar 2003 00:00:00 GMTGroup-theoretic Approach to the Optimization Problems in Logic Designhttps://www.tele-task.de/lecture/video/95/R. S. Stankovic00:25:13tele-TASK, HPI, computer science, technology, Germany, PotsdamR. S. StankovicGroup-theoretic Approach to the Optimization Problems in Logic DesignR. S. Stankovichttps://www.tele-task.de/lecture/video/95/Mon, 10 Mar 2003 00:00:00 GMTAn Algorithm for Optimal Presentation of a Partial Boolean Function as a MOD2 sum of productshttps://www.tele-task.de/lecture/video/94/G.R. Pogosyan00:27:16tele-TASK, HPI, computer science, technology, Germany, PotsdamG.R. PogosyanAn Algorithm for Optimal Presentation of a Partial Boolean Function as a MOD2 sum of productsG.R. Pogosyanhttps://www.tele-task.de/lecture/video/94/Mon, 10 Mar 2003 00:00:00 GMTTowards a General Novel Exact ESOP Minimization Methodologyhttps://www.tele-task.de/lecture/video/93/Stergios Stergiou00:16:47tele-TASK, HPI, computer science, technology, Germany, PotsdamStergios StergiouTowards a General Novel Exact ESOP Minimization MethodologyStergios Stergiouhttps://www.tele-task.de/lecture/video/93/Mon, 10 Mar 2003 00:00:00 GMTON SNF Optimization: A functional Comparison of Methodshttps://www.tele-task.de/lecture/video/92/Bernd Steinbach00:28:14tele-TASK, HPI, computer science, technology, Germany, PotsdamBernd SteinbachON SNF Optimization: A functional Comparison of MethodsBernd Steinbachhttps://www.tele-task.de/lecture/video/92/Mon, 10 Mar 2003 00:00:00 GMT