57 Hits in 3.3 sec

Loop Optimization (Dagstuhl Seminar 18111)

Sebastian Hack, Paul H. J. Kelly, Christian Lengauer, Michael Wagner
2018 Dagstuhl Reports  
Its aim was to review the 20+ years of progress since the Dagstuhl Seminar 9616 "Loop Parallelization" in 1996 and identify the challenges that remain.  ...  This report documents the programme of Dagstuhl Seminar 18111 "Loop Optimization".  ...  EIN supports standard linear algebra operations on tensors, such as addition, subtraction, the dot product, as well as other tensor operations such as the double-dot (colon) product, the outer product,  ... 
doi:10.4230/dagrep.8.3.39 dblp:journals/dagstuhl-reports/HackKL18 fatcat:ms75ouezgreirnhsr7dk2i7bo4

Scaling through abstractions – high-performance vectorial wave simulations for seismic inversion with Devito [article]

Mathias Louboutin, Fabio Luporini, Philipp Witte, Rhodri Nelson, George Bisbas, Jan Thorbecke, Felix J. Herrmann, Gerard Gorman
2020 arXiv   pre-print
Sophisticated boundary conditions, tensor contractions, sparse operations and features such as staggered grids and sub-domains are all supported; operators of essentially arbitrary complexity can be generated  ...  Driven by the requirements of rapid HPC applications development in exploration seismology, the language and compiler have evolved significantly since inception.  ...  In this section, we exploit the tensor algebra language introduced in Devito v4.0 to express an elastic model with compact and elegant notation.  ... 
arXiv:2004.10519v1 fatcat:7wzpqpuh6jandmaiky26xvjfkq

A history of MATLAB

Cleve Moler, Jack Little
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
The Kronecker tensor product and division operators '.*.' and '.\.' and './.' were removed (but the Kronecker tensor product function kron was retained).  ...  Operations on sparse matrices produce sparse matrices. And an operation on a mixture of sparse and full matrices produces a sparse result unless the operator ordinarily destroys sparsity.  ...  The Kronecker tensor operator symbols were eventually removed from the MATLAB syntax, though the corresponding function kron remains for computing the Kronecker tensor product (and Kronecker division operations  ... 
doi:10.1145/3386331 fatcat:34wv6qafwfbobghxbwmkmgggea

SciPy 1.0: fundamental algorithms for scientific computing in Python

Pauli Virtanen, SciPy 1.0 Contributors, Ralf Gommers, Travis E. Oliphant, Matt Haberland, Tyler Reddy, David Cournapeau, Evgeni Burovski, Pearu Peterson, Warren Weckesser, Jonathan Bright, Stéfan J. van der Walt (+23 others)
2020 Nature Methods  
SciPy is an open-source scientific computing library for the Python programming language.  ...  In this work, we provide an overview of the capabilities and development practices of SciPy 1.0 and highlight some recent technical developments.  ...  All authors have contributed significant code, documentation and/or expertise to the SciPy project. All authors reviewed the manuscript.  ... 
doi:10.1038/s41592-019-0686-2 pmid:32015543 pmcid:PMC7056644 fatcat:f3btsgkmwfcybix7nyi66baqti

Formal Verification vs. Quantum Uncertainty

Robert Rand, Kesha Hietala, Michael Hicks, Michael Wagner
2019 Summit on Advances in Programming Languages  
In order to have verification that works, you need both an error semantics related to the hardware at hand (this is necessarily low level) and certified compilation to the that same hardware.  ...  Once we have these two things, we can talk about an approach to quantum programming where we start by writing and verifying programs at a high level, attempt to verify properties of the compiled code,  ...  We also thank the anonymous referees for their helpful feedback.  ... 
doi:10.4230/lipics.snapl.2019.12 dblp:conf/snapl/0001H019 fatcat:yswlstrf3nfxhcgcknank7t4qm

The Deep Learning Revolution and Its Implications for Computer Architecture and Chip Design [article]

Jeffrey Dean
2019 arXiv   pre-print
This paper is a companion paper to a keynote talk at the 2020 International Solid-State Circuits Conference (ISSCC) discussing some of the advances in machine learning, and their implications on the kinds  ...  Finally, it provides a sketch of at least one interesting direction towards much larger-scale multi-task models that are sparsely activated and employ much more dynamic, example- and task-based routing  ...  Jason Freidenfelds, Anna Goldie, Norm Jouppi, Azalia Mirhoseini, David Patterson, and Cliff Young, as well as this year's ISSCC chairs and anonymous ISSCC representatives all provided helpful feedback on the  ... 
arXiv:1911.05289v1 fatcat:obp23uohjza3vclxyvwmes2e7i

2020 Index IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Vol. 39

2020 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Wang, Z., +, TCAD March 2020 640-653 2020 2925-2937 Computer crime Keynote: A Disquisition on Logic Locking.  ...  Li, J., +, TCAD Nov. 2020 3956-3967 Polyhedral Compilation for Racetrack Memories.  ... 
doi:10.1109/tcad.2021.3054536 fatcat:wsw3olpxzbeclenhex3f73qlw4

Glyph-based Visualization: Foundations, Design Guidelines, Techniques and Applications [article]

Rita Borgo, Johannes Kehrer, David H. S. Chung, Eamonn Maguire, Robert S. Laramee, Helwig Hauser, Matthew Ward, Min Chen
2012 Eurographics State of the Art Reports  
This report fills several major gaps in the literature, drawing the link between the fundamental concepts in semiotics and the broad spectrum of glyph-based visualization, reviewing existing design guidelines  ...  and implementation techniques, and surveying the use of glyph-based visualization in many applications.  ...  Section 5 summarizes the findings that have emerged during the compilation of this survey and proposes new interesting research avenues.  ... 
doi:10.2312/conf/eg2013/stars/039-063 fatcat:72lte7n3crb5ncclsde3bb4jsq

Hardware and Software Optimizations for Accelerating Deep Neural Networks: Survey of Current Trends, Challenges, and the Road Ahead

Maurizio Capra, Beatrice Bussolino, Alberto Marchisio, Guido Masera, Maurizio Martina, Muhammad Shafique
2020 IEEE Access  
This work summarizes and compares the works for four leading platforms for the execution of algorithms such as CPU, GPU, FPGA and ASIC describing the main solutions of the state-of-the-art, giving much  ...  prominence to the last two solutions since they offer greater design flexibility and bear the potential of high energy-efficiency, especially for the inference process.  ...  So far there are the compiler toolchains for CPUs and GPUs, and there is the synthesis toolchain for the FPGAs.  ... 
doi:10.1109/access.2020.3039858 fatcat:nticzqgrznftrcji4krhyjxudu

A Modern Primer on Processing in Memory [article]

Onur Mutlu, Saugata Ghose, Juan Gómez-Luna, Rachata Ausavarungnirun
2020 arXiv   pre-print
PIM places computation mechanisms in or near where the data is stored (i.e., inside the memory chips, in the logic layer of 3D-stacked memory, or in the memory controllers), so that data movement between  ...  The emergence of 3D-stacked memory plus logic, the adoption of error correcting codes inside the latest DRAM chips, proliferation of different main memory standards and chips, specialized for different  ...  Fourth, many modern applications, such as graph processing [52, 53] and workloads that operate on sparse data structures, such as sparse linear algebra [15, 297] and sparse neural networks [298, 299  ... 
arXiv:2012.03112v1 fatcat:hq2i2xzq4nbszenq7rqmjzcjci

Maps for when the living gets tough: Maneuvering through a hostile energy landscape

Thierry D.G.A. Mondeel, Samrina Rehman, Yanfei Zhang, Malkhey Verma, Peter Dürre, Matteo Barberis, Hans V. Westerhoff
2016 IFAC-PapersOnLine  
Direct solution of the chemical master equation using quantized tensor trains.  ...  and four invited keynote presentations.  ... 
doi:10.1016/j.ifacol.2017.03.002 fatcat:tmddfevk7ngd3p4wdpbq7xisb4

Design of large polyphase filters in the Quadratic Residue Number System

Gian Carlo Cardarilli, Alberto Nannarelli, Yann Oster, Massimo Petricca, Marco Re
2010 2010 Conference Record of the Forty Fourth Asilomar Conference on Signals, Systems and Computers  
For the Sydney Parker Memorial Lecture, we are very fortunate to have a keynote address by Dr. Ronald W.  ...  The Riverside Optimizing Compiler for Configurable Circuits (ROCCC) is a C-to-VHDL compilation toolset designed to raise the abstraction of FPGA programming.  ... 
doi:10.1109/acssc.2010.5757589 fatcat:ccxnu5owr5fyrcjcqukumerueq

29th International Conference on Data Engineering [book of abstracts]

2013 2013 IEEE 29th International Conference on Data Engineering Workshops (ICDEW)  
However, once the strategy is fixed, its evaluation can be done efficiently, using standard linear algebraic methods.  ...  However, the user-campaign interaction is typically extremely sparse, hence the conventional matrix factorization does not perform well.  ...  These volunteers welcome participants, give directions, help in the sessions and on the registration desk, and generally make sure the conference is running smoothly.  ... 
doi:10.1109/icdew.2013.6547409 fatcat:wadzpuh3b5htli4mgb4jreoika

Machine Learning in Heterogeneous Porous Materials [article]

Marta D'Elia, Hang Deng, Cedric Fraces, Krishna Garikipati, Lori Graham-Brady, Amanda Howard, George Karniadakis, Vahid Keshavarzzadeh, Robert M. Kirby, Nathan Kutz, Chunhui Li, Xing Liu (+12 others)
2022 arXiv   pre-print
Within the scope of ML and materials research, the goal of the workshop was to discuss the state-of-the-art in each community, promote crosstalk and accelerate multi-disciplinary collaborative research  ...  This workshop was part of the AmeriMech Symposium series sponsored by the National Academies of Sciences, Engineering and Medicine and the U.S. National Committee on Theoretical and Applied Mechanics.  ...  We would also like to thank the Department of Mechanical Engineering at The University of Utah for assistance with the logistics and behind the scene preparations for the workshop.  ... 
arXiv:2202.04137v1 fatcat:tuhghvcifnebzo2pcwifeek4vu

Quantum Algorithms, Architecture, and Error Correction [article]

Ciarán Ryan-Anderson
2018 arXiv   pre-print
Quantum algorithms have the potential to provide exponential speedups over some of the best known classical algorithms.  ...  Thus, the realization of large-scale, reliable quantum-computers will likely have a significant impact on the world.  ...  † ) -the algebraic structure of the stabilizer group is preserved.  ... 
arXiv:1812.04735v1 fatcat:dstwr2tc65gr3gqxigh2emi3fq
« Previous Showing results 1 — 15 out of 57 results