Logic level - PDFSEARCH.IO - Document Search Engine

Logic level
Results: 537

#	Item
1	Phillips Scientific 16 Channel Logic Level Translator Add to Reading List Source URL: www.repic.co.jp Language: English - Date: 2012-11-16 04:50:26
2	Sudoku All Sudokus are competely random generated, unique and solvable by logic only (with the exception of level "evil"). 15 8 Add to Reading List Source URL: cdquizzes.homestead.com Language: English - Date: 2008-12-26 09:16:26
3	BSS138 N-Channel Logic Level Enhancement Mode Field Effect Transistor Add to Reading List Source URL: cdn.sparkfun.com - Date: 2013-10-17 12:29:19
4	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Add to Reading List Source URL: peek.uwplse.org Language: English - Date: 2016-08-08 16:17:02 Computing Software engineering Software Compiler optimizations Programming language implementation Compiler construction Formal methods Logic in computer science CompCert Low-level programming language Peephole optimization Formal verification
5	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English Algebra Abstract algebra Group theory Algebraic number theory Galois theory Frobenius group Galois module Order Free group Linear temporal logic
6	8th Grade Writing — Performance Level Descriptors Reporting Categories Argumentative Mode Needs Support A student performing at the Needs Support level: Add to Reading List Source URL: www.discoveractaspire.org Language: English - Date: 2016-06-30 10:57:02 Philosophy Logic Arguments Critical thinking Cognitive science Argument Logical consequence Reasoning Reason
7	Scalable “Organization Level” Sustainability Indicators Gil Friend President & CEO - Natural Logic, Inc. International Sustainability Indicators Network Toronto - March 2003 Add to Reading List Source URL: www.sustainabilityindicators.org Language: English - Date: 2003-04-15 11:29:55 Natural environment Environmental statistics MIDI Gil Friend Sustainability Logic Pro Logic Software
8	Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Electronic engineering Digital electronics Electronic design automation Hardware description languages Electronics Logic synthesis Verilog High-level synthesis VHDL SystemC Adder Silicon compiler
9	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
10	CD54AC04, CD74AC04 HEX INVERTERS SCHS305C – JANUARY 2001 – REVISED JUNE 2002 AC Types Feature 1.5-V to 5.5-V Operation and Balanced Noise Immunity at 30% of the Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 Electronic engineering Digital electronics Electronics Integrated circuits Electromagnetism Logic families CMOS Electronic design Fan-out Logic level