.:. Consultation > Par type de document > Rapport de recherche .:.

10317 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

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

Second-order sufficient conditions for strong solutions to optimal control problems Bonnans J. F., Dupuis X., Pfeiffer L. N° RR-3807 (2013) [hal-00825260 - version 1]

Undecidability in Epistemic Planning Aucher G., Bolander T. N° RR-8310 (2013) [hal-00824653 - version 1]

Autonomic Management of Reconfigurable Embedded Systems using Discrete Control: Application to FPGA An X., Rutten E., Diguet J.-P., Le Griguer N., Gamatie A. (2013) [hal-00824225 - version 2]

Observational Program Calculi and the Correctness of Translations Schmidt-Schauss M., Sabel D., Niehren J., Schwinghammer J. (2013) [hal-00824349 - version 1]

Maintaining Balanced Trees For Structured Distributed Streaming Systems Giroire F., Remigiusz M., Nisse N., Pérennes S. N° RR-8309 (2013) [hal-00824269 - version 1]

An efficient way to perform the assembly of finite element matrices in Matlab and Octave Cuvelier F., Japhet C., Scarella G. N° RR-8305 (2013) [hal-00821942 - version 1]

Trace Management and Analysis for Embedded Systems Pagano G., Dosimont D., Huard G., Marangozova-Martin V., Vincent J.-M. N° RR-8304 (2013) [hal-00821907 - version 1]

Reduced complexity in M/Ph/c/N queues Brandwajn A., Begin T. N° RR-8303 (2013) [hal-00821769 - version 1]

A second-order Cartesian method for the simulation of electropermeabilization cell models Leguèbe M., Poignard C., Weynans L. N° RR-8302 (2013) [hal-00821758 - version 1]

Improving Simulations of MPI Applications Using A Hybrid Network Model with Topology and Contention Support Bedaride P., Genaud S., Degomme A., Legrand A., Markomanolis G., Quinson M., Stillwell M. Lee, Suter F., Videau B. N° RR-8300 (2013) [hal-00821446 - version 1]