Architectures reconfigurables et traitement de proble`mes ... - Microsoft

Extrait du fichier (au format texte) :

RECHERCHE

Architectures reconfigurables et traitement de proble`mes NP-difficiles :
un nouveau domaine d application
Youssef Hamadi

 



David Merceron

 ' 

'

LIRMM, UMR 5506 CNRS/Universite´ Montpellier II
161, Rue Ada, 34392 Montpellier Cedex 5
hamadi@lirmm.fr
'''

EURIWARE, 12-14 rue du fort de St-Cyr
78067 St Quentin-en-Yvelines Cedex damercer@euriware.fr

RE´SUME´. L algorithme GSAT est un algorithme de recherche locale. Cette me´thode recherche la premie`re instanciation satisfaisable de formules logiques de forme normale conjonctive. Bien que de nature incomple`te son exploration fine de l espace de recherche associe´e a` l utilisation d heuristiques puissantes lui a permis de re´soudre des proble`mes encore inaccessibles en recherche exhaustive. De plus, le caracte`re ge´ne´rique de ses formules d entre´es lui a ouvert de larges domaines d applications (synthe`se et test de circuits, planification de taÆches, ordonnancement, vision, etc &'&'& ). Dans cette e´tude, nous pre´sentons une imple´mentation de cette me´thode sur architecture reconfigurable de type FPGA [XIL 91]. Nous poursuivons par la` le double but de permettre le traitement rapide de tre`s gros proble`mes SAT et d autoriser un traitement de type temps re´el pour les instances de tailles plus re´duites. Dans ce travail, la flexibilite´ de ce type d architecture est donc utilise´e pour re´soudre efficacement des proble`mes SAT.
ABSTRACT. GSAT is a greedy local search procedure. It searches for satisfiable instanciations of formulas under conjunctive normal form. Intrinsically incomplete, this algorithm has shown its ability to deal with formulas of large size that are not yet accessible to exhaustive methods.
Many problems such as circuits synthesis and test, planning, scheduling, vision can efficiently be solved by using the GSAT algorithm. In this study, we give an implementation of GSAT on
Field Programmable Gate Arrays (FPGA) [XIL 91] in order to speed-up the resolution of SAT
problems. By this implementation, our aim is to reach very large SAT problems and to enable real-time resolution for current size problems. The FPGA technology allows users to adapt a generic logic chip to different tasks. In the framework of SAT problems we show how to quickly adapt our chips to efficiently solve satisfiability problems.
MOTS-CLE´S : Architectures reconfigurables, FPGA, Proble`mes SAT, Me´thodes de recherche locale
KEY WORDS :

Reconfigurable hardware, FPGA, Problems SAT, Local search procedures

Les promotions



1 Introduction - Microsoft
1 Introduction - Microsoft
11/04/2018 - www.microsoft.com
One-Way Accumulators: A Decentralized Alternative to Digital Signatures (Extended Abstract) Josh Benaloh Clarkson University Michael de Mare Giordano Automation Abstract This paper describes a simple candidate one-way hash function which satis es a quasi-commutative property that allows it to be used as an accumulator. This property allows protocols to be developed in which the need for a trusted central authority can be eliminated. Space-e cient distributed protocols are given for document time...

Architectures reconfigurables et traitement de proble`mes ... - Microsoft
Architectures reconfigurables et traitement de proble`mes ... - Microsoft
16/11/2016 - www.microsoft.com
RECHERCHE Architectures reconfigurables et traitement de proble`mes NP-difficiles : un nouveau domaine d application Youssef Hamadi    David Merceron  '  ' LIRMM, UMR 5506 CNRS/Universite´ Montpellier II 161, Rue Ada, 34392 Montpellier Cedex 5 hamadi@lirmm.fr ''' EURIWARE, 12-14 rue du fort de St-Cyr 78067 St Quentin-en-Yvelines Cedex damercer@euriware.fr RE´SUME´. L algorithme GSAT est un algorithme de recherche locale. Cette me´thode recherche la premie`re instanciation...

MSR Quantum applications - Microsoft
MSR Quantum applications - Microsoft
23/08/2018 - www.microsoft.com
( What Can We Do with a Quantum Computer? ( Matthias Troyer  Station Q, ETH Zurich | 1 Classical computers have come a long way Antikythera mechanism ENIAC astronomical positions (1946) (100 BC) Kelvin s harmonic analyzer prediction of tides (1878) Difference Engine (1822) Is there anything that we cannot solve on future supercomputers? Titan, ORNL (2013) Matthias Troyer | | 2 How long will Moore s law continue? Do we see signs of the end of Moore s law? Can we go below 7nm...

MatrixExplorer: Un système pour l'analyse exploratoire de ... - Microsoft
MatrixExplorer: Un système pour l'analyse exploratoire de ... - Microsoft
22/05/2017 - www.microsoft.com
MatrixExplorer: Un système pour l analyse exploratoire de réseaux sociaux Nathalie Henry Jean-Daniel Fekete INRIA Futurs/LRI/University of Sydney Bât 490, Université Paris-Sud 91405 Orsay Cedex Nathalie.Henry@lri.fr INRIA Futurs/LRI Bât 490, Université Paris-Sud 91405 Orsay Cedex Jean-Daniel.Fekete@inria.fr RESUME ABSTRACT Dans cet article, nous présentons le système MatrixExplorer destiné à explorer des réseaux sociaux. Il a été conçu pour des chercheurs en sciences sociales...

Vers une approche simplifiée pour introduire le caractère ... - Microsoft
Vers une approche simplifiée pour introduire le caractère ... - Microsoft
23/11/2017 - www.microsoft.com
See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/262881208 Vers une approche simplifiée pour introduire le caractère incrémental dans les systèmes de dialogue Conference Paper · July 2014 CITATION READS 1 26 3 authors, including: Hatim Khouzaimi Romain Laroche Orange Labs / Laboratoire Informatique d'Avi & Microsoft Maluuba 12 PUBLICATIONS 42 CITATIONS 58 PUBLICATIONS 185 CITATIONS SEE PROFILE All content following this page was uploaded by Hatim Khouzaimi on 28 April 2015. The user has requested enhancement of the downloaded file. SEE PROFILE 21ème...

User-Driven Access Control: Rethinking Permission ... - CiteSeerX
User-Driven Access Control: Rethinking Permission ... - CiteSeerX
23/08/2018 - www.microsoft.com
User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems Franziska Roesner, Tadayoshi Kohno {franzi, yoshi}@cs.washington.edu University of Washington Alexander Moshchuk, Bryan Parno, Helen J. Wang {alexmos, parno, helenw}@microsoft.com Microsoft Research, Redmond Crispin Cowan crispin@microsoft.com Microsoft Abstract tionality and security for access to the user s data and resources. From a functionality standpoint, isolation inhibits the client-side manipulation...

C dric FOURNET LE JOIN-CALCUL : UN CALCUL POUR ... - Microsoft
C dric FOURNET LE JOIN-CALCUL : UN CALCUL POUR ... - Microsoft
11/04/2018 - www.microsoft.com
TH SE pr sent e L' COLE POLYTECHNIQUE pour obtenir le titre de DOCTEUR DE L' COLE POLYTECHNIQUE sp cialit : INFORMATIQUE par C dric FOURNET Sujet de la th se : LE JOIN-CALCUL : UN CALCUL POUR LA PROGRAMMATION R PARTIE ET MOBILE The Join-Calculus: a Calculus for Distributed Mobile Programming Soutenue le 23 Novembre 1998 devant le jury compos de : MM. Robin Milner Roberto Amadio G rard Boudol Jean-Jacques L vy G rard Berry Luca Cardelli Georges Gonthier Pr sident Rapporteurs Directeur de th...

DictaNum : système de dialogue incrémental pour la dictée ... - Microsoft
DictaNum : système de dialogue incrémental pour la dictée ... - Microsoft
23/11/2017 - www.microsoft.com
See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/262881756 DictaNum : système de dialogue incrémental pour la dictée de numéros. Conference Paper · July 2014 CITATIONS READS 0 57 3 authors, including: Hatim Khouzaimi Romain Laroche Orange Labs / Laboratoire Informatique d'Avi & Microsoft Maluuba 12 PUBLICATIONS 42 CITATIONS 58 PUBLICATIONS 185 CITATIONS SEE PROFILE SEE PROFILE All content following this page was uploaded by Hatim Khouzaimi on 06 June 2014. The user has requested enhancement of the downloaded file. 21ème...
 
 

Rugged Combo 3 Touch Classroom Best Practices
Rugged Combo 3 Touch Classroom Best Practices
25/09/2024 - www.logitech.com
RUGGED COMBO 3 TOUCH CLASSROOM BEST PRACTICES Get the most out of your Rugged Combo 3 with these tips: DO " Take similar care of iPad as you would with a laptop " Close the case with the magnetic latch in place when not in use DON'T " Intentionally damage the case " Place objects between the iPad and keyboard when closing the case as it can damage the screen and/or keyboard TROUBLESHOOTING If the Rugged Combo 3 Touch keyboard is not typing when connected to the Smart Connector, try these solutions: ...

201811 Valeo.xlsx
201811 Valeo.xlsx
29/05/2020 - www.valeo.com
AMF2017! Formulaire type de declaration des programmes de rachats Ce formulaire constitue l-annexe 3 de l-instruction AMF n°2005-06 relative aux modalites de declaration des programmes de rachat des actions propres et des operations de stabilisation SIREN : 552030967 Denomination sociale de l-emetteur : LEI : 5493006IH2N2WMIBB742 Valeo SA Nature des titres (nom du titre + caracteristiques : ADP, CCI &) Actions ordinaires Date de debut du programme TABLEAU DE DECLARATION MENSUELLE DES OPERATIONS...

REGLEMENT « CONCOURS OUVRE TES OREILLES - Sony
REGLEMENT « CONCOURS OUVRE TES OREILLES - Sony
17/11/2014 - www.sony.fr
REGLEMENT « CONCOURS OUVRE TES OREILLES » Article 1 : Société organisatrice La société Sony Europe Limited, société constituée et régie par le droit anglais, immatriculée auprès du « Registrar of Companies for England and Wales" sous le numéro 2422874 dont le siège social est The Heights, Brooklands, Weybridge, Surrey, KT13 0XW, Royaume-Uni, prise en sa succursale Sony France, RCS Nanterre 390 711 323, ayant pour adresse principale le 49-51 Quai de Dion Bouton 92800 Puteaux, organise...

TG-820 TG-620 - OLYMPUS LEARN CENTER
TG-820 TG-620 - OLYMPUS LEARN CENTER
07/09/2018 - www.olympus.fr
APPAREIL PHOTO NUMÉRIQUE TG-820 TG-620 Manuel d instructions %Ï Nous vous remercions d avoir acheté un appareil photo numérique Olympus. Avant de commencer à utiliser votre nouvel appareil photo, veuillez lire attentivement ces instructions afin d optimiser ses performances et sa durée de vie. Conservez ce manuel dans un endroit sûr pour pouvoir vous y référer ultérieurement. %Ï Nous vous recommandons de prendre des photos-test pour vous habituer à votre appareil avant de commencer...

Abonnez-vous et profitez de la meilleure sélection du « Box Office ...
Abonnez-vous et profitez de la meilleure sélection du « Box Office ...
16/03/2012 - www.archos.com
Information presse Igny, le 13 novembre 2007 Abonnez-vous et profitez de la meilleure sélection du « Box Office » sur votre ARCHOS ! ARCHOS, leader sur le marché des baladeurs multimédia, lance l'ARCHOS MEDIA CLUB, son offre d'abonnement VOD, qui permet à l'utilisateur d'acquérir un ARCHOS 605 WiFi 4Go*, une DVR Station Gen 5 et de sélectionner 2 films par mois dans la bibliothèque de contenus pour seulement 1 + 19,99 par mois. L'ARCHOS Média Club vient compléter l'offre de vidéo à...

INSTRUKCJA UZYTKOWANIA
INSTRUKCJA UZYTKOWANIA
20/03/2015 - docs.whirlpool.eu
INSTRUKCJA U{YTKOWANIA PORADY DOTYCZCE OCHRONY ZRODOWISKA OSTRZE{ENIA PRZED PRZYSTPIENIEM DO EKSPLOATACJI PIEKARNIKA AKCESORIA PIEKARNIKA CZYSZCZENIE I KONSERWACJA USUWANIE USTEREK SERWIS TECHNICZNY Aby w peBni korzysta z mo|liwo[ci piekarnika, nale|y uwa|nie zapozna si ze wszystkimi instrukcjami i zachowa je na przyszBo[. 4 PORADY DOTYCZCE OCHRONY ZRODOWISKA Symbol umieszczony na produkcie lub na doBczonych do niego dokumentach oznacza, |e niniejszy produkt nie...