Authors: Nikhil Swamy, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-yves Strub, Gavin Bierman
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory—Semantics, D.4.6 [Op- erating Systems, Security and Protectio
File Description: application/pdf
Authors: Matthias Keil, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: ERATING SYSTEMS, Security and Protection—Access controls General Terms Design, Languages, Security, Verification Keywords Access Permission Contracts, JavaScript, Proxies
File Description: application/pdf
Authors: Schoettner Traub And, M. Schoettner, S. Traub, P. Schulthess
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.plurix.de/publications/1998/pdpta1998.pdf.
Subject Terms: Java, Distributed Shared Memory, Op- erating Systems, Transactions i Introduction
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.3390; http://www.plurix.de/publications/1998/pdpta1998.pdf
Availability: http://www.plurix.de/publications/1998/pdpta1998.pdf
Authors: Jeff Magee, Jeff Kramer, Morris Sloman
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://eprints.imperial.ac.uk/bitstream/10044/1/451/1/Constructing Distributed Systems in.pdf.
Subject Terms: erating system, programming language, run-time system
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.493.6349; http://eprints.imperial.ac.uk/bitstream/10044/1/451/1/Constructing Distributed Systems in.pdf
Availability: http://eprints.imperial.ac.uk/bitstream/10044/1/451/1/Constructing Distributed Systems in.pdf
Authors: Matthias Keil, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: ERATING SYSTEMS, Security and Protection—Access controls General Terms Design, Languages, Security, Verification Keywords Access Permission Contracts, JavaScript, Proxies
File Description: application/pdf
Authors: Konstantinos Menychtas, Kai Shen, Michael L. Scott
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.rochester.edu/~kshen/papers/asplos2014.pdf.
Subject Terms: Categories and Subject Descriptors C.1.3 [Processor Ar- chitectures, Other Architecture Styles, D.4.1 [Operating Systems, Process Management—Scheduling, D.4.8 [Op- erating Systems, Performance Keywords Operating system protection, scheduling, fair- ness, hardware accelerators
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.6071; http://www.cs.rochester.edu/~kshen/papers/asplos2014.pdf
Availability: http://www.cs.rochester.edu/~kshen/papers/asplos2014.pdf
Authors: Edmund B. Nightingale, Daniel Peek, Peter M. Chen, Jason Flinn
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.brandeis.edu/~cs220/reads/nightingale--parallelizing-security-checks.pdf.
Subject Terms: Categories and Subject Descriptors D.4.5 [Operating Systems, Reliability, D.4.6 [Operating Systems, Security and Protection, D.4.7 [Operating Systems, Organization and Design, D.4.8 [Op- erating Systems, Performance General Terms Performance, Security Keywords Operating Systems, Security, Performance, Parallel, Speculative Execution
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.585.2117; http://www.cs.brandeis.edu/~cs220/reads/nightingale--parallelizing-security-checks.pdf
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://conferences.sigcomm.org/sigcomm/2013/papers/sigcomm/p469.pdf.
Subject Terms: C.2.1 [Network Architecture and Design, Network topol- ogy—Testbed, C.2.4 [Distributed Systems, Network op- erating systems—Virtualization, Management, Testbed Keywords Geographically Distributed, Adaptive Deployment, Testbed
File Description: application/pdf