The safety-critical real-time embedded domain increasingly demands the use of parallel architectures to fulfill performance requirements. Such architectures require the use of parallel programming models to exploit the underlying parallelism. This paper evaluates the applicability of using OpenMP, a widespread parallel programming model, with Ada, a language widely used in the safety-critical d...

Categorization orclassification is one of the important tasks in negotiation between buyer and seller(BS), in B2C Ecommerce. It is preassumed that negotiation between same category of buyer and seller isan appropriate approach. We have deployed a some computing models asBayesian, Naive Bayes, Logistics, SMA and Ada boost method for classification of BS.We have taken some cognitive and business ...

The effect of physiological concentrations of caffeine (purified from Persian tea) on adenosine deaminase (ADA) activity at physiological and pathological concentrations of adenosine (as substrate) in 50 mM Tris-HCl buffer (pH 7.3) at 37°C was investigated, using UV-VIS spectroscopy. ADA exhibited a bi-phasic activity behavior and both phases showed positive cooperativities indicating adenosine...

This paper presents a new method for object detection and classification in 3D laser range data that is acquired by an autonomous mobile robot. Off-screen rendered depth and reflectance images serve as an input for an Ada Boost learning procedure that constructs a cascade of classifiers. The performance of the classification is improved by combining both sensor modalities, which are independent...

We present a system for the CoNLL shared task the clause splitting problem Our ap proach consists in decomposing the clause split ting problem into a combination of binary sim ple decisions which we solve with the Ada Boost learning algorithm The whole problem is decomposed in two levels with two chained decisions per level The rst level corresponds to parts and presented in the introductory do...

1. ABSTRACT Both Ada and Java support concurrent programming, but through quite different approaches. Ada has built-in tasking features with concurrency semantics, independent of the language’s OOP model, whereas Java’s thread support relies on OOP and is based on special execution properties of methods in several predefined classes. Ada achieves mutual exclusion through protected objects with ...

The widespread use of multi-CPU computers is challenging programming languages, which need to adapt to be able to express potential parallelism at the language level. In this paper we propose a new model for fine grained parallelism in Ada, putting forward a syntax based on aspects, and the corresponding semantics to integrate this model with the existing Ada tasking capabilities. We also propo...

This paper describes a formal modelling approach, where Ada code is automatically generated from the modelling artefacts. We introduce an implementation-level specification, Tasking Event-B, which is an extension to Event-B. Event-B is a formal method, that can be used to model safety-, and business-critical systems. The work may be of interest to a section of the Ada community who are interest...