Stochastic Bounds for Microprocessor Systems Availability - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles The international Arab journal of information technology Year : 2011

Stochastic Bounds for Microprocessor Systems Availability

Abstract

This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency is not still well handled in the current software environments. This is due to the algorithmic and language limitations of the tools developed to handle the consistency constraints. The idea of this paper is to tackle this problem by exploiting constraint programming which is proved to be efficient and provides various techniques to handle many types of constraints on different domains.
No file

Dates and versions

hal-00788766 , version 1 (15-02-2013)

Identifiers

  • HAL Id : hal-00788766 , version 1

Cite

Ihab Sbeity, Brigitte Plateau, Mohamed Dbouk. Stochastic Bounds for Microprocessor Systems Availability. The international Arab journal of information technology, 2011, 8. ⟨hal-00788766⟩
95 View
0 Download

Share

Gmail Facebook X LinkedIn More