按条件检索“19”条记录

已选条件: 来源数据库: CPCI-S ×
导出
  • 排序
  • 显示
1. Game Theoretic Energy Allocation for Renewable Powered In-Situ Server Systems CPCI-S

作者:Zhou, JL;Chen, JF;Cao, K;Wei, TQ;Chen, MS

通讯作者地址:Wei, TQ (reprint author), East China Normal Univ, Dept Comp Sci & Technol, Shanghai 200241, Peoples R China.

作者机构:[Zhou, Junlong; Chen, Jianfei; Cao, Kun; Wei, Tongquan] East China Normal Univ, Dept Comp Sci & Technol, Shanghai 200241, Peoples R China.; [Chen, M 更多

来源:2016 IEEE 22ND INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED; SYSTEMS (ICPADS),2016,721-728

收录类别:CPCI-S

会议时间:DEC 13-16, 2016

会议名称:22nd IEEE International Conference on Parallel and Distributed Systems; (ICPADS)

资源类型:外文会议论文

3. SHSA: A Method of Network Verification with Stateful Header Space Analysis CPCI-S

作者:Yang, YF;Huang, XL;Cheng, S;Chen, SY;Cong, PJ

通讯作者地址:Huang, XL (reprint author), East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai, Peoples R China.

作者机构:[Yang, Yufan; Huang, Xinli; Cheng, Shang; Chen, Shiyun; Cong, Peijin] East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai, Peoples R China.

来源:2016 IEEE 22ND INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED; SYSTEMS (ICPADS),2016,232-238

收录类别:CPCI-S

会议时间:DEC 13-16, 2016

会议名称:22nd IEEE International Conference on Parallel and Distributed Systems; (ICPADS)

资源类型:外文会议论文

4. A Spatial Logic for Modeling and Verification of Collision-free Control of Vehicles CPCI-S

作者:Xu, BQ;Li, Q

通讯作者地址:Li, Q (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Xu, Bingqing; Li, Qin] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:2016 21ST INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER; SYSTEMS (ICECCS 2016),2016,33-42

收录类别:CPCI-S

会议时间:NOV 06-08, 2016

会议名称:21st International Conference on Engineering of Complex Computer Systems; (ICECCS)

资源类型:外文会议论文

10. An Improved Realistic Mobility Model and Mechanism for VANET Based on SUMO and NS3 Collaborative Simulations CPCI-S

作者:Su, YY;Cai, HB;Shi, JM

通讯作者地址:Cai, HB (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Su, Yunyun; Cai, Haibin; Shi, Jingmin] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:2014 20TH IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED; SYSTEMS (ICPADS),2014,900-905

收录类别:CPCI-S

会议时间:DEC 16-19, 2014

会议名称:20th IEEE International Conference on Parallel and Distributed Systems; (ICPADS)

WOS被引:1

资源类型:外文会议论文

13. Formal Modelling and Analysis of AODV SCOPUS CPCI-S EI

作者:Wu, XF;Sanders, JW;Zhu, HB

通讯作者地址:Wu, XF (reprint author), E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Wu, Xiaofeng; Zhu, Huibiao] E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER; SYSTEMS (ICECCS),2013,93-100

收录类别:SCOPUS;CPCI-S;EI

资源类型:外文期刊论文;外文会议论文

14. Hybrid Relation Calculus CPCI-S

作者:He, JF

通讯作者地址:He, JF (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[He, JF]E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER; SYSTEMS (ICECCS),2013,2-2

收录类别:CPCI-S

会议时间:JUL 17-19, 2013

会议名称:18th International Conference on Engineering of Complex Computer Systems; (ICECCS)

WOS被引:9

资源类型:外文会议论文

15. xBIL-A Hardware Resource Oriented Binary Intermediate Language SCOPUS CPCI-S EI

作者:Shi, JQ;Zhu, LF;Fang, HX;Guo, J;Zhu, HB;Ye, X

通讯作者:Shi, J.(jqshi@sei.ecnu.edu.cn)

通讯作者地址:Shi, JQ (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Shi, Jianqi; Zhu, Longfei; Fang, Huixing; Guo, Jian; Zhu, Huibiao; Ye, Xin] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, 更多

来源:2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER; SYSTEMS (ICECCS),2012,211-219

收录类别:SCOPUS;CPCI-S;EI

资源类型:外文期刊论文;外文会议论文

17. ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System SCOPUS CPCI-S EI

作者:Shi, JQ;He, JF;Zhu, HB;Fang, HX;Huang, YH;Zhang, XX

通讯作者:Shi, J.(jqshi@sei.ecnu.edu.cn)

通讯作者地址:Shi, JQ (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Shi, Jianqi; He, Jifeng; Zhu, Huibiao; Fang, Huixing; Huang, Yanhong] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, People 更多

来源:2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER; SYSTEMS (ICECCS),2012,293-301

收录类别:SCOPUS;CPCI-S;EI

WOS被引:6

资源类型:外文期刊论文;外文会议论文

18. An on-line hard real-time communication scheduler for ultra-dependable system SCOPUS CPCI-S EI

作者:Chen, H;Qin, ZD;Ju, XM

通讯作者:Xiaoming, J.(xmju@sei.ecnu.edu.cn)

通讯作者地址:Ju, XM (reprint author), E China Normal Univ, Inst Software Engn, Shanghai, Peoples R China.

作者机构:[Ju Xiaoming] E China Normal Univ, Inst Software Engn, Shanghai, Peoples R China.

来源:PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND; SYSTEMS,2008,49-56

收录类别:SCOPUS;CPCI-S;EI

资源类型:外文期刊论文;外文会议论文

19. An on-line hard real-time communication scheduler for ultra-dependable system CPCI-S

作者:Chen, H;Qin, ZD;Ju, XM

通讯作者地址:Ju, XM (reprint author), E China Normal Univ, Inst Software Engn, Shanghai, Peoples R China.

作者机构:[Ju Xiaoming] E China Normal Univ, Inst Software Engn, Shanghai, Peoples R China.

来源:PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND; SYSTEMS,2008,49-56

收录类别:CPCI-S

会议时间:JUL 29-31, 2008

会议名称:International Conference on Embedded Software and Systems

资源类型:外文会议论文

TOP