Bhaskar Bose

According to our database, Bhaskar Bose authored at least 6 papers between 1993 and 2022.

Collaborative distances:

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

2022

An Image Processing approach to identify solar plages observed at 393.37 nm by Kodaikanal Solar Observatory.

Sarvesh Gharat, Bhaskar Bose, Abhimanyu Borthakur

CoRR, 2022

1996

A Tutorial on Digital Design Derivation Using DRS.

Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1993

Derivation of a DRAM Memory Interface by Sequential Decomposition.

Kamlesh Rath, Bhaskar Bose, Steven D. Johnson

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition.

Bhaskar Bose, M. Esen Tuna, Steven D. Johnson

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

Integrating Boolean Verification with Formal Derivation.

Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

DDD-FM9001: Derivation of a Verified Microprocessor.

Bhaskar Bose, Steven D. Johnson

Proceedings of the Correct Hardware Design and Verification Methods, 1993