Parallélisation de la recherche arborescente des CSP avec distribution profondeur variable

Introduction Les probl#mes de satisfaction de contraintes (CSP) #tant NP-complets, ils deviennent souvent rapidement intraitables lorsque leur taille grandit. La parall#lisation de la recherche d'une solution est un moyen de diviser le temps de r#solution par un facteur important et ainsi de permettre l'obtention d'une solution dans un d#lai beaucoup plus raisonnable qu'auparavant. Nous nous int#ressons ici # la parall#lisation de la recherche en profondeur d'abord, eoeectu#e par l'algorithme Backtrack lorsqu'on d#sire obtenir une seule solution. Lorsqu'il s'agit de trouver toutes les solutions d'un probl#me, ce qui implique de d#velopper l'arbre de recherche en entier, on arrive # obtenir des performances tout # fait satisfaisantes : l'acc#l#ration est proche de la lin#arit#, c'est-#-dire que le temps de r#solution est pratiquement divis# par le nombre de processus engag#s, tant en th#orie [KGR94, Prc96] qu'en pratique [FM87, FK88, RKR87]. Par contre, quand on ne souhaite tr

Rapport de stage de DEA Informatique Sujet : Etablissement d'un système transactionnel relationnel/objet pour longues transactions.

The concurrency control problem has been for a long time a source of research in the database community. If traditional databases use models that have been validated, they don't fully answer to specific situations as the problem of long transactions met in software development environments (SDEs) and CAD/CAM systems. This paper presents a solution that can solve this problem of long transactions and offers the possibility of using independently a relational or an object representation of data. Such a system provides a cooperative support for advanced database applications and can allow a network query to be more efficient. 1. Introduction Traditional solutions that prevent databases from corruption or incompatible access due to the share of information between users are not suited with advanced database applications as software development environments or CAD/CAM systems that make transactions can last several hours or days, as the result of human interaction. Thus, a new solution for ..