普拉森吉特·巴苏
人员信息
优化列表
2010 – 2019
2018 [第11条] 普拉森吉特·巴苏 , 桑塔努·帕尔 , 苏迪普·库马尔·纳斯卡 以下为:
保留或不保留:用于后期编辑的单词级质量评估。 WMT(共享任务) 2018 以下为: 759-764 2013 [第10条] 普拉森吉特·巴苏 , 苏曼·巴塔查里亚 , 萨米尔·罗伊 以下为:
虚拟大学下电子学习者学习路径的在线推荐。 ICDCIT公司 2013 以下为: 126-136 【c9】 阿拉尼·巴塔查里亚 , 安苏曼·班纳吉 , 苏西米塔·苏尔·科莱 , 普拉森吉特·巴苏 , Bhaskar J.Karmakar公司 以下为:
多处理器架构上H.264解码的缓存软件策略。 VDAT公司 2013 以下为: 194-203
2000 – 2009
2009 [注2] 阿纳布·辛哈 , 帕拉布·达斯古普塔 , 巴斯卡尔帕尔 , Sayantan Das公司 , 普拉森吉特·巴苏 , P.P.查克拉巴蒂 以下为:
重新审查设计意图覆盖范围。 ACM变速器。 设计自动。 选举人。 系统。 14 ( 1 ) 以下为: 9:1-9:32 ( 2009 ) 2006 [j1] 普拉森吉特·巴苏 , Sayantan Das公司 , 安苏曼·班纳吉 , 帕拉布·达斯古普塔 , P.P.查克拉巴蒂 , Chunduri Rama Mohan先生 , Limor修复 , 罗伊·阿莫尼 以下为:
设计内容覆盖——正式属性验证的新范式。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 25 ( 10 ) 以下为: 1922-1934 ( 2006 ) 【c8】 普拉森吉特·巴苏 , Sayantan Das公司 , 帕拉布·达斯古普塔 , 帕塔·普拉蒂姆·查克拉巴蒂 以下为:
发现规范细化覆盖范围中的输入假设。 ASP-DAC公司 2006 以下为: 13-18 【c7】 Sayantan Das公司 , 普拉森吉特·巴苏 , 帕拉布·达斯古普塔 , P.P.查克拉巴蒂 以下为:
设计意图覆盖和模型检查之间有什么关系? 日期 2006 以下为: 1217-1222 2005 【c6】 苏奇西米塔·罗伊 , Sayantan Das公司 , 普拉森吉特·巴苏 , 帕拉布·达斯古普塔 , 帕塔·普拉蒂姆·查克拉巴蒂 以下为:
开放系统正式属性规范中一致性问题的基于SAT的解决方案。 国际计算机辅助设计协会 2005 以下为: 885-888 【c5】 Sayantan Das公司 , 安苏曼·班纳吉 , 普拉森吉特·巴苏 , 帕拉布·达斯古普塔 , P.P.查克拉巴蒂 , Chunduri Rama Mohan先生 , Limor修复 以下为:
针对高级故障模型分析断言套件完整性的形式化方法。 超大型积体电路设计 2005 以下为: 201-206 【c4】 普拉森吉特·巴苏 , 帕拉布·达斯古普塔 , P.P.查克拉巴蒂 以下为:
假设保证断言的句法转换:从子模块到模块。 超大型积体电路设计 2005 以下为: 213-218 2004 【c3】 普拉森吉特·巴苏 , Sayantan Das公司 , 帕拉布·达斯古普塔 , P.P.查克拉巴蒂 , Chunduri Rama Mohan先生 , Limor修复 以下为:
正式验证范围:RTL属性是否涵盖了设计的建筑意图? 日期 2004 以下为: 668-669 【c2】 Sayantan Das公司 , 普拉森吉特·巴苏 , 安苏曼·班纳吉 , 帕拉布·达斯古普塔 , P.P.查克拉巴蒂 , Chunduri Rama Mohan先生 , Limor修复 , 罗伊·阿莫尼 以下为:
形式验证覆盖:计算时间规范之间的覆盖差距。 国际计算机辅助设计协会 2004 以下为: 198-203年 【c1】 普拉森吉特·巴苏 , 帕拉布·达斯古普塔 , P.P.查克拉巴蒂 , Chunduri Rama Mohan先生 以下为:
用于增强形式属性验证覆盖范围的属性细化技术。 超大型积体电路设计 2004 以下为: 109-114