Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Chakrabarti, P
65  Ergebnisse:
Buchkapitel (Online) X
?
1

Methodology of Designing a Bidirectional Metamaterial Absor..:

, In: 2021 IEEE Indian Conference on Antennas and Propagation (InCAP),
Nilotpal ; Chakrabarti, P. ; Bhattacharyya, Somak - p. 706-709 , 2021
Link: https://doi.org/10.1109/..
 
?
2

A wideband metamaterial absorber based on multiple interfer..:

, In: 2020 URSI Regional Conference on Radio Science ( URSI-RCRS),
Nilotpal ; Bhattacharyya, Somak ; Chakrabarti, P. - p. 1-3 , 2020
Link: https://doi.org/10.23919..
 
?
3

Work Function Estimation of Copper-Doped ZnO Thin Film:

, In: Lecture Notes in Electrical Engineering; Advances in VLSI, Communication, and Signal Processing,
Agarwal, Lucky ; Singh, Brijesh Kumar ; Tripathi, Shweta. - p. 639-646 , 2019
Link: https://doi.org/10.1007/..
 
?
4

A proposed long wavelength infra-red metamaterial absorber ..:

, In: 2018 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting,
Nilotpal ; Singh, Abhishek Kumar ; Upadhyay, Mamta... - p. 1-2 , 2018
Link: https://doi.org/10.1109/..
 
?
5

An Ultrathin Wide Angle Polarization Insensitive Mid-Infrar..:

, In: 2018 IEEE MTT-S International Microwave and RF Conference (IMaRC),
Nilotpal ; Bhattacharyya, Somak ; Chakrabarti, P. - p. 1-1 , 2018
Link: https://doi.org/10.1109/..
 
?
6

Panel Discussion: SoC Realization - A Bridge to New Horizon..:

, In: 2012 25th International Conference on VLSI Design,
Pattanam, Sathyam K. ; Chakrabarti, P.P. ; Mahendale, Mahesh... - p. 38-38 , 2012
Link: https://doi.org/10.1109/..
 
?
7

Robust embedded software design through early analysis of q..:

, In: Proceedings of the 4th India Software Engineering Conference,
Das, Dipankar ; Chakrabarti, P. P. ; Sinha, Purnendu - p. 31-40 , 2011
Link: https://dl.acm.org/doi/1..
 
?
8

Discovering the input assumptions in specification refineme..:

, In: Proceedings of the 2006 Asia and South Pacific Design Automation Conference,
Basu, Prasenjit ; Das, Sayantan ; Dasgupta, Pallab. - p. 13-18 , 2006
Link: https://dl.acm.org/doi/1..
 
?
9

Formal methods for checking realizability of coalitions in ..:

, In: Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.,
Banerjee, A. ; Dasgupta, P. ; Chakrabarti, P. P. - p. 198 ff. , 2006
Link: https://dl.acm.org/doi/1..
 
?
10

SAT based solutions for consistency problems in formal prop..:

, In: Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design,
Roy, Suchismita ; Das, Sayantan ; Basu, Prasenjit.. - p. 885-888 , 2005
Link: https://dl.acm.org/doi/1..
 
?
11

Mixing Global and Local Competition in Genetic Optimization..:

, In: Proceedings of the conference on Design, Automation and Test in Europe - Volume 2,
Somani, Abhishek ; Chakrabarti, P. P. ; Patra, Amit - p. 1064-1069 , 2005
Link: https://dl.acm.org/doi/1..
 
?
12

Formal Verification Coverage : Are the RTL-Properties Co..:

, In: Proceedings of the conference on Design, automation and test in Europe - Volume 1,
Basu, Prasenjit ; Das, Sayantan ; Dasgupta, Pallab... - p. 10668 ff. , 2004
Link: https://dl.acm.org/doi/1..
 
?
13

Formal verification coverage : computing the coverage ga..:

, In: Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design,
Das, A. ; Basu, P. ; Banerjee, A.... - p. 198-203 , 2004
Link: https://dl.acm.org/doi/1..
 
?
14

Open Computation Tree Logic for Formal Verification of Modu..:

, In: Proceedings of the 2002 Asia and South Pacific Design Automation Conference,
Dasgupta, Pallab ; Chakrabarti, Arindam ; Chakrabarti, P. P. - p. 735 ff. , 2002
Link: https://dl.acm.org/doi/1..
 
?
15

Formal verification of module interfaces against real time ..:

, In: Proceedings of the 39th annual Design Automation Conference,
Chakrabarti, Arindam ; Dasgupta, Pallab ; Chakrabarti, P. P.. - p. 141-145 , 2002
Link: https://dl.acm.org/doi/1..
 
1-15