Formal models and methods on volunteer computing

被引：1
|
作者：
College of Computer and Information Engineering, Hohai University, Nanjing 210098, China [1 ]
机构：
来源：
Ruan Jian Xue Bao | 2008年 / 5卷 / 1125-1133期
关键词：
23;
D O I：
10.3724/SP.J.1001.2008.01125
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1125 / 1133
相关论文
共 50 条
  • [21] CHALLENGES IN FORMAL METHODS FOR TESTING AND VERIFICATION OF CLOUD COMPUTING SYSTEMS
    Gawanmeh, Amjad
    Alomari, Ahmad
    SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2015, 16 (03): : 321 - 332
  • [22] Automated Synthesis of Crossbars for Nanoscale Computing using Formal Methods
    Velasquez, Alvaro
    Jha, Sumit Kumar
    PROCEEDINGS OF THE 2015 IEEE/ACM INTERNATIONAL SYMPOSIUM ON NANOSCALE ARCHITECTURES (NANOARCH 15), 2015, : 130 - 136
  • [23] Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems
    Berger, Guillaume O.
    Jungers, Raphael M.
    IEEE CONTROL SYSTEMS LETTERS, 2020, 4 (01): : 235 - 240
  • [24] A HINDSIGHT ON FORMAL METHODS AND PROSPECTS OF SEMANTIC COMPUTING IN SOFTWARE ENGINEERING
    Kraemer, Bernd J.
    Margaria, Tiziana
    INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING, 2009, 3 (01) : 5 - 30
  • [25] Improving Reliability in Management of Cloud Computing Infrastructure by Formal Methods
    Kikuchi, Shinji
    Hiraishi, Kunihiko
    2014 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM (NOMS), 2014,
  • [26] Formal methods for the re-engineering of computing systems: A comparison
    Liu, X
    Yang, H
    Zedan, H
    COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 409 - 414
  • [27] Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems
    Berger, Guillaume O.
    Jungers, Raphael M.
    PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19), 2019, : 260 - 261
  • [28] Challenges in formal methods for testing and verification of cloud computing systems
    Gawanmeh, Amjad
    Alomari, Ahmad
    Scalable Computing, 2015, 16 (03): : 321 - 332
  • [29] COMPUTING ANTEBELLUM TURNOUT - METHODS AND MODELS
    GINSBURG, G
    JOURNAL OF INTERDISCIPLINARY HISTORY, 1986, 16 (04) : 579 - 611
  • [30] Expanding the volunteer computing scenario: A novel approach to use parallel applications on volunteer computing
    Calderon, Alejandro
    Garcia-Carballeira, Felix
    Bergua, Borja
    Miguel Sanchez, Luis
    Carretero, Jesus
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2012, 28 (06): : 881 - 889
12345