E-LIB Suche - Ergebnisse für: Donnet, A.

1

Gatestacks for scalable high-performance FinFETs:

, In: 2007 IEEE International Electron Devices Meeting,

Vellianitis, G. ; Petry, J. ; Pawlak, B.J.... - p. None , 2007

Link: https://doi.org/10.1109/..

2

How Can We Impact the Immune System with Pre- and Probiotic..:

, In: Home Care Enteral Feeding; Nestl� Nutrition Workshop Series: Clinical & Performance Program,

Schiffrin,, E.J. ; Donnet, A. ; Blum, S. - p. 203-217 , 2005

Link: https://doi.org/10.1159/..

3

MSTG: A Flexible and Scalable Microservices Infrastructure ..:

, In: 2024 8th Network Traffic Measurement and Analysis Conference (TMA),

Wansart, Emilien ; Goffart, Maxime ; Iurman, Justin. - p. 1-4 , 2024

Link: https://doi.org/10.23919..

4

Tartare: Automatic Generation of C Pointer Statements and F..:

, In: Proceedings of the 26th Australasian Computing Education Conference,

Brieven, Géraldine ; Baum, Valentin ; Donnet, Benoit - p. 192-201 , 2024

Link: https://dl.acm.org/doi/1..

5

Implementing and Evaluating Ioam Integrity Protection:

, In: Proceedings of the 2024 Applied Networking Research Workshop,

Iurman, Justin ; Donnet, Benoit - p. 60-66 , 2024

Link: https://dl.acm.org/doi/1..

6

Chaussette: A Symbolic Verification of Bitcoin Scripts:

, In: Computer Security. ESORICS 2023 International Workshops; Lecture Notes in Computer Science,

Jacquot, Vincent ; Donnet, Benoit - p. 359-375 , 2024

Link: https://doi.org/10.1007/..

7

$v\text{TNT}$: Unikernels for Efficient and Flexible Intern..:

, In: 2024 8th Network Traffic Measurement and Analysis Conference (TMA),

Letemple, Maxime ; Gain, Gaulthier ; Mariem, Sami Ben.. - p. 1-4 , 2024

Link: https://doi.org/10.23919..

8

Smoothie: Efficient and Flexible Load-Balancing in Data Cen..:

, In: NOMS 2024-2024 IEEE Network Operations and Management Symposium,

Champagne, Loic ; Donnet, Benoit - p. 1-7 , 2024

Link: https://doi.org/10.1109/..

9

Practicing Abstraction Skills Through Diagrammatic Reasonin..:

, In: 2024 IEEE Global Engineering Education Conference (EDUCON),

Brieven, Geraldine ; Malcev, Lev ; Donnet, Benoit - p. 1-10 , 2024

Link: https://doi.org/10.1109/..

10

Graphical Loop Invariant Based Programming:

, In: Formal Methods Teaching; Lecture Notes in Computer Science,

Brieven, Géraldine ; Liénardy, Simon ; Malcev, Lev. - p. 17-33 , 2023

Link: https://doi.org/10.1007/..

11

Implementation and Evaluation of LISP Publish/Subscribe:

, In: 2023 2nd International Conference on 6G Networking (6GNet),

Piron, Tom ; Iannone, Luigi ; Donnet, Benoit - p. 1-4 , 2023

Link: https://doi.org/10.1109/..

12

Towards a Closed-Looped Automation for Service Assurance wi..:

, In: 2022 IEEE 8th International Conference on Network Softwarization (NetSoft),

Edeline, Korian ; Carlisi, Thomas ; Iurman, Justin.. - p. 67-72 , 2022

Link: https://doi.org/10.1109/..

13

A first-look at segment routing deployment in a large europ..:

, In: Proceedings of the 22nd ACM Internet Measurement Conference,

Marechal, Emeline ; Shao, Yining ; Bruyère, Marc. - p. 748-749 , 2022

Link: https://dl.acm.org/doi/1..

14

Measuring IPv6 extension headers survivability with James:

, In: Proceedings of the 22nd ACM Internet Measurement Conference,

Léas, Raphaël ; Iurman, Justin ; Vyncke, Éric. - p. 746-747 , 2022

Link: https://dl.acm.org/doi/1..

15

ISP Probing Reduction with Anaximander:

, In: Passive and Active Measurement; Lecture Notes in Computer Science,

Marechal, Emeline ; Mérindol, Pascal ; Donnet, Benoit - p. 441-469 , 2022

Link: https://doi.org/10.1007/..