1080 results  save search

hal-01101475v1  Conference papers
Olivier AumageJacques M. BahiSylvain Contassot-VivierRaphaël CouturierAlexandre Denis et al.  ALTA: Asynchronous Loss Tolerant Algorithms for Grid Computing
3rd International workshop on Parallel Matrix Algorithms and Applications (PMAA'04), Oct 2004, Marseille, France
hal-01101225v1  Book sections
Stéphane VialleSylvain Contassot-Vivier. Optimization methodology for Parallel Programming of Homogeneous or Hybrid Clusters
F. Magoules. Patterns for parallel programming on GPUs, Saxe-Coburg Publications, 2014, 978-1-874672-57-9
hal-00803480v1  Conference papers
Anne BenoitMourad HakemYves Robert. Realistic models and efficient algorithms for fault tolerant scheduling on heterogeneous platforms
ICPP'2008, the 37th International Conference on Parallel Processing, 2008, Unknown, United States. ⟨10.1109/ICPP.2008.22⟩
hal-02425230v1  Conference papers
Gabriel JouanAnne CuzolValérie MonbetGoulven Monnier. Weather types prediction at medium-range from ensemble forecasts
9th International workshop on Climate Informatics, Oct 2019, Paris, France
halshs-00662489v1  Journal articles
Sylvain BéalÉric RémilaPhilippe Solal. On the number of blocks required to access the core
Discrete Applied Mathematics, Elsevier, 2012, 160 (7-8), pp.925-932. ⟨10.1016/j.dam.2011.12.022⟩
hal-00800548v1  Conference papers
Nabile BoussaidMarco CaponigroThomas Chambrion. Total variation of the control and energy of bilinear quantum systems
Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3714-3719
hal-00751321v1  Conference papers
Ivan EnderlinFrédéric DadeauAlain GiorgettiFabrice Bouquet. Grammar-Based Testing using Realistic Domains in PHP
IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012, Apr 2012, Montreal, Canada. pp.509-518, ⟨10.1109/ICST.2012.136⟩
hal-00852379v1  Conference papers
Florent JacquemardMichaël Rusinowitch. Unranked Tree Rewriting and Effective Closures of Languages
Meeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands
hal-01099135v2  Conference papers
Richard GenestierAlain GiorgettiGuillaume Petiot. Gagnez sur tous les tableaux
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
inria-00100006v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Protocol Analysis in Intrusion Detection Using Decision Tree
International Conference on Information Technology: Coding and Computing - ITCC'04, Apr 2004, Las Vegas, Nevada, USA, pp.404--408
inria-00100008v1  Conference papers
Tarek AbbesAlakesh HaloiMichaël Rusinowitch. High Performance Intrusion Detection using Traffic Classification
International Conference on Advances in Intelligent Systems - Theory and Applications - AISTA 2004, 2004, Luxembourg
inria-00100007v1  Conference papers
Tarek AbbesMichaël Rusinowitch. Fast Multipattern Matching for Intrusion Detection
13th Annual Conference on European Institute for Computer Anti-virus Research - EICAR'2004, May 2004, Luxemburg, Luxembourg, 22 p
inria-00100005v1  Journal articles
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. On the Fly Pattern Matching For Intrusion Detection with Snort
Annals of Telecommunications - annales des télécommunications, Springer, 2004, 59 (9-10), pp.941--967
inria-00100013v1  Conference papers
Yannick ChevalierRalf KüstersMichaël RusinowitchMathieu Turuani. Deciding the Security of Protocols with Commuting Public Key Encryption.
Workshop on Automated Reasoning for Security Protocol Analysis - ARSPA'2004, Jul 2004, Cork, Ireland. 11 p
hal-01003056v1  Conference papers
Nabile BoussaidMarco CaponigroThomas Chambrion. Efficient finite dimensional approximations for the bilinear Schrodinger equation with bounded variation controls
21st International Symposium on Mathematical Theory of Networks and Systems (MTNS2014), Jul 2014, Groningen, Netherlands. pp.1889-1891
inria-00100031v1  Directions of work or proceedings
Deepak KapurLaurent Vigneron. Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning
Deepak Kapur and Laurent Vigneron. 33 / n°3-4, Kluwer, pp.219-383, 2004
inria-00100032v1  Conference papers
Laurent Vigneron. Automatic Verification of Security Protocols
18th International Workshop on Unification - UNIF'2004, Jul 2004, Cork, Ireland, 2 p
inria-00100253v1  Conference papers
Jacek SzymanskiMario ThronJean-Pierre ThomesseXavier RebeufChristophe Lang. Web Service Driven Integration Platform for Industrial Maintenance Oriented Applications
IEEE International Conference on Industrial Informatics - INDIN04, 2004, Berlin/Allemagne, pp.114-119
inria-00100276v1  Conference papers
Hervé GuyennetChristophe LangXavier RebeufMario Thron. Middleware for Global e-Maintenance
IEEE Mechatronics and Robotics - MechRob'2004, 2004, Aachen, Germany, 6 p
inria-00105523v1  Journal articles
Najah ChridiLaurent Vigneron. Sécurité des communications de groupe
La Revue de l'Electricité et de l'Electronique, Société de l'Électricité, de l'Électronique et des Technologies de l'Information et de la Communication, 2006, Risques et sécurité des réseaux et des systèmes à composante logicielle, pp.51-60