Explore
Featured
Recent
Articles
Topics
Login
Upload
Featured
Recent
Articles
Topics
Login
Upload
Search Results for 'Optimizations'
Optimizations published presentations and documents on DocSlides.
Weakest Precondition Synthesis for Compiler Optimizations
by cheryl-pisano
Nuno Lopes . and. José Monteiro. Deriving preco...
Performance Optimizations
by luanne-stotts
in . Dyninst. Andrew . Bernat. , Matthew Legendre...
Weakest Precondition Synthesis for Compiler Optimizations
by jewelupper
Nuno Lopes . and. José Monteiro. Deriving precon...
NUMA I/O Optimizations
by conchita-marotz
Bruce Worthington. Software Development Manager. ...
Automatic Generation of Inputs of Death
by karlyn-bohler
and High-Coverage Tests. Presented by Yoni Leibow...
Memory Optimizations
by celsa-spraggs
Research at UNT. . . Krishna . Kavi. Professor....
Machine Learning in Compiler Optimization
by myesha-ticknor
By Namita Dave. Overview. What are compiler optim...
Parallel Programming in Chess Simulations
by pasty-toler
Tyler Patton. Discussion:. Background. Sequential...
7. Optimization
by karlyn-bohler
Prof. O. . Nierstrasz. Lecture notes by Marcus . ...
RDMA optimizations on top of 100 Gbps Ethernet for the upgraded data acquisition system of LHCb
by myesha-ticknor
Balazs Voneki. CERN/EP/LHCb Online group. TIPP201...
Generating Compiler Optimizations from Proofs
by lois-ondreau
Ross Tate. Michael Stepp. Sorin Lerner. Universit...
Zhelong Pan [1] This presentation as
by stefany-barnette
.pptx: http://. tinyurl.com/6y7gy8x (or scan QR c...
Yogi – Part 3 Engineering the
by aaron
tool . and parallelization. do {. //get the ...
Generating Compiler Optimizations from Proofs
by lindy-dunigan
Ross Tate. Michael Stepp. Sorin Lerner. Universit...
Generating Compiler Optimizations from Proofs
by tatyana-admore
Ross Tate. Michael Stepp. Sorin Lerner. Universit...
TVM: An Automated End-to-End Optimizing Compiler for Deep Learning
by leusemij
T. Chen, T. Moreau, Z. Jiang, L. Zheng, S. Jiao, E...
Automatic Generation of Inputs of Death and High-Coverage Tests
by interviewpsych
and High-Coverage Tests. Presented by Yoni Leibowi...
ourse Sponsor Cascade Dafo IncAddress 1360 Sunset Avenue
by daisy
Overview of resources for selecting optimizationsH...
Generating Compiler Optimizations from Proofs Ross Tate Michael Stepp Sorin Lerner University of California San Diego rtatemstepplerner cs
by lois-ondreau
ucsdedu Abstract We present an automated technique...
Tuning Compiler Optimizations for Simultaneous Multithreading Jack L
by conchita-marotz
Lo Susan J Eggers Henry M Levy Sujay S Parekh and...
WP370 (v1.4) August 29, 2013www.xilinx.com
by trish-goza
A Framework for Coarse-Grain Optimizations in the On-Chip M
by stefany-barnette
J. . Zebchuk. , E. Safi, and A. . Moshovos. Intro...
A Case Study of Communication Optimizations on 3D Mesh Inte
by min-jolicoeur
University of Illinois at Urbana-Champaign. Abhin...
Extensions to Structure Layout Optimizations in the Open64
by karlyn-bohler
Michael Lai. AMD. Related Work. Structure splitti...
Proving Optimizations Correct
by alexa-scheidler
using Parameterized Program Equivalence. Universi...
Memory Optimizations for Graphics Processing Units
by tatyana-admore
The material in these slides has been taken from ...
Code Tuning and Optimizations
by celsa-spraggs
When and How to Improve Code Performance?. Ivaylo...
1 CS 260 Winter 2014
by conchita-marotz
Eamonn Keogh’s Presentation of. Thanawin. . Ra...
ECE 454
by test
Computer Systems Programming. Compiler and Optimi...
TReasoner
by tawny-fly
: System Description. Andrei . Grigorev. Postgrad...
Copyright © 2012, Elsevier Inc. All rights reserved.
by stefany-barnette
Chapter . 2. Memory Hierarchy Design. Computer Ar...
HW5: Parallelization
by calandra-battersby
Conway’s Game of Life. Simple 2D universe with ...
Copyright © 2012, Elsevier Inc. All rights reserved.
by sherrill-nordquist
Chapter . 2. Memory Hierarchy Design. Computer Ar...
1 Introduction to application optimizations with usage of
by natalia-silvester
Intel. ® . performance tools.. Andrei Anufrienko...
Coarse-grained Structural Placement for
by natalia-silvester
a Synthesized Parallel Multiplier. Sungmin Bae. ,...
DeNovo
by lindy-dunigan
: Rethinking the Multicore Memory Hierarchy. for ...
Runtime organizationImprovements to stack machine code generationOur c
by celsa-spraggs
1 When to perform optimizations: Machine independe...
Data Locality Optimizations
by tatyana-admore
for NUMA Systems. Zoltán Majó. Thomas R. Gross....
Mesa: Automatic Generation of Lookup Table Optimizations
by danika-pritchard
Chris Wilcox. Michelle . Strout. James . Bieman. ...
Algorithmic Improvements for Fast Concurrent Cuckoo Hashing
by lois-ondreau
Xiaozhou Li . (. Princeton. ). David G. Andersen ...
Load More...