Qibo: a framework for quantum simulation with hardware acceleration

S Efthymiou, S Ramos-Calderer… - Quantum Science …, 2021 - iopscience.iop.org
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 …

High performance RDMA-based design of HDFS over InfiniBand

NS Islam, MW Rahman, J Jose… - SC'12: Proceedings …, 2012 - ieeexplore.ieee.org
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 …

Entering the petaflop era: the architecture and performance of Roadrunner

KJ Barker, K Davis, A Hoisie… - SC'08: Proceedings …, 2008 - ieeexplore.ieee.org
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 …

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 …

[PDF][PDF] MallobSat:: Scalable SAT Solving by Clause Sharing

D Schreiber, P Sanders - Journal of Artificial Intelligence Research, 2024 - jair.org
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 …

Xdl: an industrial deep learning framework for high-dimensional sparse data

B Jiang, C Deng, H Yi, Z Hu, G Zhou, Y Zheng… - Proceedings of the 1st …, 2019 - dl.acm.org
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 …

Scalable SAT solving in the cloud

D Schreiber, P Sanders - Theory and Applications of Satisfiability Testing …, 2021 - Springer
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 …

Molecular architect: A user-friendly workflow for virtual screening

EHB Maia, LR Medaglia, AM da Silva, AG Taranto - ACS omega, 2020 - ACS Publications
Computer-assisted drug design (CADD) methods have greatly contributed to the
development of new drugs. Among CADD methodologies, virtual screening (VS) can enrich …

DiP-SVM: distribution preserving kernel support vector machine for big data

D Singh, D Roy, CK Mohan - IEEE Transactions on Big Data, 2016 - ieeexplore.ieee.org
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 …

A case for portability and reproducibility of HPC containers

RS Canon, A Younge - 2019 IEEE/ACM International …, 2019 - ieeexplore.ieee.org
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 …