Compiler - PDFSEARCH.IO - Document Search Engine

Compiler
Results: 4119

#	Item
261	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
262	DCU-ADAPT: Learning Edit Operations for Microblog Normalisation with the Generalised Perceptron Joachim Wagner and Jennifer Foster ADAPT Centre School of Computing Dublin City University Add to Reading List Source URL: noisy-text.github.io Language: English - Date: 2016-08-14 21:11:08 Artificial intelligence Computational linguistics Machine learning Learning Artificial neural networks Natural language processing Compiler construction Perceptron N-gram Deep learning Parsing Speech recognition
263	HSAIL: PORTABLE COMPILER IR FOR HSA HOT CHIPS TUTORIAL - AUGUST 2013 BEN SANDER AMD SENIOR FELLOW Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-08-25 13:01:58 Computing Software Parallel computing GPGPU OpenCL C++ AMP General-purpose computing on graphics processing units LLVM Linux kernel HSA Foundation Compute kernel Intermediate representation
264	Library Generators and Program Optimization María Garzarán and David Padua Department of Computer Science University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2005-10-11 16:37:23 Software Computing Compiler construction Programming language implementation Compiler Program optimization Numerical software Numerical linear algebra Parallel computing
265	McLAB: Compiler Tools for MATLAB Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2012-01-19 08:36:41 Software Computing Application software Array programming languages Numerical software Subroutines Linear algebra MATLAB Mathematical software Scope GNU Octave Array programming
266	The State of the OCaml Platform: September 2016 Louis Gesbert∗(speaker) on behalf of the OCaml Platform team The OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documentatio Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-04 08:31:13 Software Computer programming Functional languages OCaml Package manager Arch Linux Deb Go Caml R Coq
267	IEEE TRANSACTIONS ON COMPUTERS, VOL. 52, NO. 3, MARCH 2003 Add to Reading List Source URL: www.biblioteca.uma.es Language: English Cache Computing Computer memory Compiler optimizations Computer engineering Computer architecture CPU cache Central processing unit Optimizing compiler Loop interchange Cache-oblivious algorithm
268	Assignment 8 L445 / L545 / B659 Due Tuesday, Aprila) Draw a tree for the following sentence, using whatever features are necessary to make subcategorization and the long-distance dependency work out: (1) Kimi Dan Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-14 14:28:33 Linguistics Compiler construction Syntax Parsing Treebank Earley parser Earley Grammar Cognitive science
269	SACK: a Semantic Automated Compiler Kit Colby T. Skeggs Applications o Rapid architecture testing o Automatically-generated architectures: o For security Add to Reading List Source URL: www.celskeggs.com Language: English Software Computing Computer architecture Compilers Instruction set architectures Programming language implementation Machine code GNU Compiler Collection X86 Assembly language LLVM NOP
270	2016 JLAC TECHNICAL INFORMATION SEMINAR PROGRAM (as of) ■ Date and Time: Tuesday, 6 September:30 to 16:30 (doors open at 12:00) ■ Venue: CURIAN* (Shinagawa Community Center Hall) 8th Floor Main Hal Add to Reading List Source URL: www.accreditation.jp Language: English - Date: 2016-07-28 01:13:23 Software Standards organizations Programming language implementation Quality assurance Accreditation GNU Compiler Collection International Organization for Standardization ISO/IEC 17025

UPDATE