Compilers - PDFSEARCH.IO - Document Search Engine

Compilers
Results: 1282

#	Item
541	Environnements et Outils de Développement Cours 3 — The C build process Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:25:20 Cross-platform software Computer programming Compilers Compiler construction Compiler Preprocessor C preprocessor OCaml GNU Compiler Collection Computing Software Programming language implementation
542	Ubuntu Tutorial: MSPGCC and Eclipse Alvaro Aguilar August 17, 2010 Add to Reading List Source URL: www.43oh.com Language: English - Date: 2014-12-27 03:44:49 TI MSP430 Compilers GNU Compiler Collection Wget Library Filesystem Hierarchy Standard Software Computing Microcontrollers
543	R Installation and Administration VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: ftp.yz.yamagata-u.ac.jp Language: English - Date: 2015-05-04 13:07:59 Cross-platform software Compiling tools Portable software Compilers Cygwin Red Hat Debian Rsync NetBSD Software System software Computing
544	aiT for MPC7448 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipelin Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Programming language implementation Real-time computing Worst-case execution time GNU Compiler Collection Programming tool Toolchain C Software Computing Compilers
545	Programming Techniques R. Morris Editor Add to Reading List Source URL: home.claranet.nl Language: English - Date: 2008-07-19 07:42:46 Procedural programming languages Programming language implementation Compilers Threaded code Algorithm Subroutine ALGOL 68 Fortran B Computing Software engineering Computer programming
546	Environnements et Outils de Développement Cours 3 — The C build process Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:25:18 Cross-platform software Computer programming Compilers Compiler construction Compiler Preprocessor C preprocessor OCaml GNU Compiler Collection Computing Software Programming language implementation
547	Post Link-Time Optimization on the Intel IA-32 Architecture Benjamin William Schwarz Abstract Post link-time optimization of executables has been investigated by several projects in recent years. These optimization syst Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2010-09-27 23:21:26 Programming language implementation Compiler optimizations Compilers Assembly language Portable Executable Compiler Inline expansion Disassembler Position-independent code Computing Software Computer programming
548	Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-08-06 12:15:35 Formal sciences International Conference on Logic Programming Logic programming Association for Computing Machinery CiteSeer Federated Logic Conference International Symposium on Logic-based Program Synthesis and Transformation Logic Lecture Notes in Computer Science Computer science Science Computing
549	Mechanized Verification of Computing Dominators for Formalizing Compilers Jianzhou Zhao and Steve Zdancewic University of Pennsylvania {jianzhou,stevez}@cis.upenn.edu Abstract. One prerequisite to the formal verification Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-10-15 15:20:25 Dominator Graph theory Depth-first search Tree traversal Computing Search algorithms Mathematics Compiler construction
550	GNU Coding Standards Richard Stallman, et al. last updated April 23, 2015 The GNU coding standards, last updated April 23, 2015. Add to Reading List Source URL: gnu.org Language: English - Date: 2015-04-23 11:50:12 Compilers Unix GNU coding standards Source code GNU Richard Stallman Texinfo POSIX Tar Software Computing Emacs

UPDATE