High-Logic

Results: 359



#Item
61Ethology / Logic / Knowledge representation / Grammar / Social philosophy / Conceptual system / Cognitive science / Conceptual model / Semantic network / Meaning / Semantics / Science

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
62Parallel computing / Stream processing / Programmer / Atom / Programmable logic device / Electronic engineering / Electronics / Computing

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
63Procedural programming languages / Source code / Functional programming / High-level programming languages / Assignment / Eval / Scheme / C / Subroutine / Software engineering / Computing / Computer programming

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
64Computer algebra systems / Graphing calculators / Software calculator / Mathematical proof / Algorithm / TI-Nspire series / Discrete mathematics / Combinatorics / Recurrence relation / Mathematics / Mathematical logic / Programmable calculators

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
65Electronic 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

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
66Technology / Electromagnetism / Physics / Theoretical computer science / Integrated circuit / Tunnel magnetoresistance / Computer data storage / Giant magnetoresistance / Spinmechatronics / Emerging technologies / Spintronics / Digital electronics

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
67Integrated 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

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
68Hillsboro /  Oregon / Synopsys / Digital electronics / Signoff / Logic synthesis / High-level synthesis / Xilinx / Magma Design Automation / EDA database / Electronic engineering / Electronic design automation / Electronic design

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
69Structured derivations / Software development / Logic in computer science / Software engineering / Invariant-based programming / Formal verification / Invariant / Formal methods / Mathematics education / Mathematics

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
70Electronic 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

PDF Document

Add to Reading List

Source URL: www.barnardmicrosystems.com

Language: English - Date: 2013-11-28 12:36:50
UPDATE