全部成果分类

按条件检索“133”条记录

已选条件: 资源类型: 外文会议论文 ×
导出
  • 排序
  • 显示
4. 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)

资源类型:外文会议论文

5. A Denotational Semantics for Parameterised Networks of Synchronised Automata CPCI-S

作者:Li, SQ; Madelaine, E

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

作者机构:[Li, Siqi] ECNU, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Madelaine, Eric] Univ Cote dAzur, INRIA, I3S, Sophia Antipolis, Fra 更多

来源:UNIFYING THEORIES OF PROGRAMMING, UTP 2016,2017,Vol.10134,93-113

收录类别:CPCI-S

会议时间:JUN 04-05, 2016

会议名称:6th International Symposium on Unifying Theories of Programming (UTP)

资源类型:外文会议论文

6. A Refinement Hierarchy for Free List Memory Allocators CPCI-S CPCI-SSH

作者:Fang, B; Sighireanu, M

通讯作者地址:Fang, B (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; Fang, B (reprint author), Univ Paris Diderot, IRIF, Paris, France.; Fang, B (reprint author), CNRS, Paris, France.

作者机构:[Fang, Bin] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Fang, Bin; Sighireanu, Mihaela] Univ Paris Dider 更多

来源:ACM SIGPLAN NOTICES,2017,Vol.52,Issue.9,104-114

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

会议时间:JUN 18, 2017

会议名称:ACM SIGPLAN International Symposium on Memory Management (ISMM)

资源类型:外文会议论文

10. Saturable absorption in multilayer epitaxial graphene driven by mid-infrared quantum cascade lasers EI SCOPUS

作者:Huang P.;Houver S.;Berger C.;De Heer W.A.;Tignon J.;Guerghi A.;Mottaghizadeh A.;Vasanelli A.;Sirtori C.;Ferreira R.;Dhillon S.;Mangeney J.

作者机构:[Huang, P. ;Houver, S. ;Tignon, J. ;Ferreira, R. ;Dhillon, S. ;Mangeney, J. ] Laboratoire Pierre Aigrain, Département de Physique de l'Ens, &Ea 更多

来源:International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz,2017

收录类别:EI;SCOPUS

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

16. An Executable Semantics of Clock Constraint Specification Language and Its Applications SCIE CPCI-S EI

作者:Zhang, M;Mallet, F

通讯作者:Zhang, Min(zhangmin@sei.ecnu.edu.cn)

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

作者机构:[Zhang, Min; Mallet, Frederic] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.; [Mallet, Frederic] Univ Ni 更多

来源:FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015),2016,Vol.596,37-51

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

会议时间:NOV 06-07, 2015

会议名称:4th International Workshop on Formal Techniques for Safety-Critical; Systems (FTSCS)

WOS被引:1

资源类型:外文会议论文

17. Model-checking software library API usage rules SCOPUS SCIE CPCI-S EI

作者:Song, F; Touili, T

通讯作者:Song, Fu(fsong@sei.ecnu.edu.cn)

通讯作者地址:Song, F (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Natl Trusted Embedded Software Engn Technol Res C, Shanghai, Peoples R China.

作者机构:[Song, Fu] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Natl Trusted Embedded Software Engn Technol Res C, Shanghai, Peoples R China.; 更多

来源:SOFTWARE AND SYSTEMS MODELING,2016,15,4,961-985

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

当年影响因子:1.654

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

19. A Theory for the Composition of Concurrent Processes CPCI-S

作者:Henrio, L;Madelaine, E;Zhang, M

通讯作者地址:Madelaine, E (reprint author), Univ Nice Sophia Antipolis, CNRS, UMR 7271, F-06900 Sophia Antipolis, France.; Madelaine, E (reprint author), INRIA Sophia Antipolis Mediterannee, BP 93, F-06902 Sophia Antipolis, France.

作者机构:[Henrio, Ludovic; Madelaine, Eric] Univ Nice Sophia Antipolis, CNRS, UMR 7271, F-06900 Sophia Antipolis, France.; [Madelaine, Eric] INRIA Sophia Ant 更多

来源:FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS; (FORTE 2016),2016,Vol.9688,175-194

收录类别:CPCI-S

会议时间:JUN 05-07, 2016

会议名称:36th IFIP WG 6.1 International Conference on Formal Techniques for; Distributed Objects, Components and Systems(FORTE) held as part of the; 11th International Federated Conference on Distributed Computing; Techniques (DisCoTec)

WOS被引:2

资源类型:外文会议论文

20. Non-zero Inner Product Encryption with Short Ciphertexts and Private Keys CPCI-S EI

作者:Chen, J;Libert, B;Ramanna, SC

通讯作者:Chen, Jie(s080001@e.ntu.edu.sg)

通讯作者地址:Chen, J; Libert, B; Ramanna, SC (reprint author), Ecole Normale Super Lyon, Lab LIP, Lyon, France.; Chen, J (reprint author), East China Normal Univ, Shanghai, Peoples R China.

作者机构:[Chen, Jie; Libert, Benoit; Ramanna, Somindu C.] Ecole Normale Super Lyon, Lab LIP, Lyon, France.; [Chen, Jie] East China Normal Univ, Shanghai, Peo 更多

来源:SECURITY AND CRYPTOGRAPHY FOR NETWORKS, SCN 2016,2016,Vol.9841,23-41

收录类别:CPCI-S;EI

会议时间:AUG 31-SEP 02, 2016

会议名称:10th International Conference on Security and Cryptography for Networks; (SCN)

资源类型:外文会议论文

共 7 页, 133 条记录

TOP