普里扬卡·戈什
人员信息
优化列表
2010 – 2019
2014 [i3] 普里扬卡·戈什 , 阿米特·夏尔马 , P.P.查克拉巴蒂 , 帕拉布·达斯古普塔 :
显式与或结构的有序解生成算法。 CoRR公司 腹肌/1401.5852 ( 2014 ) 2013 [j7] 阿里特拉·哈兹拉 , 普里扬卡·戈什 , 萨蒂亚·高塔姆·瓦德拉穆迪 , P.P.查克拉巴蒂 , 帕拉布·达斯古普塔 :
基于组件的嵌入式应用程序功能可靠性早期分析的形式化方法。 IEEE嵌入式。 系统。 莱特。 5 ( 1 ) : 8-11 ( 2013 ) [j6] 拉杰迪德·穆克吉 , 普里扬卡·戈什 , 帕拉布·达斯古普塔 , Ajit Pal公司 :
高水平合成期间精细粒度功率和峰值温度管理的集成方法。 J.低功率电子。 9 ( 三 ) : 350-362 ( 2013 ) [j5] Srobona Mitra公司 , 安苏曼·班纳吉 , 帕拉布·达斯古普塔 , 普里扬卡·戈什 , 哈里什·库马尔 :
本地化错误修复的正式保证。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 32 ( 8 ) : 1274-1287 ( 2013 ) [第10条] 普里扬卡·戈什 , 阿米特·夏尔马 , 帕塔·普拉蒂姆·查克拉巴蒂 , 帕拉布·达斯古普塔 :
显式与或结构有序解生成算法:扩展抽象。 国际JCAI 2013 : 3156-3160 【c9】 普里扬卡·戈什 , 帕塔·普拉蒂姆·查克拉巴蒂 , 帕拉布·达斯古普塔 :
隐式AND/OR搜索空间的有序解生成。 PReMI公司 2013 : 581-586 [i2] 拉杰迪德·穆克吉 , 普里扬卡·戈什 , 帕拉布·达斯古普塔 , Ajit Pal公司 :
使用细粒度DVS体系结构的操作员调度的多目标透视图。 CoRR公司 abs/1303.1645 ( 2013 ) 2012 【j4】 阿里特拉·哈兹拉 , 普里扬卡·戈什 , 帕拉布·达斯古普塔 , 帕塔·普拉蒂姆·查克拉巴蒂 :
内聚覆盖管理:模拟符合正式方法。 《电子杂志》。 测试。 28 ( 4 ) : 449-468 ( 2012 ) [j3] Srobona Mitra公司 , 普里扬卡·戈什 , 帕拉布·达斯古普塔 :
部件验证:重用组件不变量检查结果。 IET计算。 数字。 技术。 6 ( 1 ) : 19-32 ( 2012 ) [注2] 普里扬卡·戈什 , 阿米特·夏尔马 , P.P.查克拉巴蒂 , 帕拉布·达斯古普塔 :
显式与或结构的有序解生成算法。 J.阿蒂夫。 智力。 物件。 44 : 275-333 ( 2012 ) [j1] 普里扬卡·戈什 , 阿里特拉·哈兹拉 , 拉胡尔·冈纳巴克图拉 , 尼拉杰·比莱甘卡 , 帕拉布·达斯古普塔 , 奇塔兰扬·A·曼达尔 , 克利须那·保罗 :
POWER-SIM:用于估计移动工作负载功率曲线的SOC模拟器。 J.低功率电子。 8 ( 三 ) : 293-303 ( 2012 ) 【c8】 拉杰迪德·穆克吉 , 普里扬卡·戈什 , 帕拉布·达斯古普塔 , Ajit Pal公司 :
重新审视操作员调度:细粒度DVS体系结构的多目标视角。 ACITY(三) 2012 : 633-648 【c7】 普里扬卡·戈什 , 帕塔·普拉蒂姆·查克拉巴蒂 , 帕拉布·达斯古普塔 :
生物目标启发式搜索的任意时间算法。 澳大利亚人工智能会议 2012 : 230-241 【c6】 阿里特拉·哈兹拉 , 普里扬卡·戈什 , 帕拉布·达斯古普塔 :
嵌入式系统上下文敏感安全属性正式规范的可靠性注释。 FDL公司 2012 : 36-43 【c5】 拉杰迪德·穆克吉 , 普里扬卡·戈什 , N.Sravan Kumar , 帕拉布·达斯古普塔 , Ajit Pal公司 :
分布式框架中使用细粒度DVS体系结构的多目标低功耗CDFG调度。 已初始化 2012 : 267-271 【c4】 普里扬卡·戈什 , P.P.查克拉巴蒂 , 帕拉布·达斯古普塔 :
具有故障概率的与或图中的执行顺序。 社会保险公司 2012 : 41-48 2011 【c3】 普里扬卡·戈什 , 阿里特拉·哈兹拉 , 尼拉杰·比莱甘卡 , 帕拉布·达斯古普塔 , 奇塔兰扬·A·曼达尔 , 克利须那·保罗 :
POWER-SIM:用于估计移动工作负载功率曲线的SOC模拟器。 已初始化 2011 : 273-278 2010 【c2】 阿里特拉·哈兹拉 , 普里扬卡·戈什 , 帕拉布·达斯古普塔 , 帕塔·普拉蒂姆·查克拉巴蒂 :
具有内联断言和正式测试点的覆盖率管理。 超大型积体电路设计 2010 : 140-145 [i1] 普里扬卡·戈什 , 帕拉布·达斯古普塔 :
检测语义Web服务之间协议中的本体冲突。 CoRR公司 abs/1011.0950 ( 2010 )
2000 – 2009
2009 【c1】 阿里特拉·哈兹拉 , 普里扬卡·戈什 , 帕拉布·达斯古普塔 , 帕塔·普拉蒂姆·查克拉巴蒂 :
内联断言-在测试台中嵌入形式属性。 超大型积体电路设计 2009 : 71-76