An efficient implementation of CSP

نویسنده

  • S. H. Lam
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017