L. O. Andersen, Self-applicable C program specialization In Partial Evaluation and Semantics-Based Program Manipulation, pp.54-61, 1992.

L. O. Andersen, Program Analysis and Specialization for the C Programming Language, 1994.

B. N. Bershad, S. Savage, P. Pardyak, E. Gün-sirer, M. E. Fiuczynski et al., Extensibility, safety and performance in the SPIN operating system, SOSP95 [35], pp.267-283

T. Blackwell, Fast decoding of tagged message formats, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications, 1996.
DOI : 10.1109/INFCOM.1996.497897

G. Cabillic and I. Puaut, Stardust: An Environment for Parallel Programming on Networks of Heterogeneous Workstations, Journal of Parallel and Distributed Computing, vol.40, issue.1, 1997.
DOI : 10.1006/jpdc.1996.1271

D. D. Clark and D. L. Tennenhouse, Architectural considerations for a new generation of protocols, SIGCOMM Symposium on Communications Architectures and Protocols, pp.200-208, 1990.

C. Consel and O. Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.493-501, 1993.
DOI : 10.1145/158511.158707

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

C. Consel, L. Hornof, F. Noël, J. Noyé, and E. N. Volanschi, A uniform approach for compile-time and run-time specialization, Partial Evaluation, International Seminar, Dagstuhl Castle, number 1110 in Lecture Notes in Computer Science, pp.54-72, 1996.
DOI : 10.1007/3-540-61580-6_4

URL : https://hal.archives-ouvertes.fr/inria-00073917

D. R. Engler, W. C. Hsieh, and M. F. Kaashoek, C: a language for high-level, efficient, and machine-independent dynamic code generation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.131-144, 1996.
DOI : 10.1145/237721.237765

D. R. Engler and M. F. Kaashoek, DPF: Fast, flexible message demultiplexing using dynamic code generation, SIGCOMM96 [33]

D. R. Engler, M. F. Kaashoek, and J. W. O-'toole, Exokernel: An operating system architecture for applicationlevel resource management, SOSP95 [35], pp.251-266

R. Fitzgerald and R. F. Rashid, The integration of virtual memory management and interprocess communication in Accent, ACM Transactions on Computer Systems, vol.4, issue.2, pp.147-177, 1986.
DOI : 10.1145/214419.214422

A. Forum, ATM user-network interface specification version 3, 1993.

A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek et al., PVM-Parallel Virtual Machine: AUsers' Guide and Tutorial for Networked Parallel Computing, Computers in Physics, vol.9, issue.6, 1994.
DOI : 10.1063/1.4823450

P. Hoschka and C. Huitema, Control flow graph analysis for automatic fast path implementation, Second IEEE workshop on the architecture and Implementation of high performance communication subsystems, 1993.

. Iso, Specification of abstract syntax notation one (ASN.1). ISO standard 8824, 1988.

D. B. Johnson and W. Zwaenepoel, The Peregrine high-performance RPC system. Software -Practice And Experience, pp.201-221, 1993.
DOI : 10.1002/spe.4380230205

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

N. D. Jones, C. Gomard, and P. Sestoft, Partial Evaluation and Automatic Program Generation. International Series in Computer Science, 1993.

B. N. Locanthi, Fast bitblt() with asm() and cpp, European UNIX Systems User Group Conference Proceedings, pp.243-259, 1987.

C. Maeda and B. N. Bershad, Protocol service decomposition for high-performance networking, SOSP'93 [34], pp.244-255

H. Massalin and C. Pu, Threads and input/output in the Synthesis kernel, Proceedings of the Twelfth Symposium on Operating Systems Principles, pp.191-201, 1989.

S. Microsystem, NFS: Network file system protocol specification, RFC Sun Microsystem, vol.1094, 1989.

A. B. Montz, D. Mosberger, S. W. O-'malley, L. L. Peterson, T. A. Proebsting et al., Scout: a communications-oriented operating system, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V), 1994.
DOI : 10.1109/HOTOS.1995.513455

D. Mosberger, L. L. Peterson, P. G. Bridges, and S. W. Malley, Analysis of techniques to improve protocol processing latency, SIGCOMM96 [33]

D. Mosberger, L. L. Peterson, and S. W. Malley, Protocol latency: MIPS and reality, 1995.

S. O. Malley, T. Proebsting, and A. B. Montz, USC: A universal stub compiler, Proc. Conf. on Communications Archi. Protocols and Applications, 1994.

C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan et al., Optimistic incremental specialization: Streamlining a commercial operating system, SOSP95 [35], pp.314-324

C. Pu, H. Massalin, and J. Ioannidis, The Synthesis kernel, Computing Systems, vol.1, issue.1, pp.11-32, 1988.

R. Ramsey, All about administering NIS+, 1993.

R. F. Rashid, A. Tevanian-jr, M. W. Young, D. B. Golub, R. V. Baron et al., Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures, IEEE Transactions on Computers, issue.8, pp.37896-908, 1988.
DOI : 10.1145/36177.36181

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

V. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien et al., Overview of the Chorus distributed operating system, USENIX -Workshop Proceedings -Micro-kernels and Other Kernel Architectures, pp.39-70, 1992.

M. D. Schroeder and M. Burrows, Performance of the Firefly RPC, ACM Transactions on Computer Systems, vol.8, issue.1, pp.1-17, 1990.
DOI : 10.1145/77648.77653

C. A. Thekkath and H. M. Levy, Limits to low-latency communication on high-speed networks, ACM Transactions on Computer Systems, vol.11, issue.2, pp.179-203, 1993.
DOI : 10.1145/151244.151247

R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham, Efficient software-based fault isolation, SOSP'93, pp.203-216

I. Unité-de-recherche, . Lorraine, V. Technopôle-de-nancy-brabois, I. Unité-de-recherche, and . Rennes, Campus scientifique, 615 rue du Jardin Botanique Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.78153, 2004.