Alvaro Velasquez
Cited by
Cited by
Flow-based computing on nanoscale crossbars: Design and implementation of full adders
Z Alamgir, K Beckmann, N Cady, A Velasquez, SK Jha
2016 IEEE International Symposium on Circuits and Systems (ISCAS), 1870-1873, 2016
Computation of boolean formulas using sneak paths in crossbar computing
SK Jha, DE Rodriguez, JE Van Nostrand, A Velasquez
US Patent 9,319,047, 2016
Automated synthesis of crossbars for nanoscale computing using formal methods
A Velasquez, SK Jha
Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale …, 2015
Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck
A Velasquez, SK Jha
2014 9th International Design and Test Symposium (IDT), 147-152, 2014
Fault-tolerant in-memory crossbar computing using quantified constraint solving
A Velasquez, SK Jha
2015 33rd IEEE International Conference on Computer Design (ICCD), 101-108, 2015
Parallel boolean matrix multiplication in linear time using rectifying memristors
A Velasquez, SK Jha
2016 IEEE International Symposium on Circuits and Systems (ISCAS), 1874-1877, 2016
Computation of boolean matrix chain products in 3d reram
A Velasquez, SK Jha
2017 IEEE International Symposium on Circuits and Systems (ISCAS), 1-4, 2017
Steady-State Policy Synthesis for Verifiable Control.
A Velasquez
IJCAI, 5653-5661, 2019
Brief announcement: Parallel transitive closure within 3d crosspoint memory
A Velasquez, SK Jha
Proceedings of the 30th on Symposium on Parallelism in Algorithms and …, 2018
Computation of Boolean Formulas Using Sneak Paths in Crossbar Computing
A Velasquez
Unsupervised competitive hardware learning rule for spintronic clustering architecture
A Velasquez, CH Bennett, N Hassan, WH Brigner, OG Akinola, ...
arXiv preprint arXiv:2003.11120, 2020
The Utility of Feature Reuse: Transfer Learning in Data-Starved Regimes
E Verenich, A Velasquez, MG Murshed, F Hussain
arXiv preprint arXiv:2003.04117, 2020
Minimization of Testing Costs in Capacity-Constrained Database Migration
K Subramani, B Caskurlu, A Velasquez
International Symposium on Algorithmic Aspects of Cloud Computing, 1-12, 2018
In-memory computing using paths-based logic and heterogeneous components
A Velasquez, SK Jha
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks
A Velasquez, P Wojciechowski, K Subramani, SL Drager, SK Jha
2016 IEEE 15th International Symposium on Network Computing and Applications …, 2016
Domain Wall Leaky Integrate-and-Fire Neurons with Shape-Based Configurable Activation Functions
WH Brigner, N Hassan, X Hu, CH Bennett, F Garcia-Sanchez, C Cui, ...
arXiv preprint arXiv:2011.06075, 2020
An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks
SK Jha, S Jha, R Ewetz, S Raj, A Velasquez, LL Pullum, A Swami
arXiv preprint arXiv:2009.08097, 2020
Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia
E Verenich, A Velasquez, N Khan, F Hussain
arXiv preprint arXiv:2008.02866, 2020
Verification-Guided Tree Search
A Velasquez, D Melcer
Proceedings of the 19th International Conference on Autonomous Agents and …, 2020
Plasticity-Enhanced Domain-Wall MTJ Neural Networks for Energy-Efficient Online Learning
CH Bennett, TP Xiao, C Cui, N Hassan, OG Akinola, JAC Incorvia, ...
arXiv preprint arXiv:2003.02357, 2020
The system can't perform the operation now. Try again later.
Articles 1–20