A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Loop Optimization (Dagstuhl Seminar 18111)
2018
Dagstuhl Reports
Preserved Fulltext
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Proceedings of the ACM on Programming Languages (PACMPL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Nature Methods
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2019
Summit on Advances in Programming Languages
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Eurographics State of the Art Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
IFAC-PapersOnLine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 Conference Record of the Forty Fourth Asilomar Conference on Signals, Systems and Computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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