8665 articles  [version française]
.:. Browse > Last articles .:.
30 documents ordered by :
1 - 2 - 3 Next Last
fulltext access Delaunay triangulations and cycles on closed hyperbolic surfaces
Bogdanov M., Teillaud M.
N° RR-8434 (2013) [hal-00921157 - version 2]
fulltext access FrameSoC Workbench: Facilitating Trace Analysis through a Consistent User Interface
Pagano G., Marangonzova-Martin V.
N° RT-0447 (2014) [hal-00977887 - version 1]
fulltext access Optimally solving Dec-POMDPs as Continuous-State MDPs: Theory and Algorithms
Dibangoye J. S., Amato C., Buffet O., Charpillet F.
N° RR-8517 (2014) [hal-00975802 - version 1]
fulltext access A Small Scale Reflection Extension for the Coq system
Gonthier G., Mahboubi A., Tassi E.
N° RR-6455 (2008) [inria-00258384 - version 15]
fulltext access An approximate analysis of heterogeneous and general cache networks
Choungmo Fofack N. E., Towsley D., Badov M., Dehghan M., Goeckel D. L.
N° RR-8516 (2014) [hal-00975339 - version 1]
fulltext access Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program
Boldo S., Clément F., Filliâtre J.-C., Mayero M., Melquiond G., Weis P.
N° RR-8197 (2012) [hal-00769201 - version 2]
fulltext access Task-based FMM for heterogeneous architectures
Agullo E., Bramas B., Coulaud O., Darve E., Messner M., Takahashi T.
N° RR-8513 (2014) [hal-00974674 - version 1]
fulltext access Language-Independent Program Verification Using Symbolic Execution
Arusoaie A., Lucanu D., Rusu V.
N° RR-8369 (2013) [hal-00864341 - version 4]
fulltext access A Generic Framework for Symbolic Execution
Arusoaie A., Lucanu D., Rusu V.
N° RR-8189 (2012) [hal-00766220 - version 6]
fulltext access Perfect sampling of Jackson Queueing Networks
Busic A., Durand S., Gaujal B., Perronnin F.
N° RR-8332 (2013) [hal-00851331 - version 2]