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



Microsoft K State Whitepaper 2021 08 17
Microsoft K State Whitepaper 2021 08 17
23/09/2024 - www.microsoft.com
Cloud enclave for academic research Streamlining security and compliance at your institution August 2021 Contents Introduction........................................................................................................ 3 1. Assess where you are today........................................................................ 4 Work directly with researchers to identify challenges............................................................................... 4 Identify existing compliance...

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

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

Microsoft Modern Work Plan Comparison Education 11 2021
Microsoft Modern Work Plan Comparison Education 11 2021
14/09/2024 - www.microsoft.com
Add-on licenses Endpoint and app management Microsoft Product Terms Desktop client apps1 %? %? %? %? %? Office Mobile apps2 %? %? %? %? %? %? Install apps on up to 5 PCs/Mac + 5 tablets + 5 smartphones %?3 %? %? %?3 %? %? Office for the web %? %?

D6. 4: Final evaluation of CLASSiC TownInfo and ... - Microsoft
D6. 4: Final evaluation of CLASSiC TownInfo and ... - Microsoft
23/11/2017 - www.microsoft.com
See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/228835240 D6. 4: Final evaluation of CLASSiC TownInfo and Appointment Scheduling systems Article · May 2011 CITATIONS READS 15 56 11 authors, including: Helen Hastie Filip Jurcicek Heriot-Watt University Charles University in Prague 105 PUBLICATIONS 858 CITATIONS 55 PUBLICATIONS 439 CITATIONS SEE PROFILE SEE PROFILE Oliver Joseph Lemon Steve Young Heriot-Watt University University of Cambridge 323 PUBLICATIONS 3,678 CITATIONS 310 PUBLICATIONS 14,308 CITATIONS SEE PROFILE SEE PROFILE Some of the authors of this publication are also working on these related projects: MaDrIgAL: Multi-Dimensional Interaction management and Adaptive Learning View project ...

Entanglement and Rigidity in Percolation Models ... - Alexander Holroyd
Entanglement and Rigidity in Percolation Models ... - Alexander Holroyd
22/05/2017 - www.microsoft.com
 ''&'''''' '&'!' &'' &''&''''''' ' ' ''''''''''''"' ''#' '$'%&''&&'''*')'+'!',''-''''.')'+' '/ ')'0''1&''!''2 ''3 '4'6'5'8'7''9';':'=''§'H''£'Œ'X'© '’''“'”'','¾'K''‘''£'Œ'‹'“'”!’'8'’''Š''Œ''Š''›'ž'’'''£'Œ'ž'Š'­'Š',!’'8'’'''£!’'H'¥&`''œ'Š',!”''Š',!’'8'’'''£!’'H'™&'Œ'ž'“'”'¥&`'“'œ'™'H'“'œ'’'¸'¨'£'²'‹'¬''Ž'@'Ž&`'›'ž'Š',''œ'¨$i'›'ž'§'V'Š',''£'®%Ï'“'”!’'H'¥'H'»&`'’'' 'H'Š'­!”''Š'z''£!’'K'“'”!’'H'¥ 'Ž'£'$c'’'' 'H'Š','›'ž'Š$e'’''Š''Œ'!”''›'­'“'”'›'´''£'›'´''¢'Ž&`''œ''”'Ž'h'¤'‡'›','²'>'±''¥&`'Œ''t'§'H' '0'“'”!’'¯'’'' 'H'Œ''Š''Š'#'©'P'™'H'“'”!”''Š',!’'H'›'ž'“'”'Ž&`!’'H''£''¹'›''§'|''£'''Š'¼'“'”'›'Q'Š',!’'8'’'.''£!’'K'¥&`''”'Š''™ '“'«''´'“'«'’'w''z''£!’'H!’'K'Ž'£'’$i'Ÿ'V'Š'0'R'n'§'H'¾'H''”''œ'Š','™'p''£'§'|'t'Œ'ž'’'zÏ&'¤'‡' 'K'Š',!’Ð'’'' 'H'Š''Š','™'H'¥&`'Š''›''t'Œ''Š'+'Œ''Š''¥'8''£'Œ''™'K'Š','™Ñ't'›$i'§'K' %Ï'¨'@'›'ž'“'”''z't''µ'''Ž&`!’%²'© !’'H'Š''''’''“'”'Ž&`!’'H'›$i!”&''£'™'H'Š''Ž'£''*'Š',''”''£'›'ž'’''“'”'t'²'0'±Ò'¥&`'Œ'''£'§'H' Ð'“'”'›$i'Œ''“'”'¥'£'“'”'™'p'“'œ''­'“'«'’$i''z''£!’'H!’'K'Ž'£'’'º'Ÿ'"'Š'1'R'n'™'H'Š'#''¢'Ž&`'Œ'!”''Š','™&Ï$c'¤'‡' 'H'Š'!’ '’'' 'H'Š'º'Š','™'K'¥&`'Š','›'w''£'Œ'ž'Š'º'Œ''Š''¥'8''£'Œ'ž'™'H'Š','™Ó''£'›'-'›''Ž&`''œ'“'”'™''Œ'ž'Ž%²'™'K'›'-'¤'‡' 'H'“'”''.' '…'',''£!’'…'§'H'“'«'¶&`'Ž'£'’'w''F'’'-'’'' 'K'Š''¶&`'Š''Œ'ž'’''“'œ'','Š''›','²$i'·'*' 'H'Š','›'ž'Š '“'œ!’%Ï'’''¾'H'“'œ'’''“'œ'¶'£'Š$e!’'H'Ž'£'’''“'”'Ž&`!’'H'›'­'¤'‡'“'œ''”'&'Ÿ'"'Š$e''¢'Ž&`'Œ'ž!”'¯''£''œ'“'”'›'ž'Š','™'0''‘''F'’''Š','Œ''² Ô'=!’'8'’'.''£!’'H'¥'£''”'Š',!”''Š',!’'8'’'''£!’'H'™'p'Œ''“'œ'¥&`'“'”'™'H'“'«'’'¸'¨&c'“'œ!’'p'§'"'Š','Œ'ž'','Ž&`''”'t'’''“'œ'Ž&`!’'p''£'Œ''Š''Ž'£''´'“'”!’'8'’''Š''Œ''Š','›'X'’'''¢'Ž'£'Œ$i'›'ž'Š''¶'£'Š','Œ''t''Q'Œ'ž'Š'z''F'© '›'ž'Ž&`!’'H'›','²ÖÕ×'“'”'Œ''›'X'’'''«'¨&`'»'*'’'' 'H'Š'#'¨Ø' '|''z'¶&`'Š'p'“'”!”''§'"'Ž&`'Œ'ž'’'''£!’'8'’'...

L'économie de la sécurité - Microsoft
L'économie de la sécurité - Microsoft
16/11/2016 - www.microsoft.com
nl y se Lect L économie de la sécurité Ces dernières années, la sécurité est devenue une priorité pour les pouvoirs publics et les entreprises. Crime organisé, terrorisme, interruption des chaînes d approvisionnement mondiales, virus informatiques  autant de menaces avec lesquelles il faut compter dans le monde d aujourd hui. D où l émergence d un marché des équipements et des services de sécurité de 100 milliards de dollars. Ce marché est alimenté par la demande croissante émanant...

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

Conditions générales – Offre de remboursement nationale - Boulanger
Conditions générales – Offre de remboursement nationale - Boulanger
05/04/2017 - www.epson.fr
Conditions générales  Offre de remboursement nationale - Projecteurs Sous réserve du respect des présentes conditions générales, les clients des produits Epson désignés ci-après pourront prétendre à une offre de remboursement différée sur l achat de ces produits auprès des revendeurs détaillants agréés Epson dont la liste est précisée ci-dessous. La promotion Achetez un projecteur Epson EB-U04 entre le 15 août offre de remboursement différé de 70 ¬. Achetez un projecteur...

620-002004.003 EMEA-Alert-Indoor-Master_Front
620-002004.003 EMEA-Alert-Indoor-Master_Front
16/02/2012 - www.logitech.com
Getting started with Logitech Alert!" 750i 1 3 2 English 4 1 Logitech Alert Camera 2 Software Install CD 3 Camera power supply 4 Network adapter 5 Power supply cable (yellow tips) 6 Network bridge cable (blue tips) 7 microSD!" card adapter 8 Suction cup 9 Power supply cable extender 10 Desktop stand 11 System Requirements Guide 12 Getting to Know Guide 13 Mounting accessories 8 7 6 5 0i Logitech Alert 700i/75ents !" Quick-start guide System Requirem & Support Guide Quick-start guide 13 GETTING...

VX2435wm-1 User Guide, French - ecitydoc
VX2435wm-1 User Guide, French - ecitydoc
13/02/2020 - www.viewsoniceurope.com
® ViewSonic VX2435wm LCD Display Model No. : VS11449 Table des Matieres Informations de conformite ......................................................................... 1 Importantes instructions de securite........................................................... 2 Declaration de conformite RoHS (LSDEEE) .............................................. 3 Informations de copyright ........................................................................... 4 Enregistrement du produit .............................................................................

Fr 190820 Mediablast Ifa Vf 0
Fr 190820 Mediablast Ifa Vf 0
21/06/2024 - www.terraillon.com
Communiqué de presse - Le 20 août 2019 Terraillon étend son écosystème dédié au sommeil Rendez-vous du 6 au 11 septembre à Berlin, Hall 9 stand 113 Terraillon, le spécialiste français de la métrologie et un des leaders européens sur le marché du bien-être connecté annonce sa présence à l'IFA. La marque prend ses quartiers dans la zone Home Appliances, où elle exposera l'ensemble de ses gammes allant du pesage à la nutrition en passant par la santé et le sommeil. Une attention...

Fiche produit Sony : 88/1172517887588.pdf
Fiche produit Sony : 88/1172517887588.pdf
16/02/2012 - www.sony.fr
Sony case study · Secteur d'activité : Diffusion · Pays : Belgique 01/ 03 Sony aide la RTBF à augmenter son efficacité et à offrir aux spectateurs une qualité d'image irréprochable Présentation La RTBF : une entreprise publique autonome à caractère culturel Dès 1977, la RTBF, chaîne de télévision et de radio publique francophone, acquiert une autonomie culturelle, une liberté d'information et une certaine indépendance face aux pouvoirs publics. Au fil des ans, l'entreprise se...

CD Boombox CD Boombox CD Boombox
CD Boombox CD Boombox CD Boombox
06/09/2016 - memorexsupport.com
Please recycle CD Boombox Portable I ll Carry Your Tunes Portable I ll Carry Your Tunes Guía del usario Por favor lea toda las instruciones antes de tratar de usar este producto. CD Boombox Portable I ll Carry Your Tunes Guide d utilisateur Avant d utiliser cet appareil,veuillez lire attentivement toutes les directives contenues dans le présent guide. CAUTION CUIDADO ATTENTION RISK OF ELECTRIC SHOCK DO NOT OPEN RIESGO DE DESCARGA ELÉCTRICA. NO ABRIR RISQUE DE CHOC ELECTRIQUE NE...