Special

Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

A list of all pages that have property "News title" with value "[http://spot.lrde.epita.fr/ Spot 2.4] was released". Since there have been only a few results, also nearby values are displayed.

Showing below up to 26 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

  • NewsEntry (2018/12/14)  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Toward myocardium perfusion from X-ray CT by Clara Jaquet (ESIEE Marne-la-Vallée))
  • Seminar/2017-11-29  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Industrial Formal Verification – Cadence’s JasperGold Formal Verification Platform)
  • Seminar/2013-05-29  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Langages de développement et sécurité - Mind your language)
  • Seminar/2016-01-27  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Une introduction à la preuve formelle de sécurité)
  • NewsEntry (2014/12/10)  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Une nouvelle approche pour la gestion de la mémoire avec CUDA by Raphaël Boissel, EPITA, CSI)
  • NewsEntry (2014/11/19)  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Generic Tools, Specific Languages by Markus Voelter, independent/itemis)
  • Seminar/2017-02-08  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Vcsn : une visite guidée)
  • Seminar/2013-05-22  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Étendre le compilateur GCC avec MELT)
  • Seminar/2020-02-12  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Informatique Quantique)
  • Seminar/2008-11-26  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Mesure de Performance et Généricité à EDF R&D)
  • Seminar/2012-10-17  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Systèmes d'exploitation en dur: une clef du passage de 10 à 1000 cœurs)
  • Seminar/2014-12-17  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - D’un MOOC à l'autre)
  • NewsEntry (2017/06/14)  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - MAQAO: une suite d'outils pour l'analyse et l’optimisation des performances by Andrés S. Charif Rubial, ESN PeXL et Li-PARAD - Université de Versailles.)
  • Seminar/2008-05-28  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Le langage BSML)
  • Seminar/2020-03-18  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Diagnosis and Opacity in Partially Observable Systems)
  • Seminar/2020-12-16  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Diagnosis and Opacity in Partially Observable Systems)
  • Seminar/2008-03-26  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Aspect-oriented Programming)
  • Seminar/2013-10-09  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - GNU epsilon, un langage de programmation extensible)
  • NewsEntry (2015/10/14)  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Intégrales de Morton pour la Simplification Géométrique Haute Vitesse by Tamy Boubekeur, Telecom ParisTech - CNRS - University Paris-Saclay)
  • Seminar/2018-12-14  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Toward myocardium perfusion from X-ray CT)
  • Seminar/2014-12-10  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Une nouvelle approche pour la gestion de la mémoire avec CUDA)
  • Seminar/2022-06-22  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems)
  • NewsEntry (2014/12/17)  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - D’un MOOC à l'autre by Christian Queinnec, UPMC, LIP6)
  • Seminar/2009-04-22  + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Visite guidée de SmartEiffel: le génie logiciel en pratique.)
  • NewsEntry (2017/01/19)  + ([http://spot.lrde.epita.fr/ Spot 2.3] was released)
Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20title/-5Bhttp:-2F-2Fspot.lrde.epita.fr-2F-20Spot-202.4-5D-20was-20released"