Debashis Sahoo

According to our database, Debashis Sahoo authored at least 23 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Designed Framework for Advanced Intelligent Job Recommendation System.

Debashis Sahoo, Suvendu Chandan Nayak, Nayan Ranjan Paul, Sadanand Saha, Prangyan Ranjan Patra, Pritam Kumar Kuanr

Proceedings of the OITS International Conference on Information Technology, 2023

2022

<i>LiteCON</i>: An All-photonic Neuromorphic Accelerator for Energy-efficient Deep Learning.

Dharanidhar Dang, Bill Lin, Debashis Sahoo

ACM Trans. Archit. Code Optim., 2022

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

Dharanidhar Dang, Amitash Nanda, Bill Lin, Debashis Sahoo

CoRR, 2022

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

Dharanidhar Dang, Bill Lin, Debashis Sahoo

CoRR, 2022

Boolean implication analysis of single-cell data predicts retinal cell type markers.

Rohan Subramanian, Debashis Sahoo

BMC Bioinform., 2022

2021

BPLight-CNN: A Photonics-Based Backpropagation Accelerator for Deep Learning.

Dharanidhar Dang, Sai Vineel Reddy Chittamuru, Sudeep Pasricha, Rabi N. Mahapatra, Debashis Sahoo

ACM J. Emerg. Technol. Comput. Syst., 2021

Boolean implication analysis unveils candidate universal relationships in microbiome data.

Daniella Vo, Shayal Charisma Singh, Sara Safa, Debashis Sahoo

BMC Bioinform., 2021

2020

Comparative Analysis of Multi-Step Time-Series Forecasting for Network Load Dataset.

Debashis Sahoo, Naveksha Sood, Usha Rani, George Abraham, Varun Dutt, Dileep D.

Proceedings of the 11th International Conference on Computing, 2020

BPhoton-CNN: An Ultrafast Photonic Backpropagation Accelerator for Deep Learning.

Dharanidhar Dang, Aurosmita Khansama, Rabi N. Mahapatra, Debashis Sahoo

Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020

MEMTONIC: A Neuromorphic Accelerator for Energy Efficient Deep Learning.

Dharanidhar Dang, Sahar Taheri, Bill Lin, Debashis Sahoo

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2012

Three differentiation states risk-stratify bladder cancer into distinct subtypes.

Jens-Peter Volkmer, Debashis Sahoo, Robert K. Chin, Philip Levy Ho, Chad Tang, Antonina V. Kurtova, Stephen B. Willingham, Senthil K. Pazhanisamy, Humberto Contreras-Trujillo, Theresa A. Storm, Yair Lotan, Andrew H. Beck, Benjamin I. Chung, Ash A. Alizadeh, Guilherme Godoy, Seth P. Lerner, Matt van de Rijn, Linda D. Shortliffe, Irving L. Weissman, Keith S. Chan

Proc. Natl. Acad. Sci. USA, 2012

Systems biology approach to identify markers of differentiation in bladder cancer.

Jens-Peter Volkmer, Debashis Sahoo, Robert K. Chin

Proceedings of the ACM International Conference on Bioinformatics, 2012

2010

MiDReG: A method of mining developmentally regulated genes using Boolean implications.

Debashis Sahoo, Jun Seita, Deepta Bhattacharya, Matthew A. Inlay, Irving L. Weissman, Sylvia K. Plevritis, David L. Dill

Proc. Natl. Acad. Sci. USA, 2010

2006

On partitioning and symbolic model checking.

Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

2005

Under-approximation Heuristics for Grid-based Bounded Model Checking.

Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Multi-threaded reachability.

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson

Proceedings of the 42nd Design Automation Conference, 2005

Predictive Reachability Using a Sample-Based Approach.

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson

Proceedings of the Correct Hardware Design and Verification Methods, 2005

Error Detection Using BMC in a Parallel Environment.

Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle

Proceedings of the Correct Hardware Design and Verification Methods, 2005

A New Reachability Algorithm for Symmetric Multi-processor Architecture.

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill

Proceedings of the Automated Technology for Verification and Analysis, 2005

Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes.

Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, Takeshi Shimizu

Proceedings of the 14th Asian Test Symposium (ATS 2005), 2005

2004

A Partitioning Methodology for BDD-Based Verification.

Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Improved Symbolic Verification Using Partitioning Techniques.

Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Active closed-loop control of supersonic impinging jet flows using POD models.

Anuradha Annaswamy, Jae Jeen Choi, Debashis Sahoo, Farrukh S. Alvi, Huadong Lou

Proceedings of the 41st IEEE Conference on Decision and Control, 2002