Fixed-function - PDFSEARCH.IO - Document Search Engine

Fixed-function
Results: 167

#	Item
151	Measuring the Gap between Programmable and Fixed-Function Accelerators: A Case Study on Speech Recognition Yunsup Lee, David Sheffield, Andrew Waterman, Michael Anderson, Kurt Keutzer, Krste Asanovi´c Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-12-16 15:05:08 Parallel computing Computer architecture Digital signal processing GPGPU Multi-core processor CPU cache Accelerator Vector processor Graphics processing unit Computing Computer hardware Central processing unit
152	Inclusion Logic and Fixed Point Logic Pietro Galliani1 and Lauri Hella2 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-08-27 05:13:12 Model theory First-order logic FO Function Constructible universe Structure Symbol Dependence logic Linear temporal logic Mathematics Mathematical logic Logic
153	Vol. 70, No. 2/3, August/September[removed]Reprinted from INFORMATION ANU CONTROL Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-05-22 14:48:41 Theory of computation Functions and mappings Function Recursively enumerable set Recursion Primitive recursive function Fixed-point combinator Mathematics Theoretical computer science Computability theory
154	Fixed Point Theorems John Hillas University of Auckland Add to Reading List Source URL: homes.eco.auckland.ac.nz Language: English - Date: 1998-03-15 17:00:38 Metric geometry Mathematical structures Linear algebra Mathematical analysis Topological vector spaces Continuous function Locally convex topological vector space Vector space Net Mathematics Algebra Topology
155	Proc. Natl. Acad. Sci. USA Vol. 74, No. 11, pp[removed], November 1977 Mathematics Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 16:28:10 Functional analysis Topological vector spaces Convex analysis Locally convex topological vector space Convex function Weak topology Fixed-point property Schauder fixed point theorem Continuous function Mathematical analysis Mathematics Topology
156	Galois Connections and Fixed Point Calculus Roland Backhouse∗ October 15, 2001 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-10-17 06:08:50 Group theory Order theory Field theory Abstract interpretation Galois connection Galois theory Function Differential equation Évariste Galois Mathematics Abstract algebra Algebra
157	Introduction to the Direct3D 11 Graphics Pipeline Kevin Gee - XNA Developer Connection Add to Reading List Source URL: www.nvidia.com Language: English - Date: 2008-09-25 15:12:04 Microsoft Direct3D Shader Fixed-function Vertex Bézier surface Graphics pipeline Displacement mapping High Level Shader Language Computer graphics 3D computer graphics Shading
158	Productive Coprogramming with Guarded Recursion Robert Atkey Add to Reading List Source URL: bentnib.org Language: English - Date: 2013-07-17 15:22:25 Lambda calculus Predicate logic Symbol Fixed-point combinator Model theory Quantification Function Combinatory logic Type system Mathematical logic Mathematics Logic
159	A short introduction to the Lambda Calculus Achim Jung∗ March 18, 2004 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-05-11 14:13:42 Mathematical logic Combinatory logic Fixed-point combinator Simply typed lambda calculus Programming Computable Functions Free variables and bound variables Function Parameter Spectral theory of ordinary differential equations Mathematics Theoretical computer science Lambda calculus

UPDATE