Skip to Main content Skip to Navigation


hal-01433127v1  Conference papers
Flavio Oquendo. π-Calculus for SoS: A Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems
38th International Conference on Communicating Process Architectures (CPA 2016), Aug 2016, Copenhagen, Denmark
hal-01433093v1  Conference papers
Flavio Oquendo. π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems
11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, ⟨10.1109/SYSOSE.2016.7542925⟩
...
hal-01218958v1  Conference papers
Matteo GuerraCarlos VázquezDenis EfimovGang ZhengLeonid Freidovich et al.  ε-Invariant Output Stabilization: Homogeneous Approach and Dead Zone Compensation
54th IEEE Conference on Decision and Control (CDC), 2015, Dec 2015, Osaka, Japan
hal-01423494v1  Conference papers
Oumayma BahriEl-Ghazali TalbiNahla Benamor. β-Robustness approach for fuzzy multi-objective problems
IPMU‘2016 - 16th Int. Conference On Information Processing and Management on Uncertainty in Knowledge-based Systems, 2016, Eindhoeven, Netherlands. pp.225-237, ⟨10.1007/978-3-319-40581-0_19⟩
...
hal-00931028v1  Journal articles
Lars GrüneHasnaa Zidani. Zubov's equation for state-constrained perturbed nonlinear systems
Mathematical Control and Related Fields, AIMS, 2015, 5 (1), pp.55-71. ⟨10.3934/mcrf.2015.5.55⟩
...
hal-01391281v1  Conference papers
Mathieu Le GocLawrence KimAli ParsaeiJean-Daniel FeketePierre Dragicevic et al.  Zooids: Building Blocks for Swarm User Interfaces
Proceedings of the 29th Annual Symposium on User Interface Software and Technology (UIST), Oct 2016, Tokyo, Japan. ⟨10.1145/2984511.2984547⟩
...
hal-01091949v1  Conference papers
Clément MariaSteve Oudot. Zigzag Persistence via Reflections and Transpositions
ACM-SIAM Symposium on Discrete Algorithms, Jan 2015, San Diego, United States
hal-01424094v1  Conference papers
Gerardo Rubino. Zero-variance Approaches in Static Reliability Problems
SIAM Conference on Uncertainty Quantification, EPFL, Suisse, Apr 2016, Lausanne, Switzerland
hal-01428994v1  Conference papers
Stéphane Gaubert. Zero-sum games, non-archimedean convexity and sinuous central paths
Workshop: Advances in Convex Analysis and Optimization, Jul 2016, Erice, Italy
hal-01428997v1  Conference papers
Stéphane Gaubert. Zero-sum games, non-archimedean convexity and sinuous central paths
2016 Conference on Applied Mathematics, Aug 2016, Hong Kong, China
...
hal-01141135v1  Conference papers
Stefan MarrChris SeatonStéphane Ducasse. Zero-Overhead Metaprogramming
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2015, Portland, OR, USA, France. ⟨10.1145/2737924.2737963⟩
hal-01279011v1  Conference papers
Diana JoumblattFrançois EspinetD. Rossi. Zen and the art of network troubleshooting: a hands on experimental study
Traffic Monitoring and Analysis (TMA'15), Apr 2015, Barcellona, Spain
...
hal-01258718v1  Conference papers
Francesco de Comite. Yvon-Villarceau Circle Equivalents on Dupin Cyclides
Bridges 2015: Mathematics, Music, Art, Architecture, Culture , Jul 2015, Baltimore, United States
...
hal-01185075v1  Conference papers
Karine PiresGwendal Simon. YouTube Live and Twitch: A Tour of User-Generated Live Streaming Systems
MMSys 2015 : 6th ACM Multimedia Systems Conference, Mar 2015, Portland, United States. pp.225 - 230
hal-01261209v1  Conference papers
Gerardo RubinoSofiene Jelassi. YouSOS: A victim-centered management solution of rescue operations
2nd International Conference on Information and Communication Technologies for Disaster Management (ICT-DM 2015), Dec 2015, Rennes, France
...
hal-01354248v1  Journal articles
Somayeh SardashtiAndré SeznecDavid A. Wood. Yet Another Compressed Cache: a Low Cost Yet Effective Compressed Cache
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2016, 13, pp.1-25. ⟨10.1145/2976740⟩
...
hal-01082635v3  Conference papers
Pierre GenevèsNils Gesbert. XQuery and Static Typing: Tackling the Problem of Backward Axes
ICFP (International Conference on Functional Programming), ACM SIGPLAN, Aug 2015, Vancouver, Canada. ⟨10.1145/2784731.2784746⟩
...
hal-01396142v1  Journal articles
Carlos Aguilar MelchorJoris BarrierLaurent FousseMarc-Olivier Killijian. XPIR : Private Information Retrieval for Everyone
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2016, 2016, pp.155-174. ⟨10.1515/popets-2016-0010⟩
...
hal-01155144v1  Conference papers
Imen FassiPhilippe Clauss. XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance
14th International Symposium on Parallel and Distributed Computing, Jun 2015, Limassol, Cyprus. ⟨10.1109/ISPDC.2015.19⟩
...
tel-01251721v1  Theses
Imen Fassi. XFOR (Multifor): A New Programming Structure to Ease the Formulation of Efficient Loop Optimizations
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
hal-01357738v1  Conference papers
Soumia Lilia BerrahouPatrice BucheJuliette Dibie-BarthelemyMathieu Roche. Xart system: discovering and extracting correlated arguments of n-ary relations from text
6th International Conference on Web Intelligence, Mining and Semantics (WIMS), Jun 2016, Nimes, France. pp.8:1-8:12, ⟨10.1145/2912845.2912855⟩