29 résultats  enregistrer la recherche


...
inria-00123643v2  Rapport
Anne BouillardEric ThierryAn Algorithmic Toolbox for Network Calculus
[Research Report] RR-6094, INRIA. 2007, pp.44
...
inria-00551504v1  Communication dans un congrès
Marc BoyerNicolas NavetXavier OliveEric ThierryThe PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus
4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraclion, Greece. 2010
hal-00944532v1  Communication dans un congrès
Pablo ArrighiRenan FargettonVincent NesmeEric ThierryApplying Causality Principles to the Axiomatization of Probabilistic Cellular Automata
Springer. Models of Computation in Context - 7th Conference on Computability in Europe, 2011, Sofia, Bulgaria. pp.1-10, 2011, Lecture Note in Computer Science
hal-00944542v1  Pré-publication, Document de travail
Pablo ArrighiRenan FargettonVincent NesmeEric ThierryApplying causality principles to the axiomatization of probabilistic cellular automata
13 pages, 6 figures, LaTeX, v2: refs added. 2011
hal-00788929v1  Communication dans un congrès
Anne BouillardBertrand CottenceauBruno GaujalLaurent HardouinSébastien Lagrange et al.  COINC Library : A toolbox for Network Calculus
Fourth International Conference on Performance Evaluation Methodologies and Tools, Valuetools, 2009, Pisa, Italy, 2009
...
ensl-00139268v1  Pré-publication, Document de travail
Eric ThierryBruno GaujalLaszlo GulyasYuri MansuryMarkov chain analysis of an agent based growth model
Research Report (RR) No 2007-15. 2007
hal-00786381v1  Article dans une revue
Anne BenoitEric ThierryYves RobertOn the complexity of mapping linear chain applications onto heterogeneous platforms
Parallel Processing Letters, World Scientific Publishing, 2009, 19 (3), pp.383-397. <10.1142/S0129626409000298>
...
hal-00990468v1  Article dans une revue
Damien RegnaultNicolas SchabanelEric ThierryOn the analysis of ''simple'' 2D stochastic cellular automata
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2010, 12 (2), pp.263-294
...
hal-01183319v1  Communication dans un congrès
Thi Ha Duong PhanEric ThierryDynamics of the Picking transformation on integer partitions
Michel Morvan and Éric Rémila. Discrete Models for Complex Systems, DMCS'03, 2003, Lyon, France. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), pp.43-56, 2003, DMTCS Proceedings
lirmm-00105342v1  Article dans une revue
Olivier CogisEric ThierryComputing Maximum Stable Set for Distance-Hereditary Graphs
Discrete Optimization, Elsevier, 2005, 2 (2), pp.185-188. <10.1016/j.disopt.2005.03.004>
...
hal-00653714v1  Article dans une revue
Aurélie LagoutteMathilde NoualEric ThierryFlooding games on graphs
Discrete Applied Mathematics, Elsevier, 2014, LAGOS’11, Part 2, 164, pp.532-538. <10.1016/j.dam.2013.09.024>