BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Germany
1 × Switzerland
2 × Italy
Collaborated with:
I.Stierand D.B.Chokshi S.Ramesh U.Shrotri R.Venkatesh P.Swain S.Chakraborty S.Nandi
Talks about:
time (3) use (3) perform (2) analysi (2) model (2) real (2) processor (1) interfac (1) calculus (1) revisit (1)

Person: Purandar Bhaduri

DBLP DBLP: Bhaduri:Purandar

Contributed to:

SAC 20122012
DATE 20102010
SAC 20102010
SEFM 20032003
CAV 19991999

Wrote 5 papers:

SAC-2012-SwainCNB #analysis #markov #performance #using
Performance analysis of IEEE 802.11 IBSS power save mode using a discrete-time markov model (PS, SC, SN, PB), pp. 631–633.
DATE-2010-BhaduriS #interface #realtime
A proposal for real-time interfaces in SPEEDS (PB, IS), pp. 441–446.
SAC-2010-ChokshiB #analysis #calculus #performance #realtime #revisited #using
Performance analysis of FlexRay-based systems using real-time calculus, revisited (DBC, PB), pp. 351–356.
SEFM-2003-ShrotriBV #model checking #requirements #specification #visual notation
Model Checking Visual Specification of Requirements (US, PB, RV), pp. 202–209.
CAV-1999-RameshB #case study #design #pipes and filters #tool support #using #validation
Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study (SR, PB), pp. 84–95.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.