Reducing component contract overhead by offloading enforcement (original) (raw)
Related papers
Proceedings of the 2009 Workshop on Component Based High Performance Computing, 2009
2009
Runtime enforcement for component-based systems
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Computational Quality of Service for Scientific Components
Lecture Notes in Computer Science, 2004
Contract-Oriented Component Software De-velopment
2003
Performance technology for parallel and distributed component software
Concurrency and Computation: Practice and Experience, 2005
A Contracting System for Hierarchical Components
Lecture Notes in Computer Science, 2005
Enabling self-management of component-based high-performance scientific applications
2005
Contract-based integration of cyber-physical analyses
Proceedings of the 14th International Conference on Embedded Software, 2014
The SEESCOA Composer Tool: Using Contracts for Component Composition and Run-Time Monitoring
Making components contract aware
Computer, 1999
Serious Specification for Composing Components
Component-Based Software Engineering, 2003
Toward multi-language, multi-component interface contract enforcement
2009
Contracts and quality attributes of software components
2003
CoConES: An Approach for Components and Contracts in Embedded Systems
Yolande Berbers, Yves Vandewoude
Components and contracts in software development for embedded systems
Yolande Berbers, Yves Vandewoude
Lessons Learned from Using CORBA for Components in Scientific Computing
2000
The CCA component model for high-performance scientific computing
Concurrency and Computation: Practice and Experience, 2006
Performance specification of software components
Proceedings of the 2001 symposium on Software reusability putting software reuse in context - SSR '01, 2001
Formalising Well-Behaved Components
Taming Dr. Frankenstein: Contract-Based Design for Cyber-physical Systems
Adaptable assertion checking for scientific software components
2004
A high performance software component architectures for SciTL. Final report
2001
2006
A Performance Contract System in a Grid Enabling, Component Based Programming Environment
Lecture Notes in Computer Science, 2005
in component-based systems and simulations
Design-by-Contract for Reusable Components and Realizable Architectures