High-Logic - PDFSEARCH.IO - Document Search Engine

High-Logic
Results: 359

#	Item
321	Digital Design Derivation 1. Introduction This research applies formal methods in logic, verification, and synthesis to digital design engineering. The work centers on the use of applicative notation for system descript Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 15:58:20 Logic in computer science Digital electronics Logic synthesis Logic simulation High-level synthesis Verilog Actor model Abstraction Programming language Electronic engineering Electronic design automation Electronic design
322	Version[removed]Altera Product Catalog Contents ■ Add to Reading List Source URL: www.altera.com Language: English - Date: 2013-11-15 02:07:38 Electronic engineering Fabless semiconductor companies Altera High-speed transceiver logic Field-programmable gate array Low-voltage differential signaling Nios II PCI Express Secure Digital Computer buses Computer hardware Electronics
323	Resolution-like theorem proving for high-level conditions Karl-Heinz Pennemann University of Oldenburg, Germany⋆⋆ [removed] Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-01 20:46:15 Mathematical logic Propositional calculus Model theory Algebraic geometry Logical truth Tautology Pushout Epimorphism Category Logic Mathematics Abstract algebra
324	algebra for digital design derivation Research Prospectus Algebra for Digital Design Derivation August, 1989 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:08:06 Formal methods Digital electronics Logic synthesis Formal verification High-level synthesis Logic gate Standard cell Programming language Function model Electronic engineering Electronic design automation Electronic design
325	Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-06-21 08:43:28 Algebra Morphisms Algebraic geometry Predicate transformer semantics Program logic Pushout Graph rewriting Epimorphism Ample line bundle Abstract algebra Mathematics Category theory
326	Suite 7.1 HD Home Theater Controller Installation Manual Version[removed]June 2010 Add to Reading List Source URL: www.ada.net Language: English - Date: 2010-12-20 15:42:21 Consumer electronics Technology Audio codecs High-end audio High-definition television Dolby Pro Logic DTS Dolby Digital THX Surround sound Electronics Electronic engineering
327	White Paper MAX Series Configuration Controller Using Flash Memory Altera’s flash memory configuration controller provides an alternative configuration solution for high-density FPGA-based designs. With the flexibility Add to Reading List Source URL: www.altera.com Language: English - Date: 2009-12-18 14:15:45 Altera Reconfigurable computing Field-programmable gate array Complex programmable logic device Flash memory Bitstream SiliconBlue Technologies Electronic engineering Computer hardware Computing
328	C84 SHROUDED HEADER FOR HIGH CURRENT R/A PITCH: 3.18mm * 3.18mm SPECIFICATIONS Material Insulator : PBT, glass reinforced, rated UL 94V-0 Contact : Brass Add to Reading List Source URL: www.donnex.com.tw Language: English - Date: 2014-03-27 01:46:58 Electronic engineering Flip-flop Brass Electronics Electromagnetism Electrical engineering Digital electronics Logic gates Computer memory
329	C83 SHROUDED HEADER FOR HIGH CURRENT STR PITCH: 3.18mm * 3.18mm SPECIFICATIONS Material Insulator : PBT, glass reinforced, rated UL 94V-0 Contact : Brass Add to Reading List Source URL: www.donnex.com.tw Language: English - Date: 2014-03-27 01:46:57 Electronic engineering Flip-flop C83 Brass Electronics Electromagnetism Electrical engineering Digital electronics Logic gates Computer memory
330	EDAS ® ETHERNET DATA ACQUISITION SYSTEMS • High-Accuracy 16-Bit Multifunction I/O EDAS Add to Reading List Source URL: www.edasce.com Language: English - Date: 2006-06-16 18:40:19 Computing Biological databases Gene expression RNA splicing Spliceosome EDAS Transistor–transistor logic Serial port Signal conditioning Digital electronics Electronic engineering Electronics

UPDATE