8482 articles  [version française]
.:. Browse > List by year > 2009 .:.
350 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access FVCF-NIP method for multi-material compressible fluid flows: some improvements in the computation of condensates evolution.
Braeunig J.-P.
N° RR-7121 (2009) [inria-00436255 - version 2]
fulltext access Toward higher order event-capturing schemes and adaptive time-step strategies for nonsmooth multibody systems
Acary V.
N° RR-7151 (2009) [inria-00440771 - version 2]
fulltext access Self-Adapting Point Location
De Castro P. M. M., Devillers O.
N° RR-7132 (2009) [inria-00438486 - version 3]
fulltext access Algebraic types and pattern matching in the logical language of the Why verification platform
Paskevich A.
N° RR-7128 (2009) [inria-00439232 - version 2]
fulltext access Compositional Design Methodology with Constraint Markov Chains
Caillaud B., Delahaye B., Larsen K. G., Legay A., Pedersen M. L., Wasowski A.
N° RR-6993 (2009) [inria-00404304 - version 2]
fulltext access LID: Retry Relay Station and Fusion Shell
Boucaron J., Coadou A., De Simone R.
N° RR-7293 (2009) [inria-00484185 - version 1]
fulltext access AA4MM coordination model and event-B specification
Siebert J., Rehm J., Chevrier V., Ciarletta L., Méry D.
N° RR-7081 (2009) [inria-00435569 - version 3]
fulltext access Scheduling in a queuing system with impatience and setup costs
Jean-Marie A., Hyon E.
N° RR-6881 (2009) [inria-00369382 - version 2]
fulltext access Tradeoffs when optimizing Lightpaths Reconfiguration in WDM networks
Cohen N., Coudert D., Mazauric D., Nepomuceno N., Nisse N.
N° RR-7047 (2009) [inria-00421140 - version 4]
fulltext access Stochastic representations of derivatives of solutions of one dimensional parabolic variational inequalities with Neumann boundary conditions
Bossy M., Cissé M., Talay D.
N° RR-6921 (2009) [inria-00381854 - version 4]