全部成果分类

按条件检索“2,738”条记录

已选条件: 来源数据库: CPCI-S ×
导出
  • 排序
  • 显示
62. Towards SMT-Based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems CPCI-S CPCI-SSH

作者:Zhang, M; Ying, YH

通讯作者地址:Ying, YH (reprint author), ECNU, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Ying, Yunhui] ECNU, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; ECNU, MoE Int Joint Lab Trustworthy Software, Shanghai, Peoples 更多

来源:ACM SIGPLAN NOTICES,2017,Vol.52,Issue.5,61-70

收录类别:CPCI-S;CPCI-SSH

会议时间:JUN 21-22, 2017

会议名称:18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and; Theory for Embedded Systems (LCTES)

资源类型:外文会议论文

63. Checkpointing Workflows for Fail-Stop Errors CPCI-S

作者:Han, L; Canon, LC; Casanova, H; Robert, Y; Vivien, F

通讯作者地址:Han, L (reprint author), Ecole Normale Super Lyon, LIP, CNRS, Lyon, France.; Han, L (reprint author), INRIA, Le Chesnay, France.; Han, L (reprint author), East China Normal Univ, Shanghai, Peoples R China.

作者机构:[Han, Li; Canon, Louis-Claude; Robert, Yves; Vivien, Frederic] Ecole Normale Super Lyon, LIP, CNRS, Lyon, France.; [Han, Li; Canon, Louis-Claude; Ro 更多

来源:2017 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER),2017,487-497

收录类别:CPCI-S

会议时间:SEP 05-08, 2017

会议名称:IEEE International Conference on Cluster Computing (CLUSTER)

资源类型:外文会议论文

64. Integration Method for Wireless Communication Modes in Internet of Vehicles In the Big data Environment CPCI-S

作者:Yang, ZX; Zhu, MH

通讯作者地址:Yang, ZX (reprint author), East China Normal Univ, Software Engn Inst, Shanghai 200062, Peoples R China.; Yang, ZX (reprint author), Lanzhou Jiaotong Univ, Elect & Informat Engn Inst, Lanzhou 730070, Gansu, Peoples R China.

作者机构:[Yang Zhao-xia; Zhu Minh-hua] East China Normal Univ, Software Engn Inst, Shanghai 200062, Peoples R China.; [Yang Zhao-xia] Lanzhou Jiaotong Univ, 更多

来源:2017 INTERNATIONAL CONFERENCE ON SMART GRID AND ELECTRICAL AUTOMATION; (ICSGEA),2017,602-607

收录类别:CPCI-S

会议时间:MAY 27-28, 2017

会议名称:International Conference on Smart Grid and Electrical Automation; (ICSGEA)

资源类型:外文会议论文

65. Does Transactive Memory Systems Promote Knowledge Integration Directly? CPCI-S

作者:Hong, DC; Zhang, LY

通讯作者地址:Hong, DC (reprint author), East China Normal Univ, Sch Data Sci & Engn, Shanghai, Peoples R China.; Hong, DC (reprint author), Fudan Univ, Sch Comp Sci, Shanghai Key Lab Intelligent Informat Proc, Shanghai, Peoples R China.

作者机构:[Hong, Daocheng] East China Normal Univ, Sch Data Sci & Engn, Shanghai, Peoples R China.; [Hong, Daocheng; Zhang, Liyi] Fudan Univ, Sch Comp Sci, Sh 更多

来源:KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS,2017,Vol.112,896-905

收录类别:CPCI-S

会议时间:SEP 06-08, 2017

会议名称:21st International Conference on Knowledge - Based and Intelligent; Information and Engineering Systems (KES)

资源类型:外文会议论文

67. Compact All-PM-fiber Er-laser mode-locked by a phase-biased nonlinear amplifier loop mirror CPCI-S

作者:Hao, Q; Chen, FH; Zeng, HP

通讯作者地址:Hao, Q (reprint author), Univ Shanghai Sci & Technol, Sch Opt Elect & Comp Engn, Shanghai Key Lab Modern Opt Syst, Minist Educ, Shanghai 200093, Peoples R China.; Hao, Q (reprint author), Univ Shanghai Sci & Technol, Engn Res Ctr Opt Instrument & Syst, Minist Educ, Sch Opt Elect & Comp Engn, Shanghai 200093, Peoples R China.

作者机构:[Hao, Qiang; Chen, Feihong; Zeng, Heping] Univ Shanghai Sci & Technol, Sch Opt Elect & Comp Engn, Shanghai Key Lab Modern Opt Syst, Minist Educ, Shang 更多

来源:2017 CONFERENCE ON LASERS AND ELECTRO-OPTICS PACIFIC RIM (CLEO-PR),2017

收录类别:CPCI-S

会议时间:JUL 31-AUG 04, 2017

会议名称:Conference on Lasers and Electro-Optics Pacific Rim (CLEO-PR)

资源类型:外文会议论文

68. A COMPACT PAIRWISE TRAJECTORY REPRESENTATION FOR ACTION RECOGNITION CPCI-S

作者:Huang, QY;Sun, S;Wang, F

通讯作者地址:Wang, F (reprint author), East China Normal Univ, Shanghai Key Lab Multidimens Informat Proc, Shanghai, Peoples R China.

作者机构:[Huang, Qingya; Sun, Shan; Wang, Feng] East China Normal Univ, Shanghai Key Lab Multidimens Informat Proc, Shanghai, Peoples R China.

来源:2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL; PROCESSING (ICASSP),2017,1767-1771

收录类别:CPCI-S

会议时间:MAR 05-09, 2017

会议名称:IEEE International Conference on Acoustics, Speech, and Signal; Processing (ICASSP)

资源类型:外文会议论文

69. A NOVEL DICTIONARY BASED SRC FOR FACE RECOGNITION CPCI-S

作者:Wen, Y

通讯作者地址:Wen, Y (reprint author), East China Normal Univ, Dept Comp Sci & Technol, Shanghai Key Lab Multidimens Informat Proc, Shanghai 200062, Peoples R China.

作者机构:[Wen, Ying] East China Normal Univ, Dept Comp Sci & Technol, Shanghai Key Lab Multidimens Informat Proc, Shanghai 200062, Peoples R China.

来源:2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL; PROCESSING (ICASSP),2017,2582-2586

收录类别:CPCI-S

会议时间:MAR 05-09, 2017

会议名称:IEEE International Conference on Acoustics, Speech, and Signal; Processing (ICASSP)

资源类型:外文会议论文

71. Online Formation of Large Tree-Structured Team CPCI-S

作者:Ding, C;Xia, F;Gopakumar;Qian, WN;Zhou, AY

通讯作者地址:Xia, F (reprint author), East China Normal Univ, Sch Data Sci & Engn, Infosys Data Sci Joint Lab, ECNU,RMU, Shanghai, Peoples R China.

作者机构:[Ding, Cheng; Xia, Fan; Gopakumar; Qian, Weining; Zhou, Aoying] East China Normal Univ, Sch Data Sci & Engn, Infosys Data Sci Joint Lab, ECNU,RMU, Sha 更多

来源:DATABASE SYSTEMS FOR ADVANCED APPLICATIONS (DASFAA 2017),2017,Vol.10179,118-132

收录类别:CPCI-S

会议时间:MAR 27-30, 2017

会议名称:22nd International Conference on Database Systems for Advanced; Applications (DASFAA)

资源类型:外文会议论文

72. Illumination-Preserving Embroidery Simulation for Non-photorealistic Rendering CPCI-S

作者:Shen, QQ;Cui, DL;Sheng, Y;Zhang, GX

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

作者机构:[Shen, Qiqi; Cui, Dele; Sheng, Yun; Zhang, Guixu] East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai 200062, Peoples R China.

来源:MULTIMEDIA MODELING, MMM 2017, PT II,2017,Vol.10133,233-244

收录类别:CPCI-S

会议时间:JAN 04-06, 2017

会议名称:23rd International Conference on MultiMedia Modeling (MMM)

资源类型:外文会议论文

73. Efficient Secure and Privacy-Preserving Route Reporting Scheme for VANETs CPCI-S

作者:Zhang, YF;Pei, QW;Dai, FF;Zhang, L

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

作者机构:[Zhang, Yuanfei; Pei, Qianwen; Dai, Feifei; Zhang, Lei] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:2017 INTERNATIONAL CONFERENCE ON CLOUD TECHNOLOGY AND COMMUNICATION; ENGINEERING (CTCE2017),2017,Vol.910

收录类别:CPCI-S

会议时间:AUG 18-20, 2017

会议名称:International Conference on Cloud Technology and Communication; Engineering (CTCE)

资源类型:外文会议论文

75. A Gaussian Process and Derivative Spectral Based Algorithm for Red Blood Cell Segmentation CPCI-S

作者:Xue, YY;Wang, JB;Zhou, M;Hou, XY;Li, QL;Liu, HY;Wang, YT

通讯作者地址:Li, QL (reprint author), East China Normal Univ, Shanghai Key Lab Multidimens Informat Proc, Shanghai 200241, Peoples R China.

作者机构:[Xue, Yingying; Zhou, Mei; Hou, Xiyue; Li, Qingli; Liu, Hongying; Wang, Yiting] East China Normal Univ, Shanghai Key Lab Multidimens Informat Proc, Sh 更多

来源:NINTH INTERNATIONAL CONFERENCE ON DIGITAL IMAGE PROCESSING (ICDIP 2017),2017,Vol.10420

收录类别:CPCI-S

会议时间:MAY 19-22, 2017

会议名称:9th International Conference on Digital Image Processing (ICDIP)

资源类型:外文会议论文

77. Guided, Stochastic Model-Based GUI Testing of Android Apps CPCI-S

作者:Su, T;Meng, GZ;Chen, YT;Wu, K;Yang, WM;Yao, Y;Pu, GG;Liu, Y;Su, ZD

通讯作者地址:Pu, GG (reprint author), East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai, Peoples R China.; Chen, YT (reprint author), Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, Shanghai, Peoples R China.

作者机构:[Su, Ting; Wu, Ke; Yang, Weiming; Yao, Yao; Pu, Geguang] East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai, Peoples R China.; [Su, Ting 更多

来源:ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS; OF SOFTWARE ENGINEERING,2017,245-256

收录类别:CPCI-S

会议时间:SEP 04-08, 2017

会议名称:11th Joint Meeting of European Software Engineering Conference (ESEC) /; ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)

资源类型:外文会议论文

78. When Program Analysis Meets Mobile Security: An Industrial Study of Misusing Android Internet Sockets CPCI-S

作者:Bu, W;Xue, M;Xu, L;Zhou, YJ;Tang, ZS;Xie, T

通讯作者地址:Bu, W (reprint author), East China Normal Univ, Shanghai, Peoples R China.

作者机构:[Bu, Wenqi; Xue, Minhui; Xu, Lihua] East China Normal Univ, Shanghai, Peoples R China.; [Xue, Minhui] New York Univ Shanghai, Shanghai, Peoples R Ch 更多

来源:ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS; OF SOFTWARE ENGINEERING,2017,842-847

收录类别:CPCI-S

会议时间:SEP 04-08, 2017

会议名称:11th Joint Meeting of European Software Engineering Conference (ESEC) /; ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)

资源类型:外文会议论文

79. RunDroid: Recovering Execution Call Graphs for Android Applications CPCI-S

作者:Yuan, YJ;Xu, LH;Xiao, XS;Podgurski, A;Zhu, HB

通讯作者地址:Yuan, YJ (reprint author), East China Normal Univ, Shanghai, Peoples R China.

作者机构:[Yuan, Yujie; Xu, Lihua; Zhu, Huibiao] East China Normal Univ, Shanghai, Peoples R China.; [Xiao, Xusheng; Podgurski, Andy] Case Western Reserve Uni 更多

来源:ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS; OF SOFTWARE ENGINEERING,2017,949-953

收录类别:CPCI-S

会议时间:SEP 04-08, 2017

会议名称:11th Joint Meeting of European Software Engineering Conference (ESEC) /; ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)

资源类型:外文会议论文

80. Cycle Slip Detection base on Common Reference Clock GNSS Dual Antenna Receiver CPCI-S

作者:Yu, PW;Zhang, L;Chen, W;Yu, C;Dong, DN

通讯作者地址:Zhang, L (reprint author), East China Normal Univ, Engn Ctr SHMEC Space Informat, Shanghai 200241, Peoples R China.; Zhang, L (reprint author), East China Normal Univ, GNSS, Shanghai 200241, Peoples R China.; Zhang, L (reprint author), East China Normal Univ, Shanghai Key Lab Multidimens Informat Proc, Shanghai 200241, Peoples R China.

作者机构:[Yu, Pengwei; Zhang, Lei; Chen, Wen; Yu, Chao; Dong, Danan] East China Normal Univ, Engn Ctr SHMEC Space Informat, Shanghai 200241, Peoples R China.; 更多

来源:PROCEEDINGS OF 2017 IEEE 7TH INTERNATIONAL CONFERENCE ON ELECTRONICS; INFORMATION AND EMERGENCY COMMUNICATION (ICEIEC),2017,330-333

收录类别:CPCI-S

会议时间:JUL 21-23, 2017

会议名称:7th IEEE International Conference on Electronics Information and; Emergency Communication (ICEIEC)

资源类型:外文会议论文

共 137 页, 2,738 条记录

TOP