 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-01250369v1
Direction d'ouvrage, Proceedings
Stefan Haar, Roland Meyer. Proceedings 15th International Conference on Application of Concurrency to System Design (ACSD), 2015 Stefan Haar and Roland Meyer. ACSD 2015, Jun 2015, Brussels, Belgium. IEEE 2015, IEEE, <10.1109/ACSD.2015.23>. <http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7352411> |
||
|
hal-01126800v1
Article dans une revue
Ana Cavalcanti, Marie-Claude Gaudel. Test selection for traces refinement Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 563, pp.1-42. <http://dx.doi.org/10.1016/j.tcs.2014.08.012>. <10.1016/j.tcs.2014.08.012> |
||
|
hal-01254907v1
Communication dans un congrès
Michelle Cheatham, Zlatan Dragisic, Jérôme Euzenat, Daniel Faria, Alfio Ferrara et al. Results of the Ontology Alignment Evaluation Initiative 2015 10th ISWC workshop on ontology matching (OM), Oct 2015, Bethlehem, United States. No commercial editor., pp.60-115, 2016 |
||
|
hal-01299503v1
Communication dans un congrès
Saïd Assar, Redouane El Amrani. The fragmentation of theoretical contributions in ERP research : an exploratory study HICSS 2016 : 49th Hawai'i International Conference on System Sciences, Jan 2016, Kauai, Hawaii, United States. IEEE Computer Society, Proceedings HICSS 2016 : 49th Hawai'i International Conference on System Sciences, pp.4707 - 4716, 2016, <10.1109/HICSS.2016.583> |
||
|
ensl-01310023v2
Article dans une revue
Sylvie Boldo, Stef Graillat, Jean-Michel Muller. On the robustness of the 2Sum and Fast2Sum algorithms ACM Transactions on Mathematical Software, Association for Computing Machinery, 2017, 44 (1), <http://dl.acm.org/citation.cfm?id=3054947> |
||
|
hal-01412831v1
Poster
Isabelle Hue, Nicolas Turenne. TeDE-OM: Text data extraction & OMics Journées d’Animation des Crédits Incitatifs du Département de Physiologie Animale et Systèmes d’Elevage (JACI Phase 2016) , Apr 2016, Tours, France. 115 p., 2016 |
||
|
hal-01438386v1
Rapport
Alex Alberto, Marie-Claude Gaudel. Defining the Circus operational semantics in the K-framework [Research Report] LRI - CNRS, University Paris-Sud; ICMC, University of Sao Paulo. 2017, pp.59 |
||
|
hal-01362033v1
Rapport
Paul Murdock, Louay Bassbouss, Martin Bauer, Mahdi Ben Alaya, Rajdeep Bhowmik et al. Semantic interoperability for the Web of Things [Research Report] Dépt. Réseaux et Service Multimédia Mobiles (Institut Mines-Télécom-Télécom SudParis); Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS); British Telecom Research & Technology (British Telecom); Huawei Technologies [San Francisco] (Huawei Technologies Co. Ltd.); Laboratoire d'analyse et d'architecture des systèmes (CNRS (UPR8001)-Université Toulouse 3-INPT-Institut National des Sciences Appliquées de Toulouse); OpenDOF (Panasonic); Schneider Electric (.); Nokia Bell Labs [Paris Saclay] (Nokia); Institut de Recherche en Informatique de Toulouse (CNRS : UMR5505; INPT de Toulouse; Universités de Toulouse I, II et III); FESTO (.); Ericsson Research (Ericsson ); Deutsche Telekom Laboratories (Deutsche Telekom); Landis+Gyr (Toshiba); IoTecha (.); Comcast (.); Orange Labs [Issy les Moulineaux] (France Télécom); InterDigital Communications (.); World Wide Web Consortium (.); TNO [Netherlands] (.); National Institute of Standards and Technology [Gaithersburg] (Agency of the U.S. Department of Commerce); Intel corporation [USA] (Intel corporation); Krypton Brothers (.); EURECOM [Sophia Antipolis] (Institut Mines-Télécom); Fraunhofer-Institut für Offene Kommunikationssysteme (FOKUS Fraunhofer); LG Group (.); Rockwell automation (.); Huawei Technologies [Nanjing] (Huawei Technologies Co. Ltd.); Insight Centre for Data Analytics [Galway] (National University of Ireland Galway (NUIG)); Network Research Division, NEC Laboratories Europe (NEC Europe Ltd.); Sensinov (.); Department of Computer Science [Binghamton] (Binghamton University); Honeywell Process Solutions (Honeywell International Inc.); Senslytics (Senslytics Corporation); Telecom Orange (.). 2016, pp.18 |
||
|
hal-01360144v1
Article dans une revue
Stefan Haar. Cyclic Ordering through Partial Orders * Journal of Multivalued-Logic and Soft Computing, 2016, 27 (2-3), pp.209-228. <http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-27-number-2-3-2016/> |
||
|
hal-01388645v1
Rapport
Théis Bazin. Deep learning for musical scenario inference and prediction [Intership report] Ircam UMR STMS 9912. 2016 |
||
|
hal-01263293v1
Article dans une revue
Atifa Sarwar, Hamid Mukhtar, Maajid Maqbool, Djamel Belaid. SmartFit: a step count based mobile application for engagement in physical activities International journal of advanced computer science and applications (IJACSA), 2015, 6 (8), pp.271 - 278. <10.14569/IJACSA.2015.060836> |
||
|
hal-01162898v1
Communication dans un congrès
Zoe Paraskevopoulou, Cătălin Hriţcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce. Foundational Property-Based Testing ITP 2015 - 6th conference on Interactive Theorem Proving, Aug 2015, Nanjing, China. Springer, 9236, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-22102-1_22> |
||
|
tel-01157951v1
Thèse
Morgane Marchand. Domaines et fouille d'opinion : une étude des marqueurs multi-polaires au niveau du texte Autre [cs.OH]. Université Paris Sud - Paris XI, 2015. Français. < NNT : 2015PA112026 > |
||
|
tel-01171847v1
Thèse
Yoann Isaac. Représentations redondantes pour les signaux d’électroencéphalographie Autre [cs.OH]. Université Paris Sud - Paris XI, 2015. Français. < NNT : 2015PA112072 > |
||
|
tel-01265466v1
Thèse
Van-Minh Pho. Génération automatique de questionnaires à choix multiples pédagogiques : évaluation de l'homogénéité des options Autre [cs.OH]. Université Paris Sud - Paris XI, 2015. Français. <NNT : 2015PA112192> |
||
|
tel-01526955v1
Thèse
Thibaut Munzer. Représentations relationnelles et apprentissage interactif pour l'apprentissage efficace du comportement coopératif Autre [cs.OH]. Université de Bordeaux, 2017. Français. < NNT : 2017BORD0574 > |
||
|
tel-01449400v1
Thèse
Jérémie Sublime. Contributions to collaborative clustering and its potential applications on very high resolution satellite images Other [cs.OH]. Université Paris-Saclay, 2016. English. < NNT : 2016SACLA005 > |
||
|
tel-01454976v1
Thèse
Olivier Levillain. A study of the TLS ecosystem Other [cs.OH]. Institut National des Télécommunications, 2016. English. < NNT : 2016TELE0014 > |
||
|
tel-01269634v1
Thèse
Mikael Trellet. Exploration et analyse immersives de données moléculaires guidées par la tâche et la modélisation sémantique des contenus Autre [cs.OH]. Université Paris-Saclay, 2015. Français. < NNT : 2015SACLS262 > |
||
|
tel-01252937v2
Thèse
Rémy Thomasse. Complexity analysis of random convex hulls Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. < NNT : 2015NICE4116 > |
||
|
tel-01359000v1
Thèse
Michael Blondin. Algorithmique et complexité des systèmes à compteurs Autre [cs.OH]. Université Paris-Saclay, 2016. Français. < NNT : 2016SACLN017 > |
||
|
hal-01165134v1
Communication dans un congrès
Anna Giannakou, Louis Rilling, Jean-Louis Pazat, Frédéric Majorczyk, Christine Morin. Towards Self Adaptable Security Monitoring in IaaS Clouds 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CC-GRID 2015), May 2015, Shenzen, China |
||
|
hal-01347354v1
Communication dans un congrès
Pierre-Yves Péneau, Rabab Bouziane, Abdoulaye Gamatié, Erven Rohou, Florent Bruguier et al. Loop Optimization in Presence of STT-MRAM Caches: a Study of Performance-Energy Tradeoffs PATMOS: Power and Timing Modeling, Optimization and Simulation, Sep 2016, Bremen, Germany. 26th International Workshop on Power and Timing Modeling, Optimization and Simulation, pp.162-169, 2016, Proceedings of the 26th International Workshop on Power and Timing Modeling, Optimization and Simulation. <http://www.item.uni-bremen.de/patmos/>. <10.1109/PATMOS.2016.7833682> |
||
|
hal-01162336v1
Communication dans un congrès
Erven Rohou, David Guyon. Sequential Performance: Raising Awareness of the Gory Details International Conference on Computational Science, Jun 2015, Reykjavik, Iceland. 2015, <10.1016/j.procs.2015.05.347> |
||
|
hal-01245016v1
Communication dans un congrès
Blaise Genest, Doron Peled, Sven Schewe. Knowledge = Observation + Memory + Computation FoSSaCS 2015, 2015, London, United Kingdom. Springer, LNCS (9034), pp.215-229, 2015, FoSSaCS 2015. <10.1007/978-3-662-46678-0_14> |
||
|
hal-01100647v1
Communication dans un congrès
Erven Rohou, Bharath Narasimha Swamy, André Seznec. Branch Prediction and the Performance of Interpreters - Don't Trust Folklore International Symposium on Code Generation and Optimization, Feb 2015, Burlingame, United States |
||
|
hal-01341826v1
Communication dans un congrès
Cristina Silvano, Giovanni Agosta, Stefano Cherubin, Davide Gadioli, Gianluca Palermo et al. The ANTAREX Approach to Autotuning and Adaptivity for Energy Efficient HPC Systems ACM International Conference on Computing Frontiers 2016, May 2016, Como, Italy. Proceedings of the ACM International Conference on Computing Frontiers, 2016, <10.1145/2903150.2903470> |
||
|
hal-01171492v1
Communication dans un congrès
Antoine Boutet, Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Antoine Rault et al. Hide & Share: Landmark-based Similarity for Private KNN Computation 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2015, Rio de Janeiro, Brazil. Proceedings of the 2015 International Conference on Dependable Systems and Networks, pp.263-274, <http://2015.dsn.org/>. <10.1109/DSN.2015.60> |
||
|
hal-01178085v1
Article dans une revue
Arjun Suresh, Bharath Narasimha Swamy, Erven Rohou, André Seznec. Intercepting Functions for Memoization: A Case Study Using Transcendental Functions ACM Transactions on Architecture and Code Optimization (TACO) , ACM, 2015, 12 (2), pp.23. <10.1145/2751559> |
||
|
hal-01177902v1
Communication dans un congrès
Hanbing Li, Isabelle Puaut, Erven Rohou. Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2015, Hong-Kong, China. pp.10 |
||
|
|
||