BibSLEIGH — operating system tag

operating system

operating system

Tag #operating system

245 papers:

SANER-2018-Bosch #ecosystem #towards: Towards a new digital business operating system: Speed, data, ecosystems, and empowerment (keynote) (JB), p. 2.
ASE-2017-CoppikSWS #fault #kernel #named: TrEKer: tracing error propagation in operating system kernels (NC, OS, SW0, NS), pp. 377–387.
ICSE-2016-SpinellisLK #c #case study #evolution #programming: The evolution of C programming practices: a study of the Unix operating system 1973-2015 (DS, PL, MK), pp. 748–759.
ASPLOS-2016-ShalevHPKW #named: CSR: Core Surprise Removal in Commodity Operating Systems (NS, EH, HP, IK, YW), pp. 773–787.
ITiCSE-2015-KirkpatrickP #assurance #process #using: Using the Readiness Assurance Process and Metacognition in an Operating Systems Course (MSK, SP), pp. 183–188.
SAC-2015-ByunC #automation #constraints #safety #testing #using: Automated system-level safety testing using constraint patterns for automotive operating systems (TB, YC), pp. 1815–1822.
SAC-2015-InacioDBNM #file system #parallel #parametricity #performance: Performance impact of operating systems’ caching parameters on parallel file systems (ECI, MARD, FZB, POAN, DDJdM), pp. 2066–2068.
SAC-2015-ZiccardiSV: A time-composable operating system for the Patmos processor (MZ, MS, TV), pp. 1892–1897.
ASPLOS-2015-DautenhahnKDCA #architecture #kernel: Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation (ND, TK, WD, JC, VSA), pp. 191–206.
HPDC-2015-HaleD #kernel #parallel: A Case for Transforming Parallel Runtimes Into Operating System Kernels (KCH, PAD), pp. 27–32.
FM-2014-GunadiT #android #case study #logic #metric #monitoring #performance #runtime: Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.
SAC-2014-MatiasPASH #case study #empirical #reliability: An empirical exploratory study on operating system reliability (RM, MP, LBdA, CS, LH), pp. 1523–1528.
ASPLOS-2014-Calder #challenge: Inside windows azure: the challenges and opportunities of a cloud operating system (BC), pp. 1–2.
ASPLOS-2014-CriswellDA: Virtual ghost: protecting applications from hostile operating systems (JC, ND, VSA), pp. 81–96.
ASPLOS-2014-LinWZ #mobile #named: K2: a mobile operating system for heterogeneous coherence domains (FXL, ZW, LZ), pp. 285–300.
OSDI-2014-BelayPKGKB #latency #named #throughput: IX: A Protected Dataplane Operating System for High Throughput and Low Latency (AB, GP, AK, SG, CK, EB), pp. 49–65.
OSDI-2014-PeterLZPWKAR #named: Arrakis: The Operating System is the Control Plane (SP, JL, IZ, DRKP, DW, AK, TEA, TR), pp. 1–16.
OSDI-2014-SpahnBLBGK #abstraction #data transformation #fine-grained #named: Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems (RS, JB, ML, SB, RG, GEK), pp. 113–129.
OSDI-2014-ZellwegerGKR #kernel: Decoupling Cores, Kernels, and Operating Systems (GZ, SG, KK, TR), pp. 17–31.
SEFM-2013-Choi #constraints #generative #specification #testing: Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.
GRAPHITE-2013-Majster-CederbaumS #architecture #constraints #reachability: Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete (MEMC, NS), pp. 1–11.
AdaEurope-2013-BaldovinMV #towards: Towards a Time-Composable Operating System (AB, EM, TV), pp. 143–160.
ASE-2013-CotroneoLFN #named #robust #testing: SABRINE: State-based robustness testing of operating systems (DC, DDL, FF, RN), pp. 125–135.
SAC-2013-ImJLL #configuration management #manycore: A dynamically reconfigurable operating system for manycore systems (CI, MJ, JL, SL), pp. 1622–1627.
SAC-2013-MatiasOA #case study #experience #quality #reliability: Operating system reliability from the quality of experience viewpoint: an exploratory study (RMJ, GDO, LBdA), pp. 1644–1649.
ASPLOS-2013-GiuffridaKT #automation: Safe and automatic live update for operating systems (CG, AK, AST), pp. 279–292.
ASPLOS-2013-HofmannKDLW #named: InkTag: secure applications on an untrusted operating system (OSH, SK, AMD, MZL, EW), pp. 265–278.
ASPLOS-2013-MadhavapeddyMRSSGSHC #kernel #library #named: Unikernels: library operating systems for the cloud (AM, RM, CR, DJS, BS, TG, SS, SH, JC), pp. 461–472.
DAC-2013-BartoliniCDMSS #research: The autonomic operating system research project: achievements and future directions (DBB, RC, GD, MM, MDS, FS), p. 10.
DAC-2013-RellermeyerLK #embedded #platform: Cloud platforms and embedded computing: the operating systems of the future (JSR, SWL, MK), p. 6.
PDP-2013-HolmbackaALL #energy #manycore #performance: QoS Manager for Energy Efficient Many-Core Operating Systems (SH, DA, SL, JL), pp. 318–322.
PDP-2013-HolmbackaLLL #distributed #manycore #migration #performance: Task Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems (SH, WL, SL, JL), pp. 310–317.
PLOS-2013-Kell #question: The operating system: should there be one? (SK), p. 7.
SOSP-2013-NikolaevB #kernel #named: VirtuOS: an operating system with kernel virtualization (RN, GB), pp. 116–132.
ITiCSE-2012-GoldweberDJ #hardware #using: Supporting operating systems projects using the μMPS2 hardware simulator (MG, RD, TJ), pp. 63–68.
ICEIS-v2-2012-LelionnaisBDRS #behaviour #modelling #realtime: Formal Behavioral Modeling of Real-time Operating Systems (CL, MB, JD, OHR, CS), pp. 407–414.
SEKE-2012-VicenteDMM #comprehension #execution #kernel: Improving Program Comprehension in Operating System Kernels with Execution Trace Information (EV, GD, RM, MdAM), pp. 174–179.
ASE-2012-IbrahimGHA #ambiguity #analysis #kernel #points-to #using: Supporting operating system kernel data disambiguation using points-to analysis (ASI, JG, JHHH, MA), pp. 234–237.
SAC-2012-ImJLLL #manycore #realtime: A real-time operating system for manycore systems (CI, MJ, JDL, SL, SL), pp. 1845–1846.
SAC-2012-JeremicMBR: Operating system support for dynamic over-provisioning of solid state drives (NJ, GM, AB, JR), pp. 1753–1758.
ASPLOS-2012-PanneerselvamS #named: Chameleon: operating system support for dynamic processors (SP, MMS), pp. 99–110.
DAC-2012-SironiBCCHSS #adaptation #named #performance #self: Metronome: operating system level performance management via self-adaptive computing (FS, DBB, SC, FC, HH, DS, MDS), pp. 856–865.
DAC-2012-YouseffBKGWA: The case for elastic operating system services in fos (LY, NB, HK, CGI, DW, AA), pp. 265–270.
ITiCSE-2011-Esser #memory management: Combining memory management and filesystems in an operating systems course (HGE), p. 386.
SIGITE-2011-Mustafa #learning #simulation #visualisation: Visualizing the modern operating system: simulation experiments supporting enhanced learning (BM), pp. 209–214.
SAC-2011-ChiangH #embedded: Supporting dynamic update and resource protection in an embedded operating system (MLC, HYH), pp. 616–620.
ASPLOS-2011-HofmannDKRW #kernel: Ensuring operating system kernel integrity with OSck (OSH, AMD, SK, IR, EW), pp. 279–290.
HPCA-2011-JiangS #architecture #framework: Architectural framework for supporting operating system survivability (XJ, YS), pp. 456–465.
LCTES-2011-BerthierMM #embedded #programming: Synchronous programming of device drivers for global resource control in embedded operating systems (NB, FM, LM), pp. 81–90.
PDP-2011-QuesnelL #distributed #framework: Operating Systems and Virtualization Frameworks: From Local to Distributed Similarities (FQ, AL), pp. 495–502.
SOSP-2011-RossbachCSRW #abstraction #named: PTask: operating system abstractions to manage GPUs as compute devices (CJR, JC, MS, BR, EW), pp. 233–248.
PLDI-2010-YangH #automation #type safety #verification: Safe to the last instruction: automated verification of a type-safe operating system (JY, CH), pp. 99–110.
ASE-2010-BergerSLWC #modelling #variability: Variability modeling in the real: a perspective from the operating systems domain (TB, SS, RL, AW, KC), pp. 73–82.
SAC-2010-ChenSC #aspect-oriented #evolution #framework: An aspect-oriented framework for operating system evolution (JC, HMS, CFC), pp. 226–230.
SAC-2010-OliverSF #abstraction #network: An operating system abstraction layer for portable applications in wireless sensor networks (RSO, IS, GF), pp. 742–748.
DATE-2010-PenolazziSH #energy #performance #predict #realtime: Predicting energy and performance overhead of Real-Time Operating Systems (SP, IS, AH), pp. 15–20.
HPCA-2010-LiBKKRH #architecture #manycore: Operating system support for overlapping-ISA heterogeneous multi-core architectures (TL, PB, RCK, DAK, DR, SH), pp. 1–12.
OSDI-2010-TangMK #trust: Trust and Protection in the Illinois Browser Operating System (ST, HM, STK), pp. 17–32.
CBSE-2009-LoiretNBL #component #embedded #realtime: Component-Based Real-Time Operating System for Embedded Applications (FL, JFN, JPB, OL), pp. 209–226.
ITiCSE-2009-Hwang #education #video: Video courseware for teaching operating systems with Windows (SwH), p. 340.
ITiCSE-2009-Hwang09a #education #learning: Blended learning for teaching operating systems with Windows (SwH), p. 380.
SIGITE-2009-Stanley #architecture #education #hardware #logic #network #simulation #using: Using digital logic simulation as a teaching aid in discrete mathematics, hardware and operating systems, networking, computer organization and computer architecture: a workshop outline (TDS), pp. 1–2.
SEFM-2009-DaumSS #correctness #implementation #realtime: Implementation Correctness of a Real-Time Operating System (MD, NS, MS), pp. 23–32.
ICSE-2009-PadioleauTZ #taxonomy: Listening to programmers — Taxonomies and characteristics of comments in operating system code (YP, LT, YZ), pp. 331–341.
SAC-2009-CamaraBG #towards: Towards organizational agent-oriented operating systems (JPC, VJB, AGF), pp. 752–756.
SAC-2009-ParkH #embedded #fine-grained #programming #using: Building a customizable embedded operating system with fine-grained joinpoints using the AOX programming environment (JP, SH), pp. 1952–1956.
SAC-2009-YokoyamaHSK #internet #policy #security: Simplifying security policy descriptions for internet servers in secure operating systems (TY, MH, MS, KK), pp. 326–333.
ASPLOS-2009-LenharthAK: Recovery domains: an organizing principle for recoverable operating systems (AL, VSA, STK), pp. 49–60.
DATE-2009-SuCGSP #memory management #named: SecBus: Operating System controlled hierarchical page-based memory bus protection (LS, SC, PG, CS, RP), pp. 570–573.
SOSP-2009-PorterHRBW #transaction: Operating systems transactions (DEP, OSH, CJR, AB, EW), pp. 161–176.
ITiCSE-2008-PerezMF #learning: Cooperative learning in operating systems laboratory (JEP, JGM, IMF), p. 323.
SAC-2008-YiMCJK #named #realtime: PreeMe: preemptive real-time task management for event-driven sensor operating systems (SY, HM, YC, IJ, YK), pp. 1726–1727.
ASPLOS-2008-ChenGLSWBDP #approach #named: Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems (XC, TG, ECL, PS, CAW, DB, JSD, DRKP), pp. 2–13.
ASPLOS-2008-WeinsbergDABW #programmable: Tapping into the fountain of CPUs: on operating system support for programmable devices (YW, DD, TA, MBY, PW), pp. 179–188.
DATE-2008-ChenDC #encryption: Operating System Controlled Processor-Memory Bus Encryption (XC, RPD, ANC), pp. 1154–1159.
OSDI-2008-Boyd-WickizerCCMKMPSWDZZ #named: Corey: An Operating System for Many Cores (SBW, HC, RC, YM, MFK, RM, AP, LS, MW, YhD, YZ, ZZ), pp. 43–57.
OSDI-2008-DavidCCC #named #reliability: CuriOS: Improving Reliability through Operating System Structure (FMD, EC, JCC, RHC), pp. 59–72.
OSDI-2008-YangLBKM #named: Redline: First Class Support for Interactivity in Commodity Operating Systems (TY, TL, EDB, SFK, JEBM), pp. 73–86.
ITiCSE-2007-Hwang #case study #education #experience: Teaching operating systems with Windows: experiences and contributions (SwH), p. 316.
ITiCSE-2007-Sheehan #education #ruby: Teaching operating systems with ruby (RJS), pp. 38–42.
ICEIS-AIDSS-2007-BenschBRBSB #optimisation #predict #self: Self-Learning Prediction System for Optimisation of Workload Management in a Mainframe Operating System (MB, DB, WR, MB, WGS, PB), pp. 212–218.
SAC-2007-HuangHYCK #named #network: LA-TinyOS: a locality-aware operating system for wireless sensor networks (TYH, KYH, HYY, ETHC, CTK), pp. 1151–1158.
SAC-2007-MinYCH #memory management #performance: An efficient dynamic memory allocator for sensor operating systems (HM, SY, YC, JH), pp. 1159–1164.
SAC-2007-YiMLKJ #concurrent #multi #named #stack #thread: SESAME: space-efficient stack allocation mechanism for multi-threaded sensor operating systems (SY, HM, SL, YK, IJ), pp. 1201–1202.
CASE-2007-PuSZD #precise #realtime: An Application of Real-time Operating System in High Speed and High Precision Motion Control Systems (DP, XS, WZ, HD), pp. 997–1001.
CGO-2007-HeTPDA #kernel: Code Compaction of an Operating System Kernel (HH, JT, SP, SKD, GRA), pp. 283–298.
SOSP-2007-CriswellLDA #architecture #execution: Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.
SOSP-2007-RossbachHPRAW #hardware #memory management #named #transaction #using: TxLinux: using and managing hardware transactional memory in an operating system (CJR, OSH, DEP, HER, BA, EW), pp. 87–102.
SOSP-2007-SuAF #analysis #configuration management #named: AutoBash: improving configuration management with operating system causality analysis (YYS, MA, JF), pp. 237–250.
ITiCSE-2006-GasparGS: SOFTICE undergraduate operating systems laboratories (AG, CG, JS), p. 354.
ICSM-2006-Stallman #linux: The Free Software Movement and the GNU/Linux Operating System (RMS), p. 426.
CHI-2006-BardramBS: Support for activity-based computing in a personal computing operating system (JEB, JBP, MS), pp. 211–220.
SAC-2006-CorreaZS #multi: Operating system multilevel load balancing (MC, AFZ, RS), pp. 1467–1471.
ASPLOS-2006-Rosenblum #architecture: Impact of virtualization on computer architecture and operating systems (MR), p. 1.
DAC-2006-YangLD #memory management: High-performance operating system controlled memory compression (LY, HL, RPD), pp. 701–704.
DATE-2006-IgnatNSN #classification #impact analysis #realtime: Soft-error classification and impact analysis on real-time operating systems (NI, BN, YS, GN), pp. 182–187.
DATE-2006-PettisRL #automation #policy #runtime: Automatic run-time selection of power policies for operating systems (NP, JR, YHL), pp. 508–513.
OSDI-2006-JoukovTIWZ #analysis #latency #profiling: Operating System Profiling via Latency Analysis (NJ, AT, RI, CPW, EZ), pp. 89–102.
OSDI-2006-Ta-MinLL #configuration management #interface #trust: Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable (RTM, LL, DL), pp. 279–292.
ITiCSE-2005-MaiaMP #education #framework #using: A constructivist framework for operating systems education: a pedagogic proposal using the SOsim (LPM, FBM, ACPJ), pp. 218–222.
SIGITE-2005-PardoK #interactive: Deploying interactive e-labs for a course on operating systems (AP, CDK), pp. 71–78.
ICFP-2005-HallgrenJLT #approach #haskell: A principled approach to operating system construction in Haskell (TH, MPJ, RL, APT), pp. 116–128.
SOSP-2005-EfstathopoulosKVFZKMKM #process: Labels and event processes in the Asbestos operating system (PE, MNK, SV, CF, DZ, EK, DM, MFK, RM), pp. 17–30.
ITiCSE-2004-Davoli #education #linux: Teaching operating systems administration with user mode linux (RD), pp. 112–116.
SIGITE-2004-HelpsR #case study #design #flexibility: Design of a flexible case-study instructional module for operating systems for information technology (CRGH, SAR), pp. 56–59.
ASPLOS-2004-GomaaPV #named #smt: Heat-and-run: leveraging SMT and CMP to manage power density through the operating system (MAG, MDP, TNV), pp. 260–270.
DATE-v1-2004-VuleticRPI #configuration management #interface: Operating System Support for Interface Virtualisation of Reconfigurable Coprocessors (MV, LR, LP, PI), p. 748.
OSDI-2004-LiLMZ #debugging #named: CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code (ZL, SL, SM, YZ), pp. 289–302.
ICEIS-v3-2003-SerraoNT #analysis #open source #security: Open Source Security Analysis — Evaluating Security of Open Source vs. Closed Source Operating Systems (CS, DN, PT), pp. 433–440.
DATE-2003-Mooney #clustering #hardware: Hardware/Software Partitioning of Operating Systems (VJM), pp. 10338–10339.
SOSP-2003-LieTH #hardware #implementation: Implementing an untrusted operating system on trusted hardware (DL, CAT, MH), pp. 178–192.
SOSP-2003-SwiftBL #reliability: Improving the reliability of commodity operating systems (MMS, BNB, HML), pp. 207–222.
IFL-2002-WeeldenP #functional #towards: Towards a Strongly Typed Functional Operating System (AvW, MJP), pp. 215–231.
Ada-2002-BarrM #ada #embedded #named #open source #safety: Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT) (VB, SM), pp. 53–66.
SAC-2002-BrommeKEK #algorithm #authentication #concept #framework #testing: A conceptual framework for testing biometric algorithms within operating systems’ authentication (AB, MK, OE, OK), pp. 273–280.
ASPLOS-2002-LiJSVR #comprehension #control flow #predict: Understanding and improving operating system effects in control flow prediction (TL, LKJ, AS, NV, JR), pp. 68–80.
ASPLOS-2002-ZengELV #ecosystem #energy #named: ECOSystem: managing energy as a first class operating system resource (HZ, CSE, ARL, AV), pp. 123–132.
DATE-2002-YooNGJ #automation #design #generative #modelling #performance #simulation: Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design (SY, GN, LG, AAJ), pp. 620–627.
LCTES-SCOPES-2002-Barthelmann: Inter-task register-allocation for static operating systems (VB), pp. 149–154.
OSDI-2002-NavarroIDC: Practical, Transparent Operating System Support for Superpages (JN, SI, PD, ALC), pp. 89–104.
VLDB-2001-CatozziR #parallel: Operating System Extensions for the Teradata Parallel VLDB (JC, SR), pp. 679–682.
ITiCSE-2001-ClaypoolFW #open source: An open source laboratory for operating systems projects (MC, DF, CEW), pp. 145–148.
ESEC-FSE-2001-CoadyKFS #composition #using: Using aspectC to improve the modularity of path-specific customization in operating system code (YC, GK, MJF, GS), pp. 88–98.
DATE-2001-GauthierYJ #automation #embedded #generative: Automatic generation and targeting of application specific operating systems and embedded systems software (LG, SY, AAJ), pp. 679–685.
DATE-2001-MoyaML #design: A hardware-software operating system for heterogeneous designs (JMM, FM, JCL), p. 820.
SOSP-2001-ChouYCHE #empirical #fault: An Empirical Study of Operating System Errors (AC, JY, BC, SH, DRE), pp. 73–88.
SOSP-2001-PillaiS #embedded #power management #realtime #scalability: Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems (PP, KGS), pp. 89–102.
ITiCSE-2000-Holliday #kernel: A kernel-based synchronization assignment for the operating systems course (MAH), p. 184.
PEPM-2000-Walpole #case study #challenge #experience: Operating Systems Specialization: Experiences, Opportunities and Challenges (JW), p. 83.
ASPLOS-2000-RedstoneEL #analysis #architecture #behaviour #parallel #thread: An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture (JR, SJE, HML), pp. 245–256.
DAC-2000-DesmetVM #generative: Operating system based software generation for systems-on-chip (DD, DV, HDM), pp. 396–401.
DAC-2000-DickLRJ #analysis #embedded: Power analysis of embedded operating systems (RPD, GL, AR, NKJ), pp. 312–315.
HPDC-2000-KonCMNB #distributed #named: 2K: A Distributed Operating System for Dynamic Heterogeneous Environments (FK, RHC, MDM, KN, FJB), pp. 201–210.
OSDI-2000-GriffinSGN: Operating System Management of MEMS-based Storage Devices (JLG, SWS, GRG, DN), pp. 227–242.
PDP-2000-GoscinskiHS #message passing #overview #parallel #performance: Performance and transparency of message passing and DSM services within the GENESIS operating system for managing parallelism on COWs (AG, MH, JS), pp. 110–117.
ICFP-1999-FlattFKF #lisp #programming language: Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) (MF, RBF, SK, MF), pp. 138–147.
HCI-CCAD-1999-MesserS #concept #distributed: Concepts for distributed groupware operating systems (BM, KS), pp. 308–312.
DATE-1999-ONilsJ #implementation #independence #protocol #specification #synthesis: Operating System Sensitive Device Driver Synthesis from Implementation Independent Protocol Specification (MO, AJ), pp. 562–567.
DATE-1999-WeissSR #embedded #performance #realtime #using: Emulation of a Fast Reactive Embedded System using a Real Time Operating System (KW, TS, WR), pp. 764–765.
OSDI-1999-GamsaKAS #concurrent #locality #memory management #multi #named: Tornado: Maximizing Locality and Concurrency in a Shared Memory Multiprocessor Operating System (BG, OK, JA, MS), pp. 87–100.
OSDI-1999-Hand #self: Self-Paging in the Nemesis Operating System (SMH), pp. 73–86.
OSDI-1999-TamchesM #fine-grained #kernel: Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels (AT, BPM), pp. 117–130.
HPDC-1998-VahdatADBCEY #named: WebOS: Operating System Services for Wide Area Applications (AV, TEA, MD, EB, DEC, PE, CY), pp. 52–63.
LCTES-1998-SeoPH #performance #realtime: Efficient User-Level I/O in the ARX Real-Time Operating System (YS, JP, SH), pp. 166–175.
ICFP-1997-Shivers #automation: Automatic Management of Operating System Resources (OS), pp. 274–279.
HPCA-1997-MarkatosK #kernel: User-Level DMA without Operating System Kernel Modification (EPM, MK), pp. 322–331.
PDP-1997-MayesB #named #parallel #runtime: Arena — A run-time operating system for parallel applications (KM, JB), pp. 253–258.
SOSP-1997-BugnionDR #multi #named #scalability: DISCO: Running Commodity Operating Systems on Scalable Multiprocessors (EB, SD, MR), pp. 143–156.
HT-1996-NurnbergLSS #hypermedia #paradigm: Hypermedia Operating Systems: A New Paradigm for Computing (PJN, JJL, ERS, JLS), pp. 194–202.
ITiCSE-1996-Hartley #education #hypermedia #network #using: A hypermedia lab manual for operating systems: using the network to teach (SJH), pp. 8–10.
ITiCSE-1996-Jones96a #education #java: RCOS.java: an animated operating system for computer science education (DJ), p. 233.
ITiCSE-1996-LeesC #learning #natural language: Applying natural language technology to the learning of operating systems functions (BL, JC), pp. 11–13.
ICSE-1996-Anderson #development: An Operating System Development: Windows 3 (CA), p. 101.
ICSE-1996-WatanabeS #adaptation #generative #standard #testing: A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards (AW, KS), pp. 81–89.
ASPLOS-1996-ChenNCARL: The Rio File Cache: Surviving Operating System Crashes (PMC, WTN, SC, CMA, GR, DEL), pp. 74–83.
ASPLOS-1996-VergheseDGR #locality: Operating System Support for Improving Data Locality on CC-NUMA Compute Servers (BV, SD, AG, MR), pp. 279–289.
HPCA-1996-XiaT #multi #performance: Improving the Data Cache Performance of Multiprocessor Operating Systems (CX, JT), pp. 85–94.
OOPSLA-1995-ItohYT #concurrent #low level #named #programming #using: SCONE: Using Concurrent Objects for Low-level Operating System Programming (JiI, YY, MT), pp. 385–398.
HPCA-1995-TorrellasXD #optimisation #performance: Optimizing Instruction Cache Performance for Operating System Intensive Workloads (JT, CX, RLD), pp. 360–369.
SOSP-1995-BershadSPSFBCE #performance #safety: Extensibility, Safety and Performance in the SPIN Operating System (BNB, SS, PP, EGS, MEF, DB, CC, SJE), pp. 267–284.
SOSP-1995-ChenECMDSS #performance: The Measured Performance of Personal Computer Operating Systems (JBC, YE, KC, DM, AD, MIS, MDS), pp. 299–313.
SOSP-1995-EnglerKO #architecture #kernel #named #resource management: Exokernel: An Operating System Architecture for Application-Level Resource Management (DRE, MFK, JO), pp. 251–266.
SOSP-1995-PuABCCIKWZ #incremental: Optimistic Incremental Specialization: Streamlining a Commercial Operating System (CP, TA, APB, CC, CC, JI, LK, JW, KZ), pp. 314–324.
SOSP-1995-RosenblumBHWG #architecture #performance #roadmap: The Impact of Architectural Trends on Operating System Performance (MR, EB, SAH, EW, AG), pp. 285–298.
AdaEurope-1994-SevestreB #ada #generative #multi #thread: Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model (JS, JB), pp. 24–32.
ASPLOS-1994-ArgadeCT #monitoring #runtime: A Technique for Monitoring Run-Time Dynamics of an Operating System and a Microprocessor Executing User Applications (PVA, DKC, CT), pp. 122–131.
ASPLOS-1994-TalluriH #performance: Surpassing the TLB Performance of Superpages with Less Operating System Support (MT, MDH), pp. 171–182.
ASPLOS-1994-ThekkathLL #distributed: Separating Data and Control Transfer in Distributed Operating Systems (CAT, HML, EDL), pp. 2–11.
PDP-1994-BastiaensLDV #algorithm #concurrent #image #implementation #parallel #performance #re-engineering #thread: An Efficient Parallel Implementation Of The Ml-EM Algorithm For PET Image Reconstruction With A Multi-threaded Operating System (KB, IL, PD, WV), pp. 253–259.
PDP-1994-Scarabottolo #distributed: Session 9: Distributed Operating Systems (NS), p. 300.
TOOLS-USA-1993-DeublerK #object-oriented: Object Oriented Restructuring of the General Purpose Operating System BS2000 (HHD, MK), pp. 21–30.
PEPM-1993-ConselPW #composition #incremental #partial evaluation #performance: Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems (CC, CP, JW), pp. 44–46.
TRI-Ada-1993-KrantzBGSV #multi: The Aladdex Operating Systems for the Aladdin Multiprocessor (DK, RB, SG, BS, MV), pp. 354–366.
SOSP-1993-ChenB #memory management #performance: The Impact of Operating System Structure on Memory System Performance (JBC, BNB), pp. 120–133.
SOSP-1993-WobberABL #authentication: Authentication in the Taos Operating System (EW, MA, MB, BWL), pp. 256–269.
OOPSLA-1992-ChaseLLB #lightweight: Lightweight Shared Objects in a 64-Bit Operating System (JSC, HML, EDL, MBH), pp. 397–413.
OOPSLA-1992-Yokote #concept #implementation: The Apertos Reflective Operating System: The Concept and its Implementation (YY), pp. 414–434.
SOSP-WIP-1991-Jeffay92 #network #video: Network and Operating System Support for Digital Audio and Video (KJ), p. 16.
SOSP-WIP-1991-LaRowe92 #architecture #research: Operating Systems Research Related to the Galactica Net Architecture (RPLJ), p. 13.
ASPLOS-1992-KoldingerCE #architecture: Architectural Support for Single Address Space Operating Systems (EJK, JSC, SJE), pp. 175–186.
ASPLOS-1992-TorrellasGH #multi #performance: Characterizing the Caching and Synchronization Performance of a Multiprocessor Operating System (JT, AG, JLH), pp. 162–174.
HPDC-1992-ShinjoK #distributed #parallel: Harmonizing a Distributed Operating System with Parallel and Distributed Applications (YS, YK), pp. 114–123.
ASPLOS-1991-AndersonLBL #architecture #design #interactive: The Interaction of Architecture and Operating System Design (TEA, HML, BNB, EDL), pp. 108–120.
PPoPP-1991-LaRoweWE #memory management #multi: Exploiting Operating System Support for Dynamic Page Placement on a NUMA Shared Memory Multiprocessor (RPLJ, JTW, CSE), pp. 122–132.
SOSP-1991-DravesBRD #communication #concurrent #continuation #thread #using: Using Continuations to Implement Thread Management and Communication in Operating Systems (RD, BNB, RFR, RWD), pp. 122–136.
ADC-1991-Weber #interactive: Interactive Internetworking for Interoperating Systems (Abstract) (HW), pp. 58–59.
ECOOP-1989-YokoteTT #architecture #distributed #object-oriented: A Reflective Architecture for an Object-Oriented Distributed Operating System (YY, FT, MT), pp. 89–106.
OOPSLA-1989-MarquesG #object-oriented: Extending the Operating System to Support an Object-Oriented Environment (JAM, PG), pp. 113–122.
OOPSLA-1989-RussoC #design #memory management #multi #object-oriented #using: Virtual Memory and Backing Storage Management in Multiprocessor Operating Systems Using Object-Oriented Design Techniques (VFR, RHC), pp. 267–278.
SOSP-1989-AbrossimovR #kernel #memory management: Generic Virtual Memory Management for Operating System Kernels (VA, MR, MS), pp. 123–136.
VDME-1988-Goldsack #kernel #specification: Specification of an Operating System Kernel FOREST and VDM compared (SJG), pp. 88–100.
ECOOP-1988-DoiKH #concurrent #implementation #kernel #object-oriented #using: An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+ (ND, YK, KH), pp. 250–266.
OOPSLA-1988-RussoJC #exception #multi #process: Process Management and Exception Handling in Multiprocessor Operating Systems (VFR, GJ, RHC), pp. 248–258.
SIGMOD-1987-Gray #data transformation: Operating System Support for Data Management Systems (JG), p. 4.
VLDB-1987-KumarS #evaluation #performance #transaction: Performance Evaluation of an Operating System Transaction Manager (AK, MS), pp. 473–481.
ESEC-1987-Szwillus #data flow #editing #interactive #specification #user interface #using: Using Data Flow Specifications and Interactive Editing in the Operating System User Interface (GS), pp. 149–157.
SOSP-1987-JeffersonBWBLHLSTWWYB #distributed #simulation: Distributed Simulation and the Time Wrap Operating System (DRJ, BB, FW, LB, MDL, PH, PL, KS, JT, LVW, JJW, HY, SB), pp. 77–93.
SOSP-1987-YoungTRGECBBB #communication #implementation #memory management #multi: The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System (MY, AT, RFR, DBG, JLE, JC, WJB, DLB, RVB), pp. 63–76.
ICLP-1987-Foster87 #design #logic: Logic Operating System: Design Issues (ITF), pp. 910–926.
OOPSLA-1986-Dasgupta #distributed #monitoring #object-oriented: A Probe-Based Monitoring Scheme for an Object-Oriented Distributed Operating System (PD), pp. 57–66.
OOPSLA-1986-Ewing #interface #object-oriented: An Object-Oriented Operating System Interface (JJE), pp. 46–56.
SIGMOD-1985-PageWP #database #distributed #named #overview: Genesis: A Distributed Database Operating System (TWPJ, MJW, GJP), pp. 374–387.
SOSP-1985-WeinsteinPLP #distributed #transaction: Transactions and Synchronization in a Distributed Operating System (MJW, TWPJ, BL, GJP), pp. 115–126.
SIGMOD-1984-DielKLSS #data transformation #kernel: Data Management Facilities of an Operating System Kernel (HD, GK, NGL, MS, BS), pp. 58–69.
VLDB-1984-HarderP #multi: Evaluating Multiple Server DBMS in General Purpors Operating System Environments (TH, PP), pp. 129–140.
SOSP-1983-Silverman #kernel #security #verification: Reflections on the Verification of the Security of an Operating System Kernel (JMS), pp. 143–154.
SOSP-1983-WalkerPEKT #distributed: The LOCUS Distributed Operating System (BJW, GJP, RE, CSK, GT), pp. 49–70.
POPL-1982-Voda #named #programming language: Maple: a Programming Language, Operating System (PJV), pp. 157–168.
ASPLOS-1982-BerenbaumCL: The Operating System and Language Support Features of the BELLMAC-32 Microprocessor (ADB, MWC, PML), pp. 30–38.
ASPLOS-1982-KamibayashiONA #named: Heart: An Operating System Nucleus Machine Implemented by Firmware (NK, HO, KN, HA), pp. 195–204.
SOSP-1981-KahnCDDHHMP #multi #named: iMAX: A Multiprocessor Operating System for an Object-Based Computer (KCK, WMC, TDD, HD, DEH, LAH, JTM, FJP), pp. 127–136.
SOSP-1981-Lauer #development: Observations on the Development of an Operating System (HCL), pp. 30–36.
SOSP-1981-RashidR #communication #kernel #named #network: Accent: A Communication Oriented Network Operating System Kernel (RFR, GGR), pp. 64–75.
SOSP-J-1979-OusterhoutSS80 #distributed #empirical #named: Medusa: An Experiment in Distributed Operating System Structure (JKO, DAS, PSS), pp. 92–105.
SOSP-J-1979-RedellDHLLMMP80 #named: Pilot: An Operating System for a Personal Computer (DDR, YKD, TRH, HCL, WCL, PRM, HGM, SCP), pp. 81–92.
SOSP-1979-Cook: In Support of Domain Structure for Operating Systems (DC), pp. 128–130.
SOSP-1979-JonesCDSV #multi: StarOS, a Multiprocessor Operating System for the Support of Task Forces (AKJ, RJCJ, ID, KS, SRV), pp. 117–127.
SOSP-1979-LampsonS: An Open Operating System for a Single-User Machine (BWL, RFS), pp. 98–105.
SOSP-1979-OusterhoutSS #distributed #empirical #named: Medusa: An Experiment in Distributed Operating System Structure (JKO, DAS, PSS), pp. 115–116.
SOSP-1979-RedellDHLLMMP #named: Pilot: An Operating System for a Personal Computer (DDR, YKD, TRH, HCL, WCL, PRM, HGM, SCP), pp. 106–107.
SOSP-1979-SolomonF #distributed: The ROSCOE Distributed Operating System (MHS, RAF), pp. 108–114.
VDM-1978-Bjorner78a #abstraction #pl-i #specification #tutorial: Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition (DB), pp. 337–374.
ICSE-1978-GoullonIL: Dynamic Restructuring in an Experimental Operating System (HG, RI, KPL), pp. 295–304.
SOSP-1977-CheritonMMS #realtime: Thoth, a Portable Real-Time Operating System (DRC, MAM, LSM, GRS), p. 171.
ICSE-1976-ParnasHW #design #product line #set #specification #system family: Design and Specification of the Minimal Subset of an Operating System Family (DLP, GH, HW), p. 123.
SOSP-J-1975-HabermannFC76 #composition #product line: Modularization and Hierarchy in a Family of Operating Systems (ANH, LF, LWC), pp. 266–272.
SOSP-J-1975-LampsonS76 #design: Reflections on an Operating System Design (BWL, HES), pp. 251–265.
SOSP-1975-BayerL #multi #named #realtime: MERT — A Multi-Environment Real-Time Operating System (DLB, HL), pp. 33–42.
SOSP-1975-CohenJ: Protection in the HYDRA Operating System (ESC, DJ), pp. 141–160.
SOSP-1975-CosellJMSSTW #resource management: An Operating System for Computer Resource Sharing (BSC, PRJ, JHM, RES, JS, RHT, DCW), pp. 75–81.
SOSP-1975-HarrisonRU #on the: On Protection in Operating System (MAH, WLR, JDU), pp. 14–24.
SOSP-1975-PruittC #architecture #realtime: Architecture of a Real-Time Operating System (JLP, WWC), pp. 51–59.
SOSP-1975-WulfLP #development #overview: Overview of the HYDRA Operating System Development (WAW, RL, CP), pp. 122–131.
SOSP-1973-DayH #interactive #named: ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control (PD, JH), pp. 28–37.
SOSP-J-1973-Gaines72 #concept: An Operating System Based on the Concept of a Supervisory Computer (RSG), pp. 150–156.
SOSP-J-1973-Liskov72 #design: The Design of the Venus Operating System (BL), pp. 144–149.
SOSP-1971-Alsberg: Extensible Data Features in the Operating System Language OSL/2 (PA), pp. 31–34.
SOSP-1971-Gaines #concept: An Operating System Based on the Concept of a Supervisory Computer (RSG), pp. 17–23.
SOSP-1971-Liskov #design: The Design of the Venus Operating System (BL), pp. 11–16.
SOSP-1971-Needham #fault: Handling Difficult Faults in Operating Systems (RMN), pp. 55–57.
SOSP-1971-Varney #process: Process Selection in an Hierarchical Operating System (RCV), pp. 106–108.
SOSP-1971-WinogradMH #memory management #simulation: Simulation Studies of a Virtual Memory, Time Shared, Demand Paging Operating System (JW, SJM, RH), pp. 149–155.
SOSP-1969-AlsbergM: The structure of the ILLIAC IV operating system (PA, CRM), pp. 92–96.
SOSP-1969-NeedhamH #design #theory and practice: Theory and practice in operating system design (RMN, DFH), pp. 8–12.
SOSP-1967-OppenheimerW68 #resource management: Resource management for a medium scale time-sharing operating system (GO, NW), pp. 313–322.