High-Logic - PDFSEARCH.IO - Document Search Engine

High-Logic
Results: 359

#	Item
351	VSX-1120-K 7.1-Channel A/V Receiver Featuring HDMI® 1080p Video Processing (v.1.4 with 3D, ARC), 7.1 Surround Sound, Add to Reading List Source URL: www.pioneerelectronics.com Language: English - Date: 2010-12-14 15:11:48 Surround sound Audio codecs High-definition television Consumer electronics High-end audio HDMI DTS 7.1 surround sound Dolby Pro Logic Electronics Electronic engineering Technology
352	Verification, Characterization, and Debugging of the HP PA 7200 Processor To guarantee a high-quality product the HP PA 7200 CPU chip was Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 1996-08-05 19:03:12 Electronics manufacturing Electronic design automation Embedded systems Graphical user interface testing Joint Test Action Group Post-silicon validation Test strategy Logic simulation Debugger Electronic engineering Electronics Software testing
353	Win-TDC The State-of-the-Art Control and Protection System for HVDC Applications from Siemens Add to Reading List Source URL: www.energy.siemens.com Language: English - Date: 2011-03-18 11:00:31 Automation High-voltage direct current Electric power transmission WinCC Programmable logic controller Static inverter plant GK Dürnrohr SCADA Electric power Technology Electromagnetism
354	Automatic Guidance for the Formal Verification of High Integrity Ada Final Report of EPSRC Grant GR/R24081 Andrew Ireland Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2005-02-04 10:21:20 Automated theorem proving Formal methods Logic in computer science Proof theory SPARK Automated proof checking Formal verification Mathematical proof Automated reasoning Theoretical computer science Mathematics Applied mathematics
355	45nm High-k + Metal Gate Strain-Enhanced Transistors C. Auth, A. Cappellani, J.-S. Chun, A. Dalis, A. Davis, T. Ghani, G. Glass, T. Glassman, M. Harper, M. Hattendorf, P. Hentges, S. Jaloviar, S. Joshi, J. Klaus, K. Kuhn, D. Lavric, M. Lu, H. Mariappan, K. Mistry, B. Norris, Add to Reading List Source URL: download.intel.com Language: English - Date: 2009-09-12 14:10:53 Electronics Silicon Logic families Digital electronics Semiconductor devices CMOS 45 nanometer Self-aligned gate Polycrystalline silicon Electronic engineering Chemistry Integrated circuits
356	Information All About Audio Metadata Add to Reading List Source URL: www.dolby.com Language: English - Date: 2009-09-29 16:07:28 Sound Waves Consumer electronics High-definition television Virtual reality Dolby Digital Dolby Laboratories Dolby Pro Logic Dolby noise-reduction system Audio codecs Electronics Surround sound
357	PDF Document Add to Reading List Source URL: nzmathsoc.org.nz Language: English - Date: 2010-01-08 22:49:44 Applied mathematics Low High Computational complexity theory Turing reduction Mathematical logic Turing degree Alan Turing Complexity Computability theory Theoretical computer science Mathematics
358	PDF Document Add to Reading List Source URL: www.ee.bilkent.edu.tr Language: English - Date: 2006-02-28 09:57:20 Hardware description languages Logic design Electronic design High-level synthesis Field-programmable gate array Viterbi decoder Semiconductor intellectual property core Convolutional code Viterbi algorithm Electronic engineering Electronic design automation Error detection and correction
359	PDF Document Add to Reading List Source URL: forum.high-logic.com Language: English - Date: 2009-06-16 13:13:43 Typography Visual arts Serif Topology PANOSE Sans-serif Typesetting Graphic design Typeface

UPDATE