Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Surajit Das
Observed name:
Surajit K. Das
Institution:
Indian Institute of Technology Guwahati
Observed institutions:
Indian Institute of Technology Guwahati,
University of Engineering & Management, Jaipur,
GITAM University,
Maulana Abul Kalam Azad University of Technology, West Bengal
ORCID:
0000-0003-3397-7777
Observed ORCID:
0000-0003-3397-7777
OpenAlex ID:
A5046443685
Formal Modeling of Network-on-Chip Using CFSM and its Application in Detecting Deadlock
2020
·
Surajit Das
, Chandan Karfa
, et al.
·
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
·
16
An application for end to end secure messaging service on Android supported device
2017
·
Somen Nayak
, Surajit Das
, et al.
·
IEEE Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON)
·
13
On the Vehicle Routing Problem
2005
·
Piotr Berman
, Surajit K. Das
·
Lecture notes in computer science
·
6
xMAS Based Accurate Modeling and Progress Verification of NoCs
2017
·
Surajit Das
, Chandan Karfa
, et al.
·
Communications in computer and information science
·
5
Arc Model and DDG: Deadlock Avoidance and Detection in Torus NoC
2021
·
Surajit Das
, Chandan Karfa
·
IEEE Embedded Systems Letters
·
3
Developing Deadlock-Free Routing Algorithms in Torus NoC: A Formal Approach
2025
·
Surajit Das
, Abhijit Das
, et al.
·
ACM Transactions on Embedded Computing Systems
·
2
PDF
Formal Modeling and Verification of Starvation Freedom in NoCs
2021
·
Surajit Das
, Chandan Karfa
·
Lecture notes in electrical engineering
·
2
Deadlock Avoidance in Torus NoC Applying Controlled Move via Wraparound Channels
2021
·
Surajit Das
, Chandan Karfa
·
Lecture notes in electrical engineering
·
2
Accelerating NoC Verification Using a Complete Model and Active Window
2022
·
Surajit Das
, Chandan Karfa
, et al.
·
IEEE Access
·
1
PDF
Bluetooth Controlled Farming Machine using Arduino
2019
·
Surajit Das
·
International Journal for Research in Applied Science and Engineering Technology
·
1
PDF
Tag only storage for capacity optimised last level cache in chip multiprocessors
2016
·
Surajit Das
, Shirshendu Das
, et al.
·
International Symposium on VLSI Design and Test (VDAT)
·
1
Developing State-dependent Routes for the Vehicle Routing Problem Under Uncertainty
2004
·
Surajit Das
Show more works
View as search
Works count:
12
Citation count:
52
H-index:
4
I10-index:
2
Year
Topic
Type
