Reducing component contract overhead by offloading enforcement
暂无分享,去创建一个
[1] James Arthur Kohl,et al. A Component Architecture for High-Performance Scientific Computing , 2006, Int. J. High Perform. Comput. Appl..
[2] Scott R. Kohn,et al. Divorcing Language Dependencies from a Scientific Software Library , 2001, PPSC.
[3] Tamara Dahlgren,et al. Performance-Driven Interface Contract Enforcement for Scientific Components , 2007, CBSE.
[4] Premkumar T. Devanbu,et al. Improving scientific software component quality through assertions , 2005, SE-HPCS '05.
[5] James Arthur Kohl,et al. Parallel PDE-Based Simulations Using the Common Component Architecture , 2006 .
[6] Insup Lee,et al. Runtime Verification for Wireless Sensor Network Applications , 2007, Runtime Verification.
[7] Michael I. Jordan,et al. Bug isolation via remote program sampling , 2003, PLDI.