Skip to Main content Skip to Navigation


hal-01318315v1  Book sections
Stéphane BalletJulia PieltantMatthieu RambaudJeroen Sijsling. On some bounds for symmetric tensor rank of multiplication in finite fields
Alp Bassa, Alain Couvreur and David Kohel. ARITHMETIC, GEOMETRY, CRYPTOGRAPHY AND CODING THEORY, 686, AMER MATHEMATICAL SOC, pp.93 - 121, 2017, Contemporary Mathematics, 978-1-4704-2810-5. ⟨10.1090/conm/686/13779⟩
hal-02354923v1  Conference papers
Ashref AlouiMounira MsahliTalel AbdessalemStephane BressanSihem Mesnager. Protocol for preserving privacy in distributed system (PPDS)
2017 13th International Wireless Communications and Mobile Computing Conference (IWCMC), Jun 2017, Valencia, France. pp.1885-1890, ⟨10.1109/IWCMC.2017.7986571⟩
hal-02287591v1  Journal articles
Matthieu RambaudGérard Memmi. Note sur la cryptanalyse de Diffie-Hellman
Génie Logiiel, 2017, pp.56-60
hal-02287560v1  Conference papers
Jan KantertSven TomfordeAda DiaconescuChristian Müller-Schloer. Incentive-oriented Task Assignment in Holonic Organic Systems
5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria
hal-01615143v1  Book sections
Loic BesnardThierry GautierPaul Le GuernicClément GuyJean-Pierre Talpin et al.  Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard
Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩
hal-02354920v1  Conference papers
Mayssa JemelMounira MsahliAhmed Serhrouchni. Towards an Efficient File Synchronization between Digital Safes
2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA), Mar 2017, Taipei, France. pp.136-143, ⟨10.1109/AINA.2017.115⟩
hal-01664898v1  Conference papers
Vitalii AksenovVincent GramoliPetr KuznetsovAnna MalovaSrivatsan Ravi. A Concurrency-Optimal Binary Search Tree
23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
...
hal-01622778v1  Conference papers
Karel de VogeleerKameswar Rao VaddinaFlorian BrandnerPierre JouvelotGérard Memmi. Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity Rule
The Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10
hal-02288493v1  Conference papers
Florian BrandnerNaji Amine. Worst-Case Execution Time Analysis of Predicated Architectures
Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
hal-02287557v1  Book sections
Samuel KounevPeter LewisKirstie BellmanNelly BencomoJavier Camara et al.  The notion of self-aware computing
Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, pp.3-16, 2017
hal-02287739v1  Conference papers
Farouk HebbacheMathieu JanFlorian BrandnerLaurent Pautet. Dynamic Arbitration of Memory Requests with TDM-like Guarantees
Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
...
hal-01625409v2  Conference papers
Kameswar Rao VaddinaFlorian BrandnerGérard MemmiPierre Jouvelot. Experimental Energy Profiling of Energy-Critical Embedded Applications
25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
hal-01995010v1  Conference papers
Roberto MedinaEtienne BordeLaurent Pautet. Directed Acyclic Graph Scheduling for Mixed-Criticality Systems
Reliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
hal-02287746v1  Conference papers
Arles RodriguezJonatan GomezAda Diaconescu. Replication-Based Self-healing of Mobile Agents Exploring Complex Networks
15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩
hal-03340371v1  Conference papers
Ankica BarisicDominique BlouinVasco AmaralMiguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
hal-01649727v1  Conference papers
Ankica BarisicDominique BlouinVasco AmaralMiguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
hal-02287627v1  Book sections
Ada Diaconescu. Goal-oriented Holonic Systems
Organic Computing: Technical Systems for Survival in the Real World,, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.209-258, 2017
hal-02287558v1  Book sections
Peter LewisKirstie BellmanChris LandauerLukas EsterleKyrre Glette et al.  Towards a framework for the levels and aspects of selfaware computing systems
Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, pp.51-85, 2017
...
hal-01787848v1  Conference papers
Damien ImbsPetr KuznetsovThibault Rieutord. Progress-Space Tradeoffs in Single-Writer Memory Implementations
21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisbon, Portugal. ⟨10.4230/LIPIcs.OPODIS.2017.9⟩
...
tel-03419019v1  Theses
Han Qiu. An efficient data protection architecture based on fragmentation and encryption
Cryptography and Security [cs.CR]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0049⟩