Gaining confidence in scientific applications through executable interface contracts

被引：2
|
作者：
Dahlgren, Tamara L. [1 ]
Bernholdt, David E. [2 ]
McInnes, Lois Curfman [3 ]
机构：
[1] Lawrence Livermore Natl Lab, Berkeley, CA 94720 USA
[2] Oak Ridge Natl Lab, Dept Comp Sci & Math, Oak Ridge, TN 37831 USA
[3] Argonne Natl Lab, Dept Math & Comp Sci, Argonne, IL 60439 USA
来源：
SCIDAC 2008: SCIENTIFIC DISCOVERY THROUGH ADVANCED COMPUTING | 2008年 / 125卷
关键词：
D O I：
10.1088/1742-6596/125/1/012086
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Interface contract enforcement is intended to help scientists gain confidence in software built from third-party components. Unfamiliar components present increased risk of incorrect or unanticipated usage patterns and unexpected component behavior. Executable interface contracts can address these issues but may incur unacceptable overhead. Research into techniques for p erformance-driven contract enforcement pursues practical solutions to adapting the level of contract enforcement to performance constraints.
引用
收藏
页数：6
相关论文
共 50 条
  • [21] A Java']Java collaborative interface for genetic programming applications: Image analysis for scientific inquiry
    BersanoBegey, TF
    Daida, JM
    Vesecky, JF
    Ludwig, FL
    PROCEEDINGS OF 1997 IEEE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION (ICEC '97), 1997, : 477 - 482
  • [22] PARTITIONING HYPERGRAPHS IN SCIENTIFIC COMPUTING APPLICATIONS THROUGH VERTEX SEPARATORS ON GRAPHS
    Kayaaslan, Enver
    Pinar, Ali
    Catalyuerek, Uemit
    Aykanat, Cevdet
    SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2012, 34 (02): : A970 - A992
  • [23] Adverse Outcome Pathways for Regulatory Applications: Examination of Four Case Studies With Different Degrees of Completeness and Scientific Confidence
    Perkins, Edward J.
    Antczak, Philipp
    Burgoon, Lyle
    Falciani, Francesco
    Garcia-Reyero, Natalia
    Gutsell, Steve
    Hodges, Geoff
    Kienzler, Aude
    Knapen, Dries
    McBride, Mary
    Willett, Catherine
    TOXICOLOGICAL SCIENCES, 2015, 148 (01) : 14 - 25
  • [24] INTEGRATION OF HETEROGENEOUS DATABASE APPLICATIONS THROUGH AN OBJECT-ORIENTED INTERFACE
    BERTINO, E
    NEGRI, M
    PELAGATTI, G
    SBATELLA, L
    INFORMATION SYSTEMS, 1989, 14 (05) : 407 - 420
  • [25] Gaining decision-maker confidence through community consensus: developing environmental DNA standards for data display on the USGS Nonindigenous Aquatic Species database
    Ferrante, Jason A.
    Daniel, Wesley M.
    Freedman, Jonathan A.
    Klymus, Katy E.
    Neilson, Matthew E.
    Passamaneck, Yale
    Rees, Christopher B.
    Sepulveda, Adam
    Hunter, Margaret E.
    MANAGEMENT OF BIOLOGICAL INVASIONS, 2022, 13 (04): : 809 - 832
  • [26] EDO: Improving Read Performance for Scientific Applications Through Elastic Data Organization
    Tian, Yuan
    Klasky, Scott
    Abbasi, Hasan
    Lofstead, Jay
    Grout, Ray
    Podhorszki, Norbert
    Liu, Qing
    Wang, Yandong
    Yu, Weikuan
    2011 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), 2011, : 93 - 102
  • [27] Detecting Silent Data Corruption through Data Dynamic Monitoring for Scientific Applications
    Gomez, Leonardo Bautista
    Cappello, Franck
    ACM SIGPLAN NOTICES, 2014, 49 (08) : 381 - 382
  • [28] Electric and Thermal Transport Calculations through Interface and Applications Thermoelectric Energy Conversion
    Hirose, Kenji
    Kobayashi, Kazuaki
    Shimono, Masato
    Ishii, Hiroyuki
    Kobayashi, Nobuhiko
    E-JOURNAL OF SURFACE SCIENCE AND NANOTECHNOLOGY, 2014, 12 : 115 - 118
  • [29] Customization of Web applications through an intelligent environment exploiting logical interface descriptions
    Macias, Jose A.
    Paterno, Fablo
    INTERACTING WITH COMPUTERS, 2008, 20 (01) : 29 - 47
  • [30] Numerical Platon: A unified linear equation solver interface by CEA for solving open foe scientific applications
    Secher, Bernard
    Belliard, Michel
    Calvin, Christophe
    NUCLEAR ENGINEERING AND DESIGN, 2009, 239 (01) : 87 - 95
12345