9629 résultats  enregistrer la recherche


...
hal-01555711v1  Communication dans un congrès
Julia LawallGilles MullerJMake: Dependable Compilation for Kernel Janitors
The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2017, Denver,Colorado, United States. 2017, <http://dsn2017.github.io/>. <10.1109/DSN.2017.62>
...
hal-00706168v1  Ouvrage (y compris édition critique et traduction)
Philippe BolonJean-Marc ChasseryJean-Pierre CocquerezDidier DemignyChristine Graffigne et al.  Analyse d'images : Filtrage et segmentation
Jean-Pierre Cocquerez; Sylvie Philipp. MASSON, 1995, Enseignement de la physique, 2-225-84923-4
hal-01540785v1  Communication dans un congrès
Ludovic Le FriouxSouheib BaarirJulien SopenaFabrice KordonPaInleSS: a Framework for Parallel SAT Solving.
The 20th International Conference on Theory and Applications of Satisfiability Testing, Aug 2017, Melbourne, Australia
...
hal-01241518v3  Article dans une revue
Gül VarolIvan LaptevCordelia SchmidLong-term Temporal Convolutions for Action Recognition
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2017, To appear
...
hal-01529185v1  Communication dans un congrès
Eliane BécachePatrick JolyGilles ScarellaA fictitious domain method for unilateral contact problems in non-destructive testing
First MIT Conference on Computational Fluid and Solid Mechanics, Jun 2001, Cambridge, MA, United States
...
hal-01528440v1  Article dans une revue
Jannis UhlendorfAgnès MiermontThierry DelaveauGilles CharvinFrançois Fages et al.  Long-term model predictive control of gene expression at the population and single-cell levels
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2012, 109 (35), pp.14271-14276. <10.1073/pnas.1206810109>
...
hal-00965747v1  Article dans une revue
Jean BressonJean-Louis GiavittoA Reactive Extension of the OpenMusic Visual Programming Language
Journal of Visual Languages and Computing, Elsevier, 2014, 25 (4), pp.363-375. <10.1016/j.jvlc.2014.03.003>
hal-01520932v1  Communication dans un congrès
Corina FerdeanMesaac MakpangouNicolas GibelinThe Contact Substrate for Adaptive Replication of Internet Services
International Conference on Intelligent Access to the Multimedia Documents on the Internet, Nov 2004, Tozeur, Tunisia. International Conference on Intelligent Access to the Multimedia Documents on the Internet
hal-01520694v1  Communication dans un congrès
Fabio PicconiJean-Michel BuscaPierre SensExploiting Network Locality in a Decentralized Read-Write Peer-to-Peer File Systems
10th International Conference on Parallel and Distributed Systems (ICPADS '04), Jul 2004, Newport Beach, United States. IEEE Society Press, 10th International Conference on Parallel and Distributed Systems (ICPADS '04), pp.289-296, <10.1109/ICPADS.2004.1316107>
hal-01520691v1  Communication dans un congrès
Assia HachichiBertil FolliotCyril MartinContainer Virtual Machine
Journée de l' AS 150 - Systèmes Répartis et Réseaux Adaptatifs au Contexte, Apr 2004, Paris, France. Journée de l' AS 150 - Systèmes Répartis et Réseaux Adaptatifs au Contexte, pp.ONLINE
hal-01520685v1  Ouvrage (y compris édition critique et traduction)
Philippe DarcheArchitecture des ordinateurs - Logique booléenne : Implémentations et technologies
Vuibert, pp.284, 2004, 2711748219
hal-01520684v1  Communication dans un congrès
Jean-Michel BuscaFabio PicconiPierre SensPastis : un système de fichiers pair-à-pair multi-écrivain passant l'échelle
Ecole DRUIDE, May 2004, Le Croisic, France. Actes de l'Ecole DRUIDE
hal-01520681v1  Communication dans un congrès
Jean-Michel BuscaMarin BertierFatima BelkouchPierre SensLuciana ArantesA Performance Evaluation of a Quorum-Based State-Machine Replication Algorithm for Computing Grids
16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD '04), Oct 2004, Iguacu, Brazil. IEEE Society Press, 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD '04), pp.116-123, <10.1109/SBAC-PAD.2004.4>
hal-01520679v1  Communication dans un congrès
Marin BertierPierre SensLuciana ArantesHierarchical Token Based Mutual Exclusion Algorithms
4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid '04), Apr 2004, Chicago, United States. IEEE, 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid '04), pp.539-546, <10.1109/CCGrid.2004.1336650>
hal-01520669v1  Ouvrage (y compris édition critique et traduction)
Jean-Philippe RetailléRenaud PawlakLionel SeinturierLa programmation orientée aspect pour Java/J2EE
Eyrolles, 2004, 2-212-11408-7
...
hal-01519986v1  Communication dans un congrès
Héctor Martínez-AlonsoDjamé SeddahBenoît SagotFrom Noisy Questions to Minecraft Texts: Annotation Challenges in Extreme Syntax Scenarios
2nd Workshop on Noisy User-generated Text (W-NUT 2016), Dec 2016, Osaka, Japan. 2016, Proceedings of the 2nd Workshop on Noisy User-generated Text (W-NUT)
...
hal-01519132v1  Communication dans un congrès
Benjamin BilletValerie IssarnyGéraldine TexierComposing Continuous Services in a CoAP-based IoT
AIMS - 6th IEEE International Conference on AI & Mobile Services, Jun 2017, Honolulu, United States
...
hal-01517308v1  Communication dans un congrès
Pierre-Eric AllierLudovic ChamoinPierre LadevezeUne nouvelle stratégie de calcul de modèles réduits PGD basée sur l'erreur en relation de comportement
12e Colloque national en calcul des structures, May 2015, Giens, France. 12e Colloque national en calcul des structures, 2015
...
hal-01517302v1  Communication dans un congrès
Basile MarchandLudovic ChamoinChristian ReyCouplage entre filtre de Kalman, erreur en relation de comportement modifiée, et réduction de modèle pour le recalage en temps réel de modèles dynamiques
12e Colloque national en calcul des structures, May 2015, Giens, France. 12e Colloque national en calcul des structures, 2015
...
hal-01136517v2  Communication dans un congrès
Anis ChaariLaurence Giraud-MoreauThomas GosgesDominique BarchiesiAnalyse de la morphologie d'un nanofil immergé sous illumination à partir de la bulle produite par une approche inverse
12e Colloque national en calcul des structures, May 2015, Giens, France. 12e Colloque national en calcul des structures, 2015
...
hal-01515369v1  Communication dans un congrès
Janine KniessLuciana ArantesPierre SensCélio AlbuquerqueSaving Resources in Discovery Protocol on Delay-Sensitive Rescue Mobile Networks
The 31st IEEE International Conference on. Advanced Information Networking and Applications (AINA-2017), Mar 2017, Tapei, Taiwan
hal-01515359v1  Communication dans un congrès
Gauthier VoronGaël ThomasVivien QuemaPierre SensAn interface to implement NUMA policies in the Xen hypervisor
Twelfth European Conference on Computer Systems, EuroSys 2017 , Apr 2017, Belgrade, Serbia. pp.15, 2017
...
hal-01508179v1  Communication dans un congrès
Louis MandelCédric PasteurMarc PouzetReactiveML, ten years later
17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), Jul 2015, Siena, Italy. Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), pp.6 - 17, 2015, <http://costa.ls.fi.upm.es/ppdp15/>. <10.1145/2790449.2790509>
...
hal-01511559v1  Communication dans un congrès
Denis JeanneauThibault RieutordLuciana ArantesPierre SensDétecteur de fautes pour le k-accord dans les systèmes inconnus et dynamiques
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France. <http://algotel2017.ensai.fr/>
hal-01511360v1  Communication dans un congrès
Jonathan LejeuneFrederico AlvaresThomas LedouxTowards a generic autonomic model to manage Cloud Services
The 7th International Conference on Cloud Computing and Services Science (CLOSER 2017), Apr 2017, Porto, Portugal. CLOSER 2017