High-Logic - PDFSEARCH.IO - Document Search Engine

High-Logic
Results: 359

#	Item
21	Hardware Synthesis using SAFL and Application to Processor Design (Invited Talk) Alan Mycroft1,2 and Richard Sharp1 1 Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Subroutines Hardware description languages Electronic design automation Electronic engineering High-level synthesis Hardware verification languages Verilog VHDL Logic synthesis Inline expansion Parameter Recursion
22	Datasheet Synplify Pro and Premier Fast, Reliable FPGA Implementation and Debug Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2016-02-10 05:16:04 Electronic engineering Electronics Electronic design automation Electronic design System on a chip Fabless semiconductor companies Hardware description languages Logic synthesis Synopsys FPGA prototyping Field-programmable gate array High-level synthesis
23	ExCAPE Annual Report of Activities April 2014 to MarchOverview Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2016-01-31 09:37:33 Theoretical computer science Electronic engineering Digital electronics Music Electronic design automation Formal verification Logic in computer science High-level synthesis Robotics Domain-specific language Finite-state machine Model checking
24	Fifth Internation Conference on Computability and Complexity in Analysis August 21-24, 2008, Hagen, Germany provisional programme Add to Reading List Source URL: cca-net.de Language: English - Date: 2008-08-19 05:08:00 Computability theory Computable function Computable analysis Recursively enumerable set Oracle machine Computability High Reduction Mathematical logic
25	ARTICLES Inferring gene regulatory logic from high-throughput measurements of thousands of systematically designed promoters © 2012 Nature America, Inc. All rights reserved. Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2012-08-16 04:54:19
26	CURRICULUM VITAE DAMIR D. DZHAFAROV Contact Department of Mathematics University of Connecticut Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2016-05-15 18:54:00 Computability theory Mathematical logic High Computability
27	FontCreator 5.6 • High-Logic » Download Page « The latest release adds several substantial enhancements to a program that was already very powerful and easy to use, at no extra cost to registered users. If you need a Add to Reading List Source URL: www.softerviews.org Language: English - Date: 2016-01-29 14:06:03
28	FontCreator 5.5 • High-Logic Download Page Though this version was only a minor version number upgrade, it added several substantive enhancements to a program that was already very powerful and easy to use. If you need Add to Reading List Source URL: www.softerviews.org Language: English - Date: 2016-01-29 14:06:00
29	Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-12-11 07:16:08 Software engineering Computing Software Compiler construction Formal methods Logic in computer science Programming language implementation Functional languages Programming language Semantics Compiler Low-level programming language
30	SN754410 QUADRUPLE HALF-H DRIVER SLRS007B – NOVEMBER 1986 – REVISED NOVEMBER 1995 • • Add to Reading List Source URL: www.junun.org Language: English - Date: 2002-01-15 16:07:09 Electronic engineering Electronics Electromagnetism Electronic circuits Digital circuits Logic families High impedance Digital electronics Integrated circuits Transistortransistor logic Fully differential amplifier

UPDATE