Apportioning: a technique for efficient reachability analysis of concurrent object-oriented programs

2001 ◽  
Vol 27 (11) ◽  
pp. 1037-1056 ◽  
Author(s):  
S. Iyer ◽  
S. Ramesh
Keyword(s):  
Object Oriented ◽  
Reachability Analysis

scholarly journals An Introduction to CORA 2015

10.29007/zbkv ◽  
2018 ◽  
Author(s):  
Matthias Althoff
Keyword(s):  
Dynamic System ◽  
Modular Design ◽  
Object Oriented ◽  
Reachability Analysis ◽  
Set Representations

The philosophy, architecture, and capabilities of the COntinuous Reachability Analyzer (CORA) are presented. CORA is a toolbox that integrates various vector and matrix set representations and operations on them as well as reachability algorithms of various dynamic system classes. The software is designed such that set representations can be exchanged without having to modify the code for reachability analysis. CORA has a modular design, making it possible to use the capabilities of the various set representations for other purposes besides reachability analysis. The toolbox is designed using the object oriented paradigm, such that users can safely use methods without concerning themselves with detailed information hidden inside the object. Since the toolbox is written in MATLAB, the installation and use is platform independent.

Early generation of performance models for object-oriented systems

2000 ◽  
Vol 147 (3) ◽  
pp. 61 ◽  
Author(s):  
V. Cortellessa ◽  
G. Iazeolla ◽  
R. Mirandola
Keyword(s):  
Object Oriented ◽  
Performance Models ◽  
Early Generation ◽  
Object Oriented Systems

Object-oriented approach

IEE Review ◽  
1990 ◽  
Vol 36 (9) ◽  
pp. 338
Author(s):  
Stephen Wilson
Keyword(s):  
Object Oriented ◽  
Object Oriented Approach ◽  
Oriented Approach
Sign in / Sign up

Export Citation Format

Share Document