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 条

[31] Optimizing execution time predictions of scientific workflow applications in the Grid through evolutionary programming
Nadeem, Farrukh
Fahringer, Thomas
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2013, 29 (04): : 926 - 935
[32] Behaviors of sodium and calcium ions at the borosilicate glass-water interface: Gaining new insights through an ab initio molecular dynamics study
Jabraoui, Hicham
Charpentier, Thibault
Gin, Stephane
Delaye, Jean-Marc
Pollet, Rodolphe
JOURNAL OF CHEMICAL PHYSICS, 2022, 156 (13):
[33] Exploring the Interface between Scientific Diction and Literacy Through an Analysis of Ladee Wosornu's "Chemistry" and "The Street"
Adika, G. S. K.
Klu, E. K.
INTERNATIONAL JOURNAL OF EDUCATIONAL SCIENCES, 2015, 10 (01) : 156 - 161
[34] An object-oriented interface for the dynamic memory management of sparse discrete mathematical operators in numerical scientific applications
Manzini, G
Mazet, S
SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (07): : 621 - 644
[35] An Integrated Cloud Platform for Rapid Interface Generation, Job Scheduling, Monitoring, Plotting, and Case Management of Scientific Applications
Brewer, Wesley
Scott, Will
Sanford, John
2015 INTERNATIONAL CONFERENCE ON CLOUD COMPUTING RESEARCH AND INNOVATION (ICCCRI), 2015, : 156 - 165
[36] Scientific Evidence from Space-A Review of Spaceborne Remote Sensing Applications at the Science-Policy Interface
Bell, Alexandra
Klein, Doris
Rieser, Jakob
Kraus, Tanja
Thiel, Michael
Dech, Stefan
REMOTE SENSING, 2023, 15 (04)
[37] EFFECT OF INQUIRY-BASED BIOLOGY LABORATORY APPLICATIONS ON SCIENTIFIC PROCESS SKILLS, ATTITUDE, SELF-EFFICACY AND SELF-CONFIDENCE
Acarli, Dilek Sultan
Dervisoglu, Sevilay
MIER-JOURNAL OF EDUCATIONAL STUDIES TRENDS AND PRACTICES, 2021, 11 (01): : 15 - 29
[38] Towards Exploring Data-Intensive Scientific Applications at Extreme Scales through Systems and Simulations
Zhao, Dongfang
Liu, Ning
Kimpe, Dries
Ross, Robert
Sun, Xian-He
Raicu, Ioan
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2016, 27 (06) : 1824 - 1837
[39] Damaging the Case for Improving Social Science Methodology Through Misrepresentation: Re-Asserting Confidence in Hypothesis Testing as a Valid Scientific Process
Nicholson, James
McCusker, Sean
SOCIOLOGICAL RESEARCH ONLINE, 2016, 21 (02):
[40] Batched sparse and mixed-precision linear algebra interface for efficient use of GPU hardware accelerators in scientific applications
Luszczek, Piotr
Abdelfattah, Ahmad
Anzt, Hartwig
Suzuki, Atsushi
Tomov, Stanimire
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2024, 160 : 359 - 374

← 1 2 3 4 5 →