A New Kernel Foundation for UNIX Development, Proceedings of the Summer 1986 USENIX Technical Conference and Exhibition, 1986. ,
PowerPC Microprocessor Common Hardware Reference Platform : A System Architecture, APPLE COMPUTER, 1995. ,
Construction des systèmes d'exploitation répartis, 1991. ,
« The Midway Distributed Shared Memory System, Proceedings of the 38th IEEE Computer Conference, pp.528-537, 1993. ,
Safety and Performance in the SPIN Operating System, Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP'1995), pp.267-284, 1995. ,
« Implementing Remote Procedure Call », ACM Transactions on Computer Systems, vol.2, issue.1, pp.39-59, 1984. ,
Open Distributed Processing and Multimedia, 1997. ,
The Design of a Resource-Aware Reflective Middleware Architecture, Proceedings of the 2nd International Conference on Metalevel Architectures and Reflection (Reflection'1999), 1999. ,
DOI : 10.1007/3-540-48443-4_9
Operating System Principles, 1973. ,
« µChoices : an Object-Oriented Multimedia Operating System, Proceedings of the 5th Workshop on Hot Topics in Operating Systems (HotOS'1995), pp.90-94, 1993. ,
Designing and implementing Choices: an object-oriented system in C++, Communications of the ACM, vol.36, issue.9, pp.117-126, 1994. ,
DOI : 10.1145/162685.162717
Sharing and protection in a single-address-space operating system, Dijkstra 1965a Edsger W. DIJKSTRA. « Cooperating sequential processes Dijkstra 1965b Edsger W. DIJKSTRA. « Solution of a Problem in Concurrent Programming Control, pp.271-307, 1965. ,
DOI : 10.1145/195792.195795
« The structure of the " THE " -multiprogramming system, Communications of the ACM, vol.11, issue.5, pp.341-346, 1968. ,
an Open Distributed Processing Environment in Java International Conference on Distributed Systems Platforms and Open Distributed Processing (Middlewa- re'1998), septembre 1998, eCos REDHAT. « eCos : Embedded Configurable Operating System, 1995. ,
« Exokernel : an operating system architecture for application-level resource management, Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP'1995), pp.251-266, 1995. ,
« Think : un noyau d'infrastructure répartie adaptable, ` eme Conférence Française sur les Systèmes d'exploitation (CF- SE'2001), pp.95-106, 1997. ,
« The Flux OSKit : A substrate for kernel and language research, Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP'1997), pp.38-51, 1997. ,
« The Pebble Component-Based Operating System, Proceedings of the USENIX Annual Technical Conference (USENIX'1999), pp.267-282, 1999. ,
« An Introduction to Software Architecture, 1994. ,
« Memory Consistency and Event Ordering in Scalable Shared- Memory Multiprocessors, Proceedings of the 17th Annual International Symposium on Computer Architecture (ISCA'1990), pp.15-26, 1990. ,
The Java Language Specification Second Edition. The Java Series The Java Language Specification Second Edition. The Java Series, 1999. ,
« Cellular Disco : resource management using virtual clusters on shared-memory multiprocessors, Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP'1999), pp.154-169, 1999. ,
« The Spring nucleus : a microkernel for objects, Proceedings of the USENIX Summer 1993 Technical Conference, pp.147-159, 1993. ,
« Subcontract : a flexible base for distributed programming, Proceedings of the 14th ACM Symposium on Operating Systems Principles (SOSP'1993), pp.69-79, 1993. ,
« The Performance of µkernel-based Systems, Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP'1997), pp.66-77, 1997. ,
Computer Architecture : A Quantitative Approach, ` eme édition, 1996. ,
« Design and Performance of MPEG Video Streaming to Palmtop Computers, Proceedings of the Multimedia Computing and Networking (MMCN'2000), pp.39-59, 2000. ,
An Architectural Overview of QNX, Proceedings of the USE- NIX Workshop on Micro-Kernels and other Kernel Architectures, pp.113-126, 1992. ,
Monitors: an operating system structuring concept, Communications of the ACM, vol.17, issue.10, pp.549-557, 1974. ,
DOI : 10.1145/355620.361161
The Fiasco Kernel : System Architecture ». Rapport Technique, 1999. ,
« The x-Kernel : An Architecture for Implementing Network Protocols, IEEE Transactions on Software Engineering, vol.17, issue.1, pp.64-76, 1991. ,
« Open Distributed Processing -Reference Model, 1995. ,
A free virtual machine to run Java code ,
The Art of Computer Programming : Fundamental Algorithms, volume I, ` eme édition, 1973. ,
Principes des systèmes d'exploitation des ordinateurs. Dunod informatique, 1985. ,
Architecture des systèmes, passé et avenir ». Conférence invitée CFSE-REMPAR-SYMPA, 2001. ,
A New Solution of Dijkstra's Concurrent Programming Program, Communications of the ACM, vol.17, issue.8, pp.453-455, 1974. ,
The Mutual Exclusion Problem », Journal of the ACM, vol.33, issue.2, pp.313-348, 1986. ,
The Mutual Exclusion Problem has been Solved, Communications of the ACM, vol.34, issue.1, pp.110-111, 1991. ,
On µ-Kernel Construction, Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP'1995), pp.237-250, 1995. ,
« L4 Reference Manual : 486, Pentium, Pentium Pro, 1996. ,
« µ-Kernels Must And Can Be Small, Proceedings of 5th International Workshop on Object-Orientation in Operating Systems (IWOOOS'1996), pp.152-155, 1996. ,
The Java Virtual Machine Specification. The Java Series, 1999. ,
« A Tutorial on Behavioral Reflection and its Implementation, Proceedings of Reflection (Reflection'1996), pp.1-20, 1996. ,
« Devil : An IDL for Hardware Programming, Proceedings of the 4th Symposium on Operating Systems Design and Implementation (OSDI'2000), pp.17-30, 2000. ,
Object-Oriented Software Construction, 1997. ,
« The Click modular router, Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP'1999), pp.217-231, 1999. ,
Making Paths Explicit in the Scout Operating System, Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI'1996), pp.153-167, 1996. ,
A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code, Proceedings of the 3rd Conference on Object-Oriented Technologies and Systems (CO- OTS'1997), pp.1-20, 1997. ,
Systems Programming with Modula-3, 1991. ,
Agile Application-Aware Adaptation for Mobility, Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP'1997), pp.276-287, 1997. ,
DOI : 10.1145/269005.266708
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.328
The Multics System : An Examination of Its Structure, 1972. ,
« Myths about the mutual exclusion problem », Information Processing Letters, vol.12, issue.3, pp.115-116, 1981. ,
Component Composition for Systems Software, Proceedings of the 4th Symposium on Operating Systems Design and Implementation (OSDI'2000), pp.347-360, 2000. ,
« The UNIX Time-Sharing System, Communications of the ACM, vol.17, issue.7, pp.365-375, 1974. ,
« Design and Implementation of Runtime Reflection in Communication Middleware : the dynamicTAO Case, Proceedings of the ICDCS'1999 Workshop on Middleware, pp.122-127, 1999. ,
« Design and implementation of the Sun Network Filesystem, Proceedings of the Summer 1985 USENIX Conference, pp.119-130, 1985. ,
« The design of the TAO real-time object request broker, Computer Communications, vol.21, issue.4, 1998. ,
« A Hardware Architecture for Implementing Protection Rings, Communications of the ACM, vol.15, issue.3, pp.157-170, 1972. ,
« Dealing with disaster : surviving misbehaved kernel extensions, Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI'1996), pp.213-227, 1996. ,
Structure and Encapsulation in Distributed Systems : The Proxy Principle, Proceedings of the 6th International Conference on Distributed Computer Systems (ICDCS'1986), pp.198-205, 1986. ,
Software Architecture : Perspective on an Emerging Discipline, 1996. ,
Operating Systems Concepts, 1998. ,
An Integrated Platform for Operating Systems and Database Research, 1994. ,
« Elements of an objectbased model for distributed and mobile computation, Proceedings of the 4th International Conference on Formal Methods for Open Obect-based Distributed Systems (FMOODS'2000), 2000. ,
RPC : Remote Procedure Call Protocol specification, Sun Microsystems Inc, vol.1057, 1988. ,
DOI : 10.17487/rfc1050
An object-oriented nano-kernel for operating system hardware support, Proceedings of International Workshop on Object Orientation in Operating Systems, pp.220-223, 1995. ,
DOI : 10.1109/IWOOS.1995.470552