Qibo: a framework for quantum simulation with hardware acceleration
We present Qibo, a new open-source software for fast evaluation of quantum circuits and
adiabatic evolution which takes full advantage of hardware accelerators. The growing …
adiabatic evolution which takes full advantage of hardware accelerators. The growing …
High performance RDMA-based design of HDFS over InfiniBand
Hadoop Distributed File System (HDFS) acts as the primary storage of Hadoop and has
been adopted by reputed organizations (Facebook, Yahoo! etc.) due to its portability and …
been adopted by reputed organizations (Facebook, Yahoo! etc.) due to its portability and …
Entering the petaflop era: the architecture and performance of Roadrunner
Roadrunner is a 1.38 Pflop/s-peak (double precision) hybrid-architecture supercomputer
developed by LANL and IBM. It contains 12,240 IBM PowerXCell 8i processors and 12,240 …
developed by LANL and IBM. It contains 12,240 IBM PowerXCell 8i processors and 12,240 …
An integrated tutorial on InfiniBand, verbs, and MPI
P MacArthur, Q Liu, RD Russell… - … Surveys & Tutorials, 2017 - ieeexplore.ieee.org
This tutorial presents the details of the interconnection network utilized in many high
performance computing (HPC) systems today.“InfiniBand” is the hardware interconnect …
performance computing (HPC) systems today.“InfiniBand” is the hardware interconnect …
[PDF][PDF] MallobSat:: Scalable SAT Solving by Clause Sharing
SAT solving in large distributed environments has previously led to some famous results and
to impressive speedups for selected inputs. However, in terms of general-purpose SAT …
to impressive speedups for selected inputs. However, in terms of general-purpose SAT …
Xdl: an industrial deep learning framework for high-dimensional sparse data
With the rapid growth of data and computing power, deep learning based approaches have
become the main solution for many artificial intelligence problems such as image …
become the main solution for many artificial intelligence problems such as image …
Scalable SAT solving in the cloud
Previous efforts on making Satisfiability (SAT) solving fit for high performance computing
(HPC) have led to super-linear speedups on particular formulae, but for most inputs cannot …
(HPC) have led to super-linear speedups on particular formulae, but for most inputs cannot …
Molecular architect: A user-friendly workflow for virtual screening
Computer-assisted drug design (CADD) methods have greatly contributed to the
development of new drugs. Among CADD methodologies, virtual screening (VS) can enrich …
development of new drugs. Among CADD methodologies, virtual screening (VS) can enrich …
DiP-SVM: distribution preserving kernel support vector machine for big data
In literature, the task of learning a support vector machine for large datasets has been
performed by splitting the dataset into manageable sized “partitions” and training a …
performed by splitting the dataset into manageable sized “partitions” and training a …
A case for portability and reproducibility of HPC containers
Containerized computing is quickly changing the landscape for the development and
deployment of many HPC applications. Containers are able to lower the barrier of entry for …
deployment of many HPC applications. Containers are able to lower the barrier of entry for …