.:. Browse > List by year > 2012 .:.

340 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Parallel computation of entries of A-1 Amestoy P. R., Duff I. S., L'Excellent J.-Y., Rouet F.-H. N° RR-8142 (2012) [hal-00759556 - version 2]

PALSE: Python Analysis of Large Scale (Computer) Experiments Cazals F., Dreyfus T., Malod-Dognin N., Lhéritier A. N° RR-8165 (2012) [hal-00759589 - version 1]

A Generic Approach to Symbolic Execution Arusoaie A., Lucanu D., Rusu V. N° RR-8189 (2012) [hal-00766220 - version 2]

Kinetic quasi-velocities in unilaterally constrained Lagrangian mechanics with impacts and friction Brogliato B. (2012) [hal-00762986 - version 1]

Non-Linear Divisible Loads: There is No Free Lunch Beaumont O., Larchevêque H., Marchal L. N° RR-8170 (2012) [hal-00762008 - version 1]

Behavioural Semantics for Asynchronous Components Ameur-Boulifa R., Henrio L., Madelaine E., Savu A. N° RR-8167 (2012) [hal-00761073 - version 1]

Uniform Strategies Maubert B., Pinchinat S. N° RR-8144 (2012) [hal-00760370 - version 1]

Bayesian nonparametric models for ranked data Caron F., Teh Y. W. Dans NIPS - Neural Information Processing Systems (2012) [hal-00730792 - version 1]

Modeling Sleep Mode Gains in Energy-Aware Networks Chiaraviglio L., Ciullo D., Mellia M., Meo M. N° RR-8187 (2012) [hal-00759403 - version 1]

On the Effectiveness of Single and Multiple Base Station Sleep Modes in Cellular Networks Ajmone Marsan M., Chiaraviglio L., Ciullo D., Meo M. N° RR-8186 (2012) [hal-00759399 - version 1]