High-Logic

Results: 359



#Item
11Software / SCADA / Business / Automation / Control engineering / Industrial automation / WinCC / Programmable logic controller / S7 / Catheter ablation / Siemens

New mechatronics column 19 | Sensors for high-speed apps 57 Vol. 57 No. 1 JANUARY 2010

Add to Reading List

Source URL: www.magnetecs.com

Language: English - Date: 2013-04-23 19:13:15
12Algorithm / Mathematical logic / Theoretical computer science / Time complexity / Mathematics / With high probability / Computer science / Applied mathematics / Balls into bins / EdmondsPruhs protocol

Brief Announcement: TheToolkit for Building Your Own Balls-into-Bins Algorithm Pierre Bertrand1 and Christoph Lenzen2 1 Ecole Normale Suprieure Cachan

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-05-29 10:12:02
13Telecommunications engineering / Wireless / Electronics / Satellite broadcasting / L band / Ultra high frequency / X band / Radio spectrum / Universal Software Radio Peripheral / Intermediate frequency

highresRT_Logic-Kratos_Logo

Add to Reading List

Source URL: www.rtlogic.com

Language: English - Date: 2016-08-09 00:44:37
14Theoretical computer science / Computational complexity theory / Algorithm / Mathematical logic / Analysis of algorithms / Computer science / Computing / XPL / Efficiency

Session T2C THE CONCEPT OF “ALGORITHM EFFICIENCY” IN THE HIGH SCHOOL CS CURRICULUM Judith Gal-Ezer 1 and Ela Zur2 Abstract  Algorithms and the efficiency of algorithms are basic concepts to every computer science

Add to Reading List

Source URL: www.openu.ac.il

Language: English - Date: 2009-03-16 13:52:35
15Healthcare quality / Logic model

Performance Measure Checklist This document is being provided as a resource only. Do not submit this document. The checklist below is intended to help you assess whether your performance measures are aligned and high qu

Add to Reading List

Source URL: kanserve.org

Language: English - Date: 2014-05-07 11:53:06
16Operations research / Classical mechanics / Constraint satisfaction / Energy minimization / Mathematical optimization / Derivative / Control theory / Constraint programming / Constraint / Generalizations of the derivative / Loop quantum gravity / Constraint logic programming

[To Appear in the SIGGRAPH 94 Conference Proceedings] TBAG: A High Level Framework for Interactive, Animated 3D Graphics Applications Conal Elliott, Greg Schechter, Ricky Yeung, and Salim Abi-Ezzi SunSoft, Inc. *

Add to Reading List

Source URL: conal.net

Language: English - Date: 2006-01-18 15:03:30
17Formal methods / Automated theorem proving / Theoretical computer science / Logic in computer science / SPARK / Loop invariant / Mathematical proof / Automated reasoning / Verification condition generator / Formal verification / Correctness / Conjecture

An Integrated Approach to High Integrity Software Verification Andrew Ireland1 , Bill J. Ellis1 , Andrew Cook1 , Roderick Chapman2 , Janet Barnes2 1

Add to Reading List

Source URL: www.macs.hw.ac.uk

Language: English - Date: 2006-05-16 11:38:59
18Electronic engineering / Bias / Critical thinking / High- dielectric / Logic families

A 50% Lower Power ARM Cortex CPU using DDC Technology with Body Bias David Kidd August 26,

Add to Reading List

Source URL: www.hotchips.org

Language: English - Date: 2013-08-19 17:44:52
19Electronic design automation / Electronic design / Integrated circuits / Electronic engineering / Logic design / High-level synthesis / Integrated circuit design / Logic simulation / Field-programmable gate array / System on a chip / Application-specific integrated circuit

Microsoft PowerPoint - HLSLessons2.ppt

Add to Reading List

Source URL: mesl.ucsd.edu

Language: English - Date: 2009-06-15 02:15:38
20Digital electronics / Logic families / Integrated circuits / Microtechnology / Silicon on insulator / CMOS / Gallium nitride / MOSFET / Soitec

F r a u n h o f e r I n s t i t u t e f o r Mic r o e l e c t r o n ic C i r c u i t s a n d S y s t e m s Programme Inter Carnot Fraunhofer HOTMOS High temperature SOI CMOS technology platform for applications up to 25

Add to Reading List

Source URL: www.ims.fraunhofer.de

Language: English - Date: 2016-08-18 14:30:09
UPDATE