Self-applicable C program specialization In Partial Evaluation and Semantics-Based Program Manipulation, pp.54-61, 1992. ,
Program Analysis and Specialization for the C Programming Language, 1994. ,
Extensibility, safety and performance in the SPIN operating system, SOSP95 [35], pp.267-283 ,
Fast decoding of tagged message formats, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications, 1996. ,
DOI : 10.1109/INFCOM.1996.497897
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
Architectural considerations for a new generation of protocols, SIGCOMM Symposium on Communications Architectures and Protocols, pp.200-208, 1990. ,
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=10.1.1.37.9354
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
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
DPF: Fast, flexible message demultiplexing using dynamic code generation, SIGCOMM96 [33] ,
Exokernel: An operating system architecture for applicationlevel resource management, SOSP95 [35], pp.251-266 ,
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
ATM user-network interface specification version 3, 1993. ,
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
Control flow graph analysis for automatic fast path implementation, Second IEEE workshop on the architecture and Implementation of high performance communication subsystems, 1993. ,
Specification of abstract syntax notation one (ASN.1). ISO standard 8824, 1988. ,
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=10.1.1.14.3852
Partial Evaluation and Automatic Program Generation. International Series in Computer Science, 1993. ,
Fast bitblt() with asm() and cpp, European UNIX Systems User Group Conference Proceedings, pp.243-259, 1987. ,
Protocol service decomposition for high-performance networking, SOSP'93 [34], pp.244-255 ,
Threads and input/output in the Synthesis kernel, Proceedings of the Twelfth Symposium on Operating Systems Principles, pp.191-201, 1989. ,
NFS: Network file system protocol specification, RFC Sun Microsystem, vol.1094, 1989. ,
Scout: a communications-oriented operating system, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V), 1994. ,
DOI : 10.1109/HOTOS.1995.513455
Analysis of techniques to improve protocol processing latency, SIGCOMM96 [33] ,
Protocol latency: MIPS and reality, 1995. ,
USC: A universal stub compiler, Proc. Conf. on Communications Archi. Protocols and Applications, 1994. ,
Optimistic incremental specialization: Streamlining a commercial operating system, SOSP95 [35], pp.314-324 ,
The Synthesis kernel, Computing Systems, vol.1, issue.1, pp.11-32, 1988. ,
All about administering NIS+, 1993. ,
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=10.1.1.297.2667
Overview of the Chorus distributed operating system, USENIX -Workshop Proceedings -Micro-kernels and Other Kernel Architectures, pp.39-70, 1992. ,
Performance of the Firefly RPC, ACM Transactions on Computer Systems, vol.8, issue.1, pp.1-17, 1990. ,
DOI : 10.1145/77648.77653
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
Efficient software-based fault isolation, SOSP'93, pp.203-216 ,
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. ,