An efficient implementation of CSP
نویسنده
چکیده
We consider inital-value problems governed by a system of autonomous ordinary differential equations (ODEs). When the required integration stepsize of the ODE system is very very small in comparison to the time domain of interest. Then the initial-value problem is said to be stiff.
منابع مشابه
On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software
This paper discusses issues, possibilities and existing approaches for fitting an exception handling mechanism (EHM) in CSP-based process-oriented software architectures. After giving a survey on properties desired for a concurrent EHM, specific problems and a few principal ideas for including exception handling facilities in CSP-designs are discussed. As one of the CSP-based frameworks for con...
متن کاملAn Empirical Investigation of the Relation between Corporate Sustainability Performance (CSP) and Corporate Value: Evidence from Iran
This study provides an empirical evidence on how Corporate Sustainability Performance (CSP), is reflected in the corporate value. Using a theoretical framework combining Legitimacy theory, Stakeholder theory and Agency theory, a set of hypotheses that relate the corporate value to CSP is examined. For a sample of Iranian firms, 28 components with four dimensions as Community, Environment, Emplo...
متن کاملAn Efficient Library for Solving CSP with Local Search
In the last years, the application of local search techniques for constraint solving started to raise some interest in the Constraint Programming community, We proposed some years ago a domain-independent local search method called Adaptive Search for solving Constraint Satisfaction Problems (CSP) [1]. This method has now been fully re-implemented as a C-based framework library available as fre...
متن کاملImplementing Atomic Rendevous within a Transactional Framework
The transaction concept has been widely used as a powerful tool for the reliable structuring and programming of applications in several fields such as databases, distributed systems ... In this paper, we address the problem of implementing the CSP rendezvous whithin a transactional framework. In fact, several authors have studied the problem of implementing CSP rendezvous on networks of machine...
متن کاملImplementation Research: An Efficient and Effective Tool to Accelerate Universal Health Coverage
Success in the implementation of evidence-based interventions (EBIs) in different settings has had variable success. Implementation research offers the approach needed to understand the variability of health outcomes from implementation strategies in different settings and why interventions were successful in some countries and failed in others. When mastered and embedd...
متن کاملLTL Model Checking under Fairness in ProB
Model checking of liveness properties often results in unrealistic, unfair infinite behaviors as counterexamples. Fairness is a notion where the search is constrained to infinite paths that do not ignore infinitely the execution of a set of enabled actions. In this work we present an implementation for efficient checking of LTL formulas under strong and weak fairness in ProB, available for mode...
متن کامل