Bhaskar Bose

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 1

Top Topics

Probabilistic Model

Image Denoising

Total Variation

Image Enhancement

Top Venues

Publications

Sarvesh Gharat, Bhaskar Bose, Abhimanyu Borthakur
An Image Processing approach to identify solar plages observed at 393.37 nm by Kodaikanal Solar Observatory. CoRR (2022)
Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella
A Tutorial on Digital Design Derivation Using DRS. FMCAD (1996)
Bhaskar Bose, Steven D. Johnson
DDD-FM9001: Derivation of a Verified Microprocessor. CHARME (1993)
Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela
Integrating Boolean Verification with Formal Derivation. CHDL (1993)
Kamlesh Rath, Bhaskar Bose, Steven D. Johnson
Derivation of a DRAM Memory Interface by Sequential Decomposition. ICCD (1993)
Bhaskar Bose, M. Esen Tuna, Steven D. Johnson
System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition. ICCD (1993)