Filters








86 Hits in 1.7 sec

Formal requirements for virtualizable third generation architectures

Gerald J. Popek, Robert P. Goldberg
1974 Communications of the ACM  
There are various virtualization techniques as well as requirements for architectures to be virtualizable [2] .  ...  Qemu then copies the packet from tap device and generates the interrupt for the guest OS emulating the virtual NIC.  ... 
doi:10.1145/361011.361073 fatcat:xxcqjwrclnaste27aplvpk6mwy

Formal requirements for virtualizable third generation architectures

Gerald J. Popek, Robert P. Goldberg
1973 ACM SIGOPS Operating Systems Review  
There are various virtualization techniques as well as requirements for architectures to be virtualizable [2] .  ...  Qemu then copies the packet from tap device and generates the interrupt for the guest OS emulating the virtual NIC.  ... 
doi:10.1145/957195.808061 fatcat:vv7hp5nbe5gexdazrnvyvxkduu

Formal requirements for virtualizable third generation architectures

Gerald J. Popek, Robert P. Goldberg
1973 Proceedings of the fourth symposium on Operating system principles - SOSP '73  
There are various virtualization techniques as well as requirements for architectures to be virtualizable [2] .  ...  Qemu then copies the packet from tap device and generates the interrupt for the guest OS emulating the virtual NIC.  ... 
doi:10.1145/800009.808061 dblp:conf/sosp/PopekG73 fatcat:vjpvx2l46ff5rf57jlbeitzmhq

Formal virtualization requirements for the ARM architecture

Niels Penneman, Danielius Kudinskas, Alasdair Rawsthorne, Bjorn De Sutter, Koen De Bosschere
2013 Journal of systems architecture  
Companies are also making their architectures virtualizable through extensions. We analyse both approaches for ARM and conclude that both have their use in future systems.  ...  We present an analysis of the virtualizability of the ARMv7-A architecture carried out in the context of the seminal paper published by Popek and Goldberg 38 years ago.  ...  In 1974, Popek and Goldberg [44] wrote a classic paper on "Formal requirements for virtualizable third generation architectures".  ... 
doi:10.1016/j.sysarc.2013.02.003 fatcat:u56d2dxztbex3lmxifv57fira4

Page 1862 of Mathematical Reviews Vol. 49, Issue 5 [page]

1975 Mathematical Reviews  
Dewdney (London, Ont.) | 10176 - Popek, Gerald J.; Goldberg, Robert P. 10177 | Formal requirements - for virtualizable third generation | architectures. Comm.  ...  Formal techniques are used to prove the following theorem, which provides 4 fairly simple condition that is sufficient to guarantee virtualizability: For any conventional third-generation computer, a virtual  ... 

NGSCB: A Trusted Open System [chapter]

Marcus Peinado, Yuqun Chen, Paul England, John Manferdelli
2004 Lecture Notes in Computer Science  
We describe Microsoft's Next Generation Secure Computing Base (NGSCB). The system provides high assurance computing in a manner consistent with the commercial requirements of mass market systems.  ...  This poses a number of challenges and we describe the system architecture we have used to overcome them.  ...  Requirements NGSCB strives for a general-purpose, secure computing environment for running trusted applications.  ... 
doi:10.1007/978-3-540-27800-9_8 fatcat:imgnr4bj3zgxlerzil5h72nwmm

Survey of virtual machine research

Robert P. Goldberg
1974 Computer  
While some are ad hoc approaches aimed at reducing overhead arising from third-generation architectural weaknesses, others have gen eral applicability to virtualizable architectures as well.  ...  Third-Generation Implementation Issues The solution that was adopted in third-generation architectures involved running all software for virtual machines in the nonprivileged mode and having the virtual  ... 
doi:10.1109/mc.1974.6323581 fatcat:odhm4njurzfkfb3v6p7ncfqzpq

A Novel Software Architecture for Mixed Criticality Systems [chapter]

Ralf Ramsauer, Jan Kiszka, Wolfgang Mauerer
2020 Lecture Notes in Electrical Engineering  
Architectural simplicity is a central aspect of our approach and a precondition for reliable implementability and successful certification.  ...  We present a novel architecture for mixed criticality systems based on Linux that allows us to consolidate critical and uncritical parts onto a single hardware unit.  ...  By using standard operating systems, we minimised the effort that is required for porting existing legacy payload applications. A minimalist hypervisor core simplifies certification efforts.  ... 
doi:10.1007/978-3-030-48602-0_11 fatcat:qpmil35ojbc5neqxcaevglrkee

The OKL4 microvisor

Gernot Heiser, Ben Leslie
2010 Proceedings of the first ACM asia-pacific workshop on Workshop on systems - APSys '10  
It is also a third-generation microkernel that aims to support the construction of similarly componentised systems as classical microkernels.  ...  We assert that the requirements for both types of systems can be met with a single set of abstractions, a single design, and a single implementation.  ...  Acknowledgements We would like to thank the OK Labs engineering team, especially Carl van Schaik, for their contributions to designing and implementing the OKL4 microvisor.  ... 
doi:10.1145/1851276.1851282 dblp:conf/sigcomm/HeiserL10 fatcat:7nvoytnyvje7lpuovswpbdjpmi

Wirtualna infrastruktura - nowe podejście do systemów

Przemysław Przybylak
2010 Zeszyty Naukowe  
Computing Machinery), zrzeszającej profesjonalistów informatyki ukazał się artykuł pt.: Formal Requirements for Virtualizable Third Generation Architectures.  ...  Goldberga sformułowane w artykule Formal Requirements for Virtualizable Third Generation Architectures; Communications of the ACM, July 1974, Volume 17, Number 7  ... 
doi:10.26348/znwwsi.4.11 doaj:82e74a46e5b445769861e841280cd2f2 fatcat:22qwzuzokbe7dauuv55sor72cq

Information Centre by Virtual Computer Through a Multi-Technology Framework

Pedro Ramos Brandao
2017 Internet of Things and Cloud Computing  
Acknowledgements I am grateful to CIDEHUS and the University of Évora for their support.  ...  Goldberg have created a set of formal requirements for architectures, whose greater relevance has been entitled "Formal Requirements for Virtualizable Third Generation Architectures".  ...  Almost two-thirds say having enough computers and online services for people who want to use them should be a high priority for libraries...".  ... 
doi:10.11648/j.iotcc.20170504.12 fatcat:6ct52yw2tre7bp7a5b7pvo2yua

Service-orientation in electronic markets

Rainer Alt, Witold Abramowicz, Haluk Demirkan
2010 Electronic Markets  
Third, serviceoriented architecture (SOA) principles are spreading in many large organizations as well as with many standard software vendors.  ...  For example, Brohman et al. (2009) describe a network-based customer service system that consists of services for capturing offers, for service discovery and for the generation of proposals.  ... 
doi:10.1007/s12525-010-0047-6 fatcat:6foppgalwvew5n4slwvz5bxrbi

The persistent relevance of the local operating system to global applications

Jay Lepreau, Bryan Ford, Mike Hibler
1996 Proceedings of the 7th workshop on ACM SIGOPS European workshop Systems support for worldwide applications - EW 7  
In this paper we outline the supporting arguments for these views and describe an OS design that supports secure encapsulation of the foreign processes that will be increasingly prevalent in tomorrow's  ...  We believe we have developed an operating system architecture that can efficiently address that demand for isolation and resource control.  ...  Our approach is to design a virtualizable architecture with the same goal of efficient layering, but one that is appropriate for software implementation.  ... 
doi:10.1145/504475.504477 fatcat:ofcq3qd3m5d77bx5bwowbz2iam

The persistent relevance of the local operating system to global applications

Jay Lepreau, Bryan Ford, Mike Hibler
1996 Proceedings of the 7th workshop on ACM SIGOPS European workshop Systems support for worldwide applications - EW 7  
In this paper we outline the supporting arguments for these views and describe an OS design that supports secure encapsulation of the foreign processes that will be increasingly prevalent in tomorrow's  ...  We believe we have developed an operating system architecture that can efficiently address that demand for isolation and resource control.  ...  Our approach is to design a virtualizable architecture with the same goal of efficient layering, but one that is appropriate for software implementation.  ... 
doi:10.1145/504450.504477 dblp:conf/sigopsE/LepreauFH96 fatcat:afedmsh5azdglnazf7pvapgtxa

L4Android

Matthias Lange, Steffen Liebergeld, Adam Lackorzynski, Alexander Warg, Michael Peter
2011 Proceedings of the 1st ACM workshop on Security and privacy in smartphones and mobile devices - SPSM '11  
In this work we present a generic operating system framework that does away with the need for such hardware extensions. We encapsulate the original smartphone operating system in a virtual machine.  ...  Emerging applications such as Near Field Communication require new levels of security that cannot be enforced by current smartphone operating systems.  ...  Acknowledgements We would like to thank Collin Mulliner for his instructive comments and support. We also thank Dmitry Nedospasov for his thorough review of the paper.  ... 
doi:10.1145/2046614.2046623 dblp:conf/ccs/LangeLLWP11 fatcat:ybnqzm4vojf2xil227deqwqlky
« Previous Showing results 1 — 15 out of 86 results