Jeannie User Guide A compiler contributed to xtc, Version 1.13.3 (05/14/08) (2009)
Martin Hirzel, Robert Grimm, The Jeannie, Robert Grimm, Martin Hirzel, Kathryn Mckinley, ...
Projects Agency under Contract No. NBCH30390004. This is the user guide for a compiler contributed to xtc Version 1.13.3 (05/14/08).
Linux kernel extensions (2009)
Alison Reynolds, Marc E. Fiuczynski, Robert Grimm
the feasibility of an AOSD approach to
PADS: A Policy Architecture for Building Distributed Storage Systems (2009)
Nalini Belaramani, An Zheng, Amol Nayate, Robert Soulé, Mike Dahlin, Robert Grimm
Abstract: This paper presents PADS, a new policy architecture that makes it easier to develop distributed storage systems. PADS is based on two key ideas. First, a distributed storage system is...
PADS: A Policy Architecture for Building Distributed Storage Systems (2009)
Nalini Belaramani, An Zheng, Amol Nayate, Robert Soulé, Mike Dahlin, Robert Grimm
Abstract: This paper presents PADS, a new policy architecture that makes it easier to develop distributed storage systems. PADS is based on two key ideas. First, a distributed storage system is...
• Added to running system • Interact through low-latency interfaces • Form tightly integrated system • Are untrusted Security • Stated in a policy • Relies on access control • Expressed...
Emin Gn Sirer, Robert Grimm, Arthur J. Gregory, Brian N. Bershad
and implementation of a distributed virtual
Abstract Application Performance and Hexibility on Exokernel Systems (2008)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Or M. Bricefio, Russell Hunt, David Mazikres, ...
The exokemel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Abstract Application Performance and Flexibility on Exokernel Systems (2008)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Robert Grimm, Brian N. Bershad
curity concerns. In these systems, code can be added to a running system in almost arbitrary fashion, and it can inter-act through low latency (but type safe) interfaces with other code....
One.world: Experiences with a Pervasive Computing Architecture (2008)
A New Architecture, One. World, Robert Grimm
framework for building pervasive applications. It targets applications that automatically adapt to highly dynamic computing environments, and it includes services that make it easier for developers...
Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, ...
Pervasive computing provides an attractive vision for the future of computing. Computational power will be available everywhere. Mobile and stationary devices will dynamically connect and coordinate...
Abstract A System Architecture for Pervasive Computing (2008)
Robert Grimm, Tom Anderson, Brian Bershad, David Wetherall
Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while hardware and...
Design And Implementation, Emin Gün Sirer, Robert Grimm, Arthur J. Gregory, Brian N. Bershad
This paper describes the motivation, architecture and performance of a distributed virtual machine (DVM) for networked computers. DVMs rely on a distributed service architecture to meet the...
Padre: A policy architecture for building data replication systems (2008)
Nalini Belaramani, An Zheng, Amol Nayate, Robert Soulé, Mike Dahlin, Robert Grimm
Abstract: This paper presents Padre, a new policy architecture for developing data replication systems. Padre simplifies design and implementation by embodying the right abstractions for replication...
Padre: A policy architecture for building data replication systems (2008)
Nalini Belaramani, An Zheng, Amol Nayate, Robert Soulé, Mike Dahlin, Robert Grimm
Abstract: This paper presents Padre, a new policy architecture for developing data replication systems. Padre simplifies design and implementation by embodying the right abstractions for replication...
Padre: A policy architecture for building data replication systems (2008)
Nalini Belaramani, An Zheng, Amol Nayate, Robert Soulé, Mike Dahlin, Robert Grimm
Abstract: This paper presents Padre, a new policy architecture for developing data replication systems. Padre simplifies design and implementation by embodying the right abstractions for replication...
17th ACM Symposium on Operating System Principles (SOSP’99) (2007)
Emin Gün Sirer, Robert Grimm, Arthur J. Gregory, Brian N. Bershad
Design and implementation of a distributed virtual machine for networked computers
Coordinating Distributed State in the Internet (2007)
this paper examines several approaches to coordinating distributed state, identies their key characteristics, and discusses how they apply to distribution in the Internet. Distributed state generally...
Ensuring content integrity for untrusted peer-to-peer content distribution networks (2007)
Nikolaos Michalakis, Robert Soulé, Robert Grimm
Many existing peer-to-peer content distribution networks (CDNs) such as Na Kika, CoralCDN, and CoDeeN are deployed on PlanetLab, a relatively trusted environment. But scaling them beyond this trusted...
Na Kika: Secure service execution and composition in an open edge-side computing network (2006)
Robert Grimm, Guy Lichtman, Nikolaos Michalakis, Amos Elliston, Adam Kravetz, Jonathan Miller, ...
Making the internet’s edge easily extensible fosters collaboration and innovation on web-based applications, but also raises the problem of how to secure the execution platform. This paper presents...
Making extensibility of system software practical with the C4 toolkit (2006)
Marco Yuen, Marc E. Fiuczynski, Robert Grimm, Yvonne Coady, David Walker
Abstract. This paper presents work in progress on the C4 toolkit, which is designed to bring AOSD techniques to system software written in C and which we have used for introducing aspects into the...
Systems support for ubiquitous computing: A case study of two implementations of Labscape (2002)
Larry Arnstein, Robert Grimm, Chia-yang Hung, Jong Hee Kang, Anthony Lamarca, Stefan B, ...
Labscape, a ubiquitous computing environment for cell biologists, was implemented twice: once using only standard tools for distributed systems (TCP sockets, and shared file systems) and once using...
Systems support for ubiquitous computing: A case study of two implementations of Labscape (2002)
Larry Arnstein, Robert Grimm, Chia-yang Hung, Jong Hee Kang, Lamarca Gary Look
Abstract. Labscape, a ubiquitous computing environment for cell biologists, was implemented twice: once using only standard tools for distributed systems (TCP sockets and shared file systems) and...
Systems Support for Ubiquitous Computing: (2002)
Case Study Of, Larry Arnstein, Robert Grimm, Chia-yang Hung, Jong Hee Kang, Anthony Lamarca, ...
Labscape, a ubiquitous computing environment for cell biologists, was implemented twice: once using only standard tools for distributed systems (TCP sockets, and shared file systems) and once using...
Systems support for ubiquitous computing: A case study of two implementations of Labscape (2002)
Larry Arnstein, Robert Grimm, Chia-yang Hung, Jong Hee Kang, Gary Look, Stefanb. Sigurdsson, ...
Abstract. Labscape, a ubiquitous computing environment for cell biologists, was implemented twice: once using only standard tools for distributed systems (TCP sockets and shared file systems) and...
Zugl.: Darmstadt, Techn. Universiẗat, Diss., 2001.
Systems Directions for Pervasive Computing (2001)
Robert Grimm, Janet Davis, Ben Hendrickson, Eric Lemar, Adam Macbeth, Steven Swanson, ...
Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while hardware and...
System-Level Programming Abstractions for Ubiquitous Computing (2001)
Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Steven Gribble, ...
The promise of ubiquitous computing is predicated on the ability of programmers to develop applications that will be able to work properly in constantly changing situations. Functions that interact...
System-Level Programming Abstractions for Ubiquitous Computing (2001)
Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Steven Gribble, ...
The promise of ubiquitous computing is predicated on the ability of programmers to develop applications that will be able to work properly in constantly changing situations. Functions that interact...
Programming for Pervasive Computing Environments (2001)
Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Steven Gribble, ...
Pervasive computing provides an attractive vision for the future of computing. Computational power will be available everywhere. Mobile and stationary devices will dynamically connect and coordinate...
Systems Directions for Pervasive Computing (2001)
Robert Grimm, Janet Davis, Ben Hendrickson, Eric Lemar, Adam Macbeth, Steven Swanson, ...
Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while hardware and...
Systems Directions for Pervasive Computing (2001)
Robert Grimm, Janet Davis, Ben Hendrickson, Eric Lemar, Adam Macbeth, Steven Swanson, ...
Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while hardware and...
Separating access control policy, enforcement and functionality in extensible systems (2001)
Robert Grimm, Brian N. Bershad
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Extensions closely...
Systems Directions for Pervasive Computing (2001)
Robert Grimm, Janet Davis, Ben Hendrickson, Eric Lemar, Adam Macbeth, Steven Swanson, ...
Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while hardware and...
A System Architecture for Pervasive Computing (2000)
Robert Grimm, Tom Anderson, Brian Bershad, David Wetherall
Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while hardware and...
Revisiting Structured Storage: A Transactional Record Store (2000)
Robert Grimm, Michael M. Swift, Henry M. Levy
An increasing number of applications, such as electronic mail servers, web servers, and personal information managers, handle large amounts of homogeneous data. This data can be effectively...
Revisiting Structured Storage: A Transactional Record Store (2000)
Robert Grimm, Michael M. Swift, Henry M. Levy
An increasing number of applications, such as electronic mail servers, web servers, and personal information managers, handle large amounts of homogeneous data. This data can be e#ectively...
Revisiting structured storage: A transactional record store (2000)
Robert Grimm, Michael M. Swift, Henry M. Levy
An increasing number of applications, such as electronic mail servers, web servers, and personal information managers, handle large amounts of homogeneous data. This data can be effectively...
Design and Implementation of a Distributed Virtual Machine for Networked Computers (1999)
Emin Gun Sirer, Robert Grimm, Arthur J. Gregory, Brian N. Bershad
This paper describes the motivation, architecture and performance of a distributed virtual machine (DVM) for networked computers. DVMs rely on a distributed service architecture to meet the...
Distributed Virtual Machines: A System Architecture for Network Computing (1998)
Emin Gün Sirer, Robert Grimm, Brian N. Bershad, Arthur J. Gregory, Sean Mcdirmid
Providing policy-neutral and transparent access control in extensible systems (1998)
Robert Grimm, Brian N. Bershad
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Extensions closely...
Distributed Virtual Machines: A System Architecture for Network Computing (1998)
Emin Gün Sirer, Robert Grimm, Brian N. Bershad, Arthur J. Gregory, Sean Mcdirmid
Modern virtual machines, such as Java and Inferno, are emerging as network computing platforms. While today's virtual machines provide higher-level abstractions and more sophisticated services...
Distributed Virtual Machines: A System Architecture for Network Computing (1998)
Emin Gün Sirer, Emin G��n Sirer, Robert Grimm, Arthur J. Gregory, Nathan Anderson, Brian N. Bershad
Modern virtual machines, such as Java and Inferno, are emerging as network computing platforms. While these virtual machines provide higher-level abstractions and more sophisticated services than...
Providing Policy-Neutral and Transparent Access Control in Extensible Systems (1998)
Robert Grimm, Brian N. Bershad
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Extensions closely...
Distributed Virtual Machines: A System Architecture for Network Computing (1998)
Emin Gün Sirer, Robert Grimm, Arthur J. Gregory, Nathan Anderson, Brian N. Bershad
Modern virtual machines, such as Java and Inferno, are emerging as network computing platforms. While these virtual machines provide higher-level abstractions and more sophisticated services than...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Access Control in Extensible Systems (1997)
Robert Grimm, Brian N. Bershad
The recent trend towards dynamically extensible systems holds the promise of more powerful and flexible systems. At the same time, the impact of extensibility on overall system security and,...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Application Performance and Flexibility on Exokernel Systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Application Performance and Flexibility on Exokernel Systems (1997)
Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Russell Hunt, David Mazi Eres, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Application Performance and Flexibility on Exokernel Systems (1997)
Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Russell Hunt, David Mazi Eres, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Application Performance and Flexibility on Exokernel Systems (1997)
Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Russell Hunt, David Mazi Eres, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Application Performance and Flexibility on Exokernel Systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hector M. Briceno, Russel Hunt, David Mazieres, ...
Exokernel principles XN- a storage system Xok and ExOS
Exodisk: Maximizing Application Control Over Storage Management (1996)
Gregory R. Ganger, M. Frans Kaashoek, Frederic R. Morgenthaler, Robert Grimm, Robert Grimm
This thesis presents a new disk system architecture to address the growing performance gap between CPU speed and disk access times. Based on the observation that disk access times can greatly benefit...
Atomic Recovery Units: Failure Atomicity for Logical Disks (1996)
Robert Grimm, Wilson C. Hsieh, M. Frans Kaashoek, Wiebren De Jonge
Atomic recovery units (ARUs) are a mechanism that allows several logical disk operations to be executed as a single atomic unit with respect to failures. For example, ARUs can be used during file...
Atomic recovery units: Failure atomicity for logical disks (1996)
Robert Grimm, Wilson C. Hsieh, M. Frans Kaashoek, Wiebren De Jonge
Atomic recovery units (ARUs) are a mechanism that allows several logical disk operations to be executed as a single atomic unit with respect to failures. For example, ARUs can be used during file...
LA SEXUALIDAD Y EL AMOR : ENSAYO DE ETICA TEOLOGICA (1968)
TRADUCCION DE: AMOUR ET SEXUALITE
Analyse des termes: Eleutheria, Eleutheros, Eleutheroun, dans le Nouveau Testament. (1949)
Thèse théol. Neuchâtel, 1949.