High-Logic - PDFSEARCH.IO - Document Search Engine

High-Logic
Results: 359

#	Item
61	Update TRENDS in Cognitive Sciences low-level perception and high-level phenomena of stereotyping and prejudice that affect society as a whole. References Add to Reading List Source URL: cognitrn.psych.indiana.edu Language: English - Date: 2013-11-19 12:03:42 Ethology Logic Knowledge representation Grammar Social philosophy Conceptual system Cognitive science Conceptual model Semantic network Meaning Semantics Science
62	Concurrency expression in high-level languages, Best practice and amenability to h/w compilation. (povocative statements for BoF Panel Discussion !) Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-09-06 16:26:31 Parallel computing Stream processing Programmer Atom Programmable logic device Electronic engineering Electronics Computing
63	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:39 Procedural programming languages Source code Functional programming High-level programming languages Assignment Eval Scheme C Subroutine Software engineering Computing Computer programming
64	A=B: The Case for CAS and Research in High School Mathematics by Justin Burner Having excelled in my high school mathematics classes, I was more than willing to declare myself a math major upon entering college. I soon d Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2013-12-30 15:02:19 Computer algebra systems Graphing calculators Software calculator Mathematical proof Algorithm TI-Nspire series Discrete mathematics Combinatorics Recurrence relation Mathematics Mathematical logic Programmable calculators
65	1 An XML Schema for Representing Reusable IP Cores for Reconfigurable Computing Nathaniel Rollins, Adam Arnesen, and Michael Wirthlin NSF Center for High-Performance Reconfigurable Computing (CHREC) Add to Reading List Source URL: www.chrec.org Language: English - Date: 2013-03-11 16:23:00 Electronic design Integrated circuits Logic design Semiconductor intellectual property core XML IP-XACT Multi-core processor Open Core Protocol Application-specific integrated circuit Electronic engineering Computing Electronics
66	July 12, 2010 Press Release Tohoku University Development of a High-Performance Perpendicular Magnetic TMR Device for Logic Integrated Circuits Add to Reading List Source URL: www.csis.tohoku.ac.jp Language: English - Date: 2010-07-29 23:03:03 Technology Electromagnetism Physics Theoretical computer science Integrated circuit Tunnel magnetoresistance Computer data storage Giant magnetoresistance Spinmechatronics Emerging technologies Spintronics Digital electronics
67	A MULTI-LAYERED XML SCHEMA AND DESIGN TOOL FOR REUSING AND INTEGRATING FPGA IP Adam Arnesen, Nathaniel Rollins, and Michael Wirthlin NSF Center for High-Performance Reconfigurable Computing (CHREC) Dept. of Electrical an Add to Reading List Source URL: www.chrec.org Language: English - Date: 2013-03-11 16:16:44 Integrated circuits Electronic design Logic design Semiconductor intellectual property core Application-specific integrated circuit XML IP-XACT Field-programmable gate array Multi-core processor Electronic engineering Electronics Computing
68	Corporate Backgrounder Spring 2015 Synopsys Overview and History Synopsys, Inc. (Nasdaq:SNPS) is the Silicon to Software™ partner for innovative companies developing the electronic products and software applications we Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-05-20 16:43:19 Hillsboro Oregon Synopsys Digital electronics Signoff Logic synthesis High-level synthesis Xilinx Magma Design Automation EDA database Electronic engineering Electronic design automation Electronic design
69	Proposal for a tutorial on “Teaching Formal Methods to Novices” Satellite event to FM’08 Topic Teaching formal methods to students in high school and introductory university courses Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-18 08:37:50 Structured derivations Software development Logic in computer science Software engineering Invariant-based programming Formal verification Invariant Formal methods Mathematics education Mathematics
70	PDF Document Add to Reading List Source URL: www.barnardmicrosystems.com Language: English - Date: 2013-11-28 12:36:50 Electronic design automation Electronic circuit simulation Monolithic microwave integrated circuit SPICE High electron mobility transistor Gallium arsenide Logic simulation Quite Universal Circuit Simulator Electronic engineering Electronics Digital electronics

UPDATE