High-Logic - PDFSEARCH.IO - Document Search Engine

High-Logic
Results: 359

#	Item
31	High Performance ECC over NIST Primes on Commercial FPGAs ECC 2008, Utrecht, September 22-24, 2008 Tim Güneysu Horst Görtz Institute for IT-Security Ruhr University of Bochum, Germany Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2008-10-27 20:01:32 Reconfigurable computing Electronic engineering Fabless semiconductor companies Electronics Computing Xilinx Field-programmable gate array Virtex Application-specific integrated circuit Logic block SciEngines GmbH
32	leanCoP 2.0 and ileanCoP 1.2 : High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) Jens Otten Institut f¨ Add to Reading List Source URL: www.jens-otten.de Language: English - Date: 2012-03-30 11:05:48
33	CodeHS & The Common Core Standards Learning to program on CodeHS satisfies important Common Core Standards at the High School level. The CodeHS curriculum equips students with logic Add to Reading List Source URL: d14to6y4nub5k1.cloudfront.net Language: English - Date: 2014-04-17 18:04:59
34	leanCoP 2.0 and ileanCoP 1.2 : High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) Jens Otten Institut f¨ Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2009-07-21 13:21:10
35	3rd Workshop on the Intersections of Computer Architecture and Reconfigurable Logic (CARL 2013): Category 2 A High-Performance Oblivious RAM Controller on the Convey HC-2ex Heterogeneous Computing Platform Martin Maas, Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-05-09 20:34:14
36	OUR RESPONSE TO THE MARKET DEMAND FOR A LOW OPERATING VOLTAGE AND HIGH CURRENT POWER SOURCE - Powerful CMOS LDO - Maximum 2A Output Current - Ultra Low Power Consumption - Ultra Low Dropout Voltage High Current LDO R1171 Add to Reading List Source URL: www.e-devices.ricoh.co.jp Language: English - Date: 2014-09-01 00:34:09 Logic families Integrated circuits Digital electronics Dropout voltage Analog circuits Voltage regulation CMOS Low-dropout regulator Linear regulator
37	Algo-Logic Systems Launches Industry-First 40Gbps TCP Endpoint on Altera Stratix V for Datacenter Acceleration The high throughput 40G TCP Endpoint delivers an ultra-low-latency of 96.0 nanoseconds Santa Clara, Californi Add to Reading List Source URL: www.ethernetsummit.com Language: English - Date: 2015-06-11 09:15:55
38	BHS Programable Logic Controllers PLC Technical Support Today’s high-technology baggage handling systems incorporate extensive use of Programmable Logic Controllers (PLC) to handle the complex integration of the Explos Add to Reading List Source URL: www.elitelineservices.com Language: English - Date: 2014-03-06 11:55:25
39	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
40	High-dimensional data, random questions and random answers Sara van de Geer Statistics is crucial for dealing with the large amount of data available today. There are many machine learning algorithms around that help us Add to Reading List Source URL: www.math.leidenuniv.nl Language: English - Date: 2015-03-24 04:59:21 Randomness Mathematics Theoretical computer science Algorithm Mathematical logic

UPDATE