Profiles
Research Units
Publications
Sign Up
Faculty Login
X
44 Publications
1 Journal
Shirshendu Das
Assistant Professor
Department of Computer Science and Engineering
shirshendu@cse.iith.ac.in (Work)
Follow
Publications - 44
Overview
Publications (44)
Publications (44)
Sort by Year (most recent)
Sort by Year (most recent)
Sort by Year (oldest first)
Sort by Most Cited
Sort by Recently Added
Sort (A-Z)
Sort (Z-A)
Conferences
Towards a better cache utilization using controlled cache partitioning
P.D. Halwe
,
Shirshendu Das
and
H.K. Kapoor
2013 | IEEE Computer Society
Articles
Design and formal verification of a hierarchical cache coherence protocol for NoC based multiprocessors
H.K. Kapoor
,
P. Kanakala
,
...
,
Shirshendu Das
(4 authors)
2013
Book Chapter
Formal modelling and verification of compensating web transactions
Shirshendu Das
,
S. Chakraborty
,
...
,
K.L. Man
(4 authors)
2012 | World Scientific Publishing Co.
Conferences
Modelling and verification of compensating transactions using the spin tool
K. Wan
,
H.K. Kapoor
,
Shirshendu Das
,
...
,
K.L. Man
(6 authors)
2012 | Newswood Limited
Showing 41-44 of 44 results
prev
1
2
3
next
Get all the updates from Shirshendu Das
Follow