Semantic search
- LRDE Seminar on Performance and Genericity — 28 May 2008
- Le language BSML -- Frédéric Gava Programmation parallèle certifiée -- Frédéric Loulergue.
- LRDE Seminar on Performance and Genericity — 24 September 2008
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- LRDE Seminar on Performance and Genericity — 5 November 2008
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- LRDE Seminar on Performance and Genericity — 26 November 2008
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- LRDE Seminar on Performance and Genericity — 11 February 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- LRDE Seminar on Performance and Genericity — 25 February 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- LRDE Seminar on Performance and Genericity — 25 March 2009
Attendance to LRDE Seminars is free and open to anyone. This session is dedicated to the following topic:
- LRDE Seminar on Performance and Genericity — 22 April 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- LRDE Seminar on Performance and Genericity — 30 September 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 21 October 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 2 December 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 3 March 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 31 March 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 28 April 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 13 October 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 10 November 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 8 December 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 9 February 2011
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 16 March 2011
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 18 May 2011
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity — 15 June 2011
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity — 6 July 2011
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity — 26 October 2011
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity — 16 November 2011
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity — 15 February 2012
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity — 14 March 2012
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity — 21 March 2012
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity — 9 May 2012
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity — 20 June 2012
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity — 4 July 2012
This seminar is dedicated to the work of LRDE's PhD students.
- LRDE Seminar on Performance and Genericity — 17 October 2012
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity - Amélioration du design et des performances des machines virtuelles langages by Gaël Thomas — 23 January 2013
Attendance to LRDE Seminars is free and open to anyone.
- LRDE Seminar on Performance and Genericity - Designing robust distributed systems with weakly interacting feedback structures by Peter Van Roy — 24 April 2013
- LRDE Seminar on Performance and Genericity - Etendre le compilateur GCC avec MELT by Basile Starynkevitch — 22 May 2013
- LRDE Seminar on Performance and Genericity - Langages de développement et sécurité -- Mind your language by Eric Jaeger et Olivier Levillain — 29 May 2013
- LRDE Seminar on Performance and Genericity - SMIL : Simple Morphological Image Library by Matthieu Faessel et Michel Bilodeau — 27 March 2013
- LRDE Seminar on Performance and Genericity - Une représentation d'images 2D discrète, continue et auto-duale by Thierry Géraud — 20 February 2013
Attendance to LRDE Seminars is free and open to anyone.
- Publication LRDE Speaker Recognition System for NIST-SRE 2010 in NIST 2010 Speaker Recognition Evaluation — 1 January 2010
- Publication LRDE System description in NIST SRE'06 Workshop: speaker recognition evaluation campaign — 1 June 2006
- Publication LTL Model Checking for Communicating Concurrent Programs in Innovations in Systems and Software Engineering: a NASA journal (ISSE) — 15 May 2020
- Publication LTL Model Checking with Neco in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) — 15 June 2013
- Publication LTL Translation Improvements in Spot in Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11) — 25 July 2011
- Publication LTL Translation Improvements in Spot 1.0 in International Journal on Critical Computer-Based Systems — 6 March 2014
- Publication LTL under reductions with weaker conditions than stutter invariance in Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22) — 18 April 2022
- Publication La pseudo-distance du dahu in Actes d'ORASIS — 21 March 2017
- Publication Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning in Proc. Interspeech 2022 — 28 August 2022
- Publication Language Recognition via I-Vectors and Dimensionality Reduction in INTERSPEECH 2011 — 1 August 2011
- Publication Learning Diversity Attributes in Multi-Session Recommendations in 2022 IEEE International Conference on Big Data (Big Data) — 12 December 2022
- Publication Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation in Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) — 24 January 2020
- Publication Learning Grayscale Mathematical Morphology with Smooth Morphological Layers in Journal of Mathematical Imaging and Vision — 4 April 2022