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.
List of results
- NewsEntry (2017/03/08) + ([http://seminaire.lrde.epita.fr/ LRDE Seminar on Performance and Genericity] - Calcul parallèle pour problèmes inverses by Nicolas Gac, Université Paris Sud, L2S (Centrale Supélec, CNRS).)
- 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)
- NewsEntry (2017/09/06)2 + ([http://spot.lrde.epita.fr/ Spot 2.4] was released)
- NewsEntry (2018/01/20) + ([http://spot.lrde.epita.fr/ Spot 2.5] was released)
- Spot 0.5 is released (2010-02-01) + ([http://spot.lrde.epita.fr/ Spot] 0.5 is released)
- Spot 0.6 is released (2010-04-16) + ([http://spot.lrde.epita.fr/ Spot] 0.6 is released)
- Spot 0.7 and 0.7.1 released (2011-02-07) + ([http://spot.lrde.epita.fr/ Spot] 0.7 and 0.7.1 released)
- Spot 0.9 released (2012-05-09) + ([http://spot.lrde.epita.fr/ Spot] 0.9 released)
- Spot 1.0 is released (2012-10-27) + ([http://spot.lrde.epita.fr/ Spot] 1.0 is released)
- Spot 1.1 released (2013-04-28) + ([http://spot.lrde.epita.fr/ Spot] 1.1 released)
- Vaucanson 1.4.1 is released (2012-07-14) + ([http://vaucanson.lrde.epita.fr/ Vaucanson 1.4.1] is released)
- Vaucanson 1.4 is released (2011-09-28) + ([http://vaucanson.lrde.epita.fr/Vaucanson14 Vaucanson 1.4 is released])
- CurVe 1.7 is released (2004-05-19) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe] 1.7 is released)
- FiXme 3.1 is released (2005-01-31) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#fixme FiXme] 3.1 is released)
- QCM 2.1 is released (2004-11-27) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#qcm QCM] 2.1 is released)
- FiXme 3.0 is released (2004-12-22) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#fixme FiXme] 3.0 is released)
- CurVe 1.10 is released (2005-09-14) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe] 1.10 is released)
- CurVe 1.9 is released (2005-07-21) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe] 1.9 is released)
- FiXme 3.2 is released (2006-04-12) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#fixme FiXme] 3.2 is released)
- Patcher 3.8 is released (2005-07-26) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#patcher Patcher] 3.8 is released)
- CurVe 1.11 is released (2006-06-07) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe] 1.11 is released)
- QCM 1.0 is released (2004-10-15) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#qcm QCM] 1.0 is released)
- CurVe 1.6 is released (2004-03-10) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe] 1.6 is released)
- CurVe 1.13 is released (2007-08-21) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#curve CurVe] 1.13 is released)
- FiNK 2.0 is released (2007-06-12) + ([http://www.lrde.epita.fr/~didier/comp/development/software.php#fink FiNK] 2.0 is released)
- FiXme 3.4 is released (2009-07-16) + ([http://www.lrde.epita.fr/~didier/software/latex.php#fixme FiXme] 3.4 is released)
- CurVe 1.14 is released (2007-11-27) + ([http://www.lrde.epita.fr/~didier/software/latex.php#curve CurVe] 1.14 is released)