Debashis Sahoo

Orcid: 0000-0002-6847-2552

According to our database1, Debashis Sahoo authored at least 24 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Building Communication Efficient Asynchronous Peer-to-Peer Federated LLMs with Blockchain.
Proceedings of the AAAI 2024 Spring Symposium Series, 2024

2023
Designed Framework for Advanced Intelligent Job Recommendation System.
Proceedings of the OITS International Conference on Information Technology, 2023

2022
<i>LiteCON</i>: An All-photonic Neuromorphic Accelerator for Energy-efficient Deep Learning.
ACM Trans. Archit. Code Optim., 2022

NeuCASL: From Logic Design to System Simulation of Neuromorphic Engines.
CoRR, 2022

LiteCON: An All-Photonic Neuromorphic Accelerator for Energy-efficient Deep Learning (Preprint).
CoRR, 2022

Boolean implication analysis of single-cell data predicts retinal cell type markers.
BMC Bioinform., 2022

2021
BPLight-CNN: A Photonics-Based Backpropagation Accelerator for Deep Learning.
ACM J. Emerg. Technol. Comput. Syst., 2021

Boolean implication analysis unveils candidate universal relationships in microbiome data.
BMC Bioinform., 2021

2020
Comparative Analysis of Multi-Step Time-Series Forecasting for Network Load Dataset.
Proceedings of the 11th International Conference on Computing, 2020

BPhoton-CNN: An Ultrafast Photonic Backpropagation Accelerator for Deep Learning.
Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020

MEMTONIC: A Neuromorphic Accelerator for Energy Efficient Deep Learning.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2012
Three differentiation states risk-stratify bladder cancer into distinct subtypes.
Proc. Natl. Acad. Sci. USA, 2012

Systems biology approach to identify markers of differentiation in bladder cancer.
Proceedings of the ACM International Conference on Bioinformatics, 2012

2010
MiDReG: A method of mining developmentally regulated genes using Boolean implications.
Proc. Natl. Acad. Sci. USA, 2010

2006
On partitioning and symbolic model checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

2005
Under-approximation Heuristics for Grid-based Bounded Model Checking.
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Multi-threaded reachability.
Proceedings of the 42nd Design Automation Conference, 2005

Predictive Reachability Using a Sample-Based Approach.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

Error Detection Using BMC in a Parallel Environment.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

A New Reachability Algorithm for Symmetric Multi-processor Architecture.
Proceedings of the Automated Technology for Verification and Analysis, 2005

Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes.
Proceedings of the 14th Asian Test Symposium (ATS 2005), 2005

2004
A Partitioning Methodology for BDD-Based Verification.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003
Improved Symbolic Verification Using Partitioning Techniques.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002
Active closed-loop control of supersonic impinging jet flows using POD models.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002


  Loading...