Channel synthesis revisited
Béatrice Bérard
,
Olivier Carton
[Research Report] lip6.2013.001, LIP6. 2013
Reports
hal-02545987v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Méthode de Plans Sécants Régularisée pour l'Optimisation Non convexe : Annexe à l'article dans JMLR
Trinh Minh Tri Do
,
Thierry Artières
[Rapport de recherche] lip6.2012.001, LIP6. 2012
Reports
hal-02545985v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A learning packet-based autonomic network architecture
Zeinab Movahedi
,
Rami Langar
,
Guy Pujolle
[Research Report] lip6.2011.002, LIP6. 2011
Reports
hal-02545982v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Quantifying Opacity
Béatrice Bérard
,
John Mullins
,
Mathieu Sassolas
[Research Report] lip6.2011.001, LIP6. 2011
Reports
hal-02545978v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The worst case analysis of the Garey-Johnson algorithm
Claire Hanen
,
Yakov Zinder
[Research Report] lip6.2008.002, LIP6. 2008
Reports
hal-02545977v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fusion de données spatiales (3D) et temporelles (2D+t) pour la reconstruction de scènes 3D+t : deux approches
Wafa Rekik
,
Dominique Béréziat
,
Séverine Dubuisson
[Rapport de recherche] lip6.2008.001, LIP6. 2008
Reports
hal-02545972v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Survey of Survivability in Mobile Ad Hoc Networks
Michèle Nogueira Lima
,
Aldri Luiz dos Santos
,
Guy Pujolle
[Research Report] lip6.2007.001, LIP6. 2007
Reports
hal-02545698v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Emptiness Check of Powerset Büchi Automata using Inclusion Tests
Souheib Baarir
,
Alexandre Duret-Lutz
[Technical Report] lip6.2006.003, LIP6. 2006
Reports
hal-02545696v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Dynamical strategies using Discrete Stochastic Arithmetic for approximation methods
Fabienne Jezequel
[Research Report] lip6.2006.001, LIP6. 2006
Reports
hal-02545690v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Une nouvelle extension de ML avec des traits orientés objets de FOCAL
Stéphane Fechter
[Rapport de recherche] lip6.2005.011, LIP6. 2005
Reports
hal-02545687v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Méthode de réplication basée sur les plans pour la tolérance aux pannes des systèmes multi-agents
Alessandro Luna Almeida
,
Samir Aknine
,
Jean-Pierre Briot
,
Jacques Malenfant
[Rapport de recherche] lip6.2005.010, LIP6. 2005
Reports
hal-02545686v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multi-Item capacitated lot-Sizing problem with setup times and shortage costs : Polyhedral results.
Nabil Absi
,
Safia Kedad-Sidhoum
[Research Report] lip6.2005.009, LIP6. 2005
Reports
hal-02545684v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Data Decision Diagrams for ProMeLa Systems Analysis
Vincent Beaudenon
,
Emmanuelle Encrenaz
,
Sami Taktak
[Research Report] lip6.2005.008, LIP6. 2005
Reports
hal-02545683v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Brevia and Demonstrations Presentations
Anind Dey
,
Boicho Kokinov
,
David Leake
,
Roy Turner
,
Patrick Brézillon
Anind DEY; Boicho KOKINOV; David LEAKE; Roy TURNER; Patrick BRÉZILLON. 5th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-05) , Jul 2005, Paris, France. lip6.2005.007, LIP6, 2005
Proceedings
hal-02549803v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Proceedings of the Doctoral Consortium (CONTEXT-05)
Chiara Ghidini
,
Bich-Liên Doan
,
Patrick Brézillon
Chiara GHIDINI; Bich-Liên DOAN; Patrick BRÉZILLON. 1er Consortium d'Étudiants associé avec la 5ème Conférence Internationale et Interdisciplinaire sur la Modélisation et l'Utilisation du Contexte (CONTEXT-05) , Jul 2005, Paris, France. lip6.2005.006, LIP6, 2005
Proceedings
hal-02549779v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Minimizing Places Storage Capacities of a Weighted Event Graph.
Olivier Marchetti
,
Alix Munier-Kordon
[Research Report] lip6.2005.005, LIP6. 2005
Reports
hal-02545681v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
CTL-property transformations along an incremental design process
Cécile Braunstein
,
Emmanuelle Encrenaz
[Research Report] lip6.2005.003, LIP6. 2005
Reports
hal-02545676v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Sufficient Condition for the Liveness of Weighted Event Graphs
Olivier Marchetti
,
Alix Munier-Kordon
[Research Report] lip6.2005.004, LIP6. 2005
Reports
hal-02545677v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A new tools for computing Galois Groups and Galois Ideals
Sebastien Orange
,
Guénaël Renault
,
Annick Valibouze
[Research Report] lip6.2006.002, LIP6. 2005
Reports
hal-02545692v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Corps de décomposition de groupe de Galois PSL(2,7)
Annick Valibouze
[Rapport de recherche] lip6.2005.001, LIP6. 2005
Reports
hal-02545672v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A dynamic programming algorithm for minimizing the total duplication cost in scheduling an outtree with communication delays
Claire Hanen
,
Dalila Tayachi
[Research Report] lip6.2004.008, LIP6. 2004
Reports
hal-02545670v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Ordonnancements périodiques pour contraintes de précédence linéaires
Claire Hanen
,
Alix Munier-Kordon
[Rapport de recherche] lip6.2004.007, LIP6. 2004
Reports
hal-02545669v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
BBFoc
Stéphane Fechter
,
Olivier Boite
[Rapport de recherche] lip6.2004.002, LIP6. 2004
Reports
hal-02545666v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards a formal definition of the Foc language
Stéphane Fechter
,
Catherine Dubois
[Research Report] lip6.2004.001, LIP6. 2004
Reports
hal-02545623v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Introduction of Mobility for Distributed Numerical Simulation Frameworks : a Formal Study
Grégory Haïk
[Research Report] lip6.2003.008, LIP6. 2004
Reports
hal-02545665v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A full formalisation of the Bell and La Padula security model
Emmanuel Gureghian
,
Thérèse Hardin
,
Mathieu Jaume
[Research Report] lip6.2003.006, LIP6. 2003
Reports
hal-02545660v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Dynamical control of converging sequences using Discrete Stochastic Arithmetic
Fabienne Jézéquel
[Research Report] lip6.2003.012, LIP6. 2003
Reports
hal-02545506v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, September 10-12 2003, Roma, Italy
Thérèse Hardin
,
Renaud Rioboo
Thérèse Hardin; Renaud Rioboo. CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning , Sep 2003, Rome, Italy. lip6.2003.010, LIP6; Aracne Editrici, 2003
Proceedings
hal-02549766v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Calcul efficace de corps de décomposition
Sébastien Orange
,
Guénaël Renault
,
Annick Valibouze
[Rapport de recherche] lip6.2003.005, LIP6. 2003
Reports
hal-02545653v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Corps de décomposition d'un polynôme réductible
Sébastien Orange
,
Guénaël Renault
,
Annick Valibouze
[Rapport de recherche] lip6.2003.004, LIP6. 2003
Reports
hal-02545651v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More