yusuke1997/dblp-id-title huggingface dataset:
A Note on ben-Ari's Concurrent Programming System
An Object-Oriented File System - an Example of Using the Class Hierarchry Framework Concept
Scaling a monitoring infrastructure for the Akamai network
Reliability aware dynamic voltage and frequency scaling for improved microprocessor lifetime
Efficient detection of large-scale redundancy in enterprise file systems
Brazilian workshop on operating systems
Compositional gossip: a conceptual architecture for designing gossip-based applications
Livermore time-sharing system for the CDC 7600
Noninterference specifications for secure systems
Virtual servers and checkpoint/restart in mainstream Linux
Program director's column: can nuggets make a difference?
A convertible group signature scheme
Experiencing Minix as a Didactical Aid for Operating Systems Courses
Performance Assertion Checking (Abstract)
Non-Preemptive Time Warp Scheduling Algorithms
OS Support for Adaptive Components in Self-aware Systems
A critical look at the state of our science
Models and Paradigms for Distributed Systems Structuring - Introduction
Partitioning based operating system: a formal model
Hybrid Cloud Storage: Bridging the Gap between Compute Clusters and Cloud Storage
Report of the Program Committee for the 10th SOSP
A key authentication scheme with non-repudiation
A Bibliography on Multicast and Group Communications
Open source as a foundation for systems research
Challenges in building scalable virtualized datacenter management
The study and handling of program inputs in the selection of garbage collectors
The "art" of programming gossip-based systems
Optimizing information flow in the gossip objects platform
An "Open" Oriented File System
LazyBase: freshness vs. performance in information management
Optimizing quality of service in real-time systems under energy constraints
Quasi-Asynchronous Migration: A Novel Migration Protocol for PVM Tasks
CHAOS: Why One Cannot Have Only An Operating System for Real-Time Applications
Models and algorithms for deadlock in computer systems
Efficient end to end data exchange using configurable compression
Hierarchical key management scheme using polynomial interpolation
Storage and I/O virtualization, performance, energy, evaluation and dependability (SPEED08)
A framework to compute statistics of system parameters from very large trace files
Book Review: TeX in Practice by Stephan von Bechtolsheim
Semantic patches considered helpful
Book Review: Distributed Applications Across DCE and Windows NT by Ward Rosenberry and Jim Teague
SODS/OS: Distributed Operating System for the IBM Series/1
TOMP: A Total Ordering Multicast Protocol
A Machine Independent Interface for Lightweigt Threads
Authentication and Revocation in SPM (Extended Abstract)
An Overview of the Amoeba Distributed Operating System
überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms
Book Review: Computer Security: A Global Challenge (IFIP/Sec'84 Proceedings)
Singularity: rethinking the software stack
Performance Monitoring in Computer Systems: A Structured Approach
Energy efficient scheduling of HPC-jobs on virtualize clusters using host and VM dynamic configuration
Complete delete vs. time machine computing
Book Review: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use by Kurt Jensen
Visualizing Working Sets
Comments on "On the Security of Three-Party Cryptographic Protocs" by Xu, Zhang and Zhu
A Regular Architecture for Operating System
A database scale-out solution for emerging write-intensive commercial workloads
On the Design and Evaluation of a Real-Time Operating System for Cache-Coherent Multicore Architectures
Reconstructable Software Appliances with Kameleon
Distributed Message Passing Operating Systems
Pipeline: a new architecture of high performance servers
Interprocess communication systems
Response to A Note on Structured Interrupts
Providing secure services for a virtual infrastructure
Migration policies for multi-core fair-share scheduling
An approach to finding the attacks on the cryptographic protocols
HPC-Colony: services and interfaces for very large systems
Segment-based proxy caching for distributed cooperative media content servers
RouteBricks: enabling general purpose network infrastructure
Provenance as first class cloud data
Authentication Using Minimally Trusted Servers
On a Session Key Compromise Problem in [KC95] protocol
Report on the Workshop on Fundamental Issues in Distributed Computing, Fallbrook, California, December 1980
Making Lock-free Data Structures Verifiable with Artificial Transactions
Enhancement of digital signature with message recovery using self-certified public keys and its variants
Memory Disaggregation: Advances and Open Challenges
Adaptive request batching for byzantine replication
Practical techniques for purging deleted data using liveness information
Bulletin board: a scalable and robust eventually consistent shared memory over a peer-to-peer overlay
A deadlock Detection and Recovery Algorithm Using the Formalism of a Directed Graph Matrix
IPwatch: A Tool for Monitoring Network Locality
Virtual Memory Management for Database Systems
SIGOPS 2000 Annual Report
File size distribution on UNIX systems: then and now
A Quasi-Optimal Cluster Allocation Strategy for Parallel Program Execution in Distributed Systems Using Genetic Algorithms
Using Type-Extension to Organize Virtual-Memory Mechanisms
A Real Bottom-Up Operatiing Systems Course
On the energy (in)efficiency of Hadoop clusters
Gossiping in distributed systems
Regenerating codes: a system perspective
Modeling and Evaluation of security induced delays in Wireless ATM Networks
Synchronization in Portable Device Drivers
Memory Management Units for Microcomputer Operating Systems
Book Review: Ring Technology Local Area Networks by. I. N. Dallas and E. B. Spratt
Optimizing Throughput in a Workstation-based Network File System over a High Bandwidth Local Area Network
COTSon: infrastructure for full system simulation
Pointer tainting still pointless: (but we all see the point of tainting)
Low-power amdahl-balanced blades for data intensive computing
An Input/Output Subsystem for the Hawk Operating System Kernel
Research at VMware
Linda meets Minix
ARTS: A Distributed Real-Time Kernel
Some considerations for a high performance message-based interprocess communication system
Design and Implementation of a Parallel Pipe
An Approach to Distributed Software Systems
Pandora - An Experimental System for Multimedia Applications
Comments on the Respones by Birman, van Renesse and Cooper
The Performance of a Mixed Priority Real-Time Scheduling Algorithm
GLADE: a scalable framework for efficient analytics
Ad hoc extensibility and access control
Operating Systems: A Perspective on Future Trends
An Operating Non-System
Integrating Security in a Group Oriented Distributed System (Abstract)
Two-Part Names and Process Termination
A Note on the Use of Timestamps as Nonces
RCU Usage In the Linux Kernel: Eighteen Years Later
A speed-based adaptive dynamic parallel downloading technique
A Machine Learning Approach to Recommending Files in a Collaborative Work Environment
The DGSA: Unmet Information Security Challenges for Operating System Designers
VP: A New Operating for Semaphores
Banking on decoupling: budget-driven sustainability for HPC applications on auction-based clouds
Quality-of-Service versus Realtime
A Computer System Supporting Data Abstraction (Part 1)
A Case for Compositional File Systems (Extended Abstract)
mTags: augmenting microkernel messages with lightweight metadata
INFLOW 2015: The Third Workshop on Interactions of NVM/FLash with Operating systems and Workloa: INFLOW '15 Message from the Chairs
A Fault Tolerance Approach for Distributed ISDN Control Systems
A brief report on the SIGPLAN/SIGOPS interface meeting
SIGPLAN symposium
Summary of the Sixth SIGOPS European Workshop on "Matching Operating Systems to Application Needs", Dagstuhl Castle, September 1994
Reservation aware operating system for grid economy
How to Connect Stable Memory to a Computer
Conference reviewing considered harmful
System software for high end computing
Summary of 2001 SIGOPS Business Meeting
A Periodic Symmetrically-Initiated Load Balancing Algorithm for Distributed Systems
Conversational Group Service
Book Review: Real-Time Computer Systems by A. L. Freedman and R. A. Lees
Summary of PLOS 2011: the sixth workshop on programming languages and operating systems
Semaphores for Fair Scheduling Monitor Conditions
Streets of consensus under unknown unreliable network
The case for a versatile storage system
Capability Architecture Revisited
Resolution techniques and Complexity Results with Deadlocks: A Classifying and Annotated Bibliography
Scheduling Soft Aperiodic Tasks in Adaptable Fixed-Priority Systems
A Formalised Technique for Expressing System Exercisers
Reliable on-demand management operations for large-scale distributed applications
Wukong: A Distributed Framework for Fast and Concurrent Graph Querying
Pyr.mea.IT : permeating IT towards the base of the pyramid
The TYPESET-10 Message Exchange Facility: a case study in systemic design
Bringing Engineering Rigor to Deep Learning
The Use of the Monitor Call Instruction to Implement Domain Switching in the IBM 370 Architecture
Report on the Third European SIGOPS Workshop "Autonomy or Interdependence in Distributed Systems", September 19-21, 1988, Ca, bridge, England
Defining deadlock with fungible resources
UNIX - A Portable Operating System?
A remote user authentication scheme using hash functions
Bothnia: a dual-personality extension to the Intel integrated graphics driver
Decidability of a Class of Dual Communicating Finite State Machines
Orphan Problems and Remedies In Distributed Systems
On-the-fly Reconstruction of Failed Disk in RAID
Exploring the interdisciplinary connections of gossip-based systems
Embedding Security Policies into a Distributed Compuiting Environment
Consistency models for distributed interactive multimedia applications
SOSP Professional Travel Scholarship: Reflections by Recipient Artur Baruchi
DFTS: a novel distributed high fault-tolerance storage mechanism
Structuring Operating Systems Literature for the Graduate Course
Operating systems review: year in review
Some New Transitions In Hierarchical Level Structures
Using file system counters in modelling parallel I/O architectures
Oasis: an overlay-aware network stack
Solved Problems, Unsolved Problems and Non-Problems in Concurrency
A Short Note on Implementing Thread Exclusiveness and Address Space Locking
Systems research and development at VMware
VII Brazilian workshop on operating systems
Our troubles with Linux Kernel upgrades and why you should care
Verifying cloud services: present and future
A High Performance and Adaptive Commit Protocol for a Distributed Environment
Report on the SIGMETRICS '98/PERFORMANCE '98 Joint International Conference on Measuerment and Modeling of Computer Systems
A distributed job scheduling and flow management system
Why bother with CATOCS?
Direct data flows
An Efficient and Secure Authentication Protocol Using Uncertified Keys
On Minimizing Contention At Semaphores
On Table Fragmentation in Virtual Memory Management
On Data Placement in Distributed Systems
On the formal verification of component-based embedded operating systems
Is Operating Systems Review Obsolete?
Application-Aware Adaption for Mobile Computing
Epidemic-based approaches for reliable multicast in mobile ad hoc networks
Book Review: The WEB Empowerment Book by Ralph Abraham, Fran Jas and Willard Russell
Consistency without concurrency control in large, dynamic systems
View-based Consistency and False Sharing Effect in Distributed Shared Memory
An Authentication and Key Distribution System for Open Network Systems
Virtual machine file system
Session Summaries from the 17th Symposium on Operating Systems Principles (SOSP'99)
Stackable thread mechanisms
Live migration of direct-access devices
Controversies and opinion
A model for characterizing the scalability of distributed systems
Characterizing Internet Performance to Support Wide-area Application Development
Bridging the gap between applications and networks in data centers
Performance troubleshooting in data centers: an annotated bibliography?
The case for repeated research in operating systems
On the need for system-level support for ad hoc and sensor networks
A Fast and Slippery Slope for File Systems
Using Local Cache Coherence for Disaggregated Memory Systems
Bridging the gap: augmenting centralized systems with P2P technologies
Managing clouds: a case for a fresh look at large unreliable dynamic networks
Data mining aided signature discovery in network-based intrusion detection system
LAST: locality-aware sector translation for NAND flash memory-based storage systems
Report on the Eighth ACM SIGOPS European Workshop: System Support for Composing Distributed Applications (Sintra, Portugal, 7-10 September 1998)
On the design of a new Linux readahead framework
Planning Management of Multiagent-Based Distributed Open Computing Environment Model
Mobile agent security based on payment
Performance of the World's Fastest Distributed Operating System
Economic Justification of an OSCL/OSRL
The Minimal Model of Operating Systems
AFS and the Web: Competitors or Collaborators?
OMF: a control and management framework for networking testbeds
The Caernarvon secure embedded operating system
Bibliography on Paging and Related Topics
Performance Evaluation under Unix and a Study of PDP-11 Instruction Usage
Optimal Privacy and Authentication on a Portable Communications System
Introducing technology into the Linux kernel: a case study
FLIP; an Internetwork Protocol for Supporting Distributed Systems (Abstract)
Book Review: The Web Publisher's Illustrated Quick Reference by Paph Grabowski
The design of a practical system for fault-tolerant virtual machines
Kernel-level single system image for petascale computing
Operating Systems and Cost Management
Book Review: PostScript & Acrobat/PDF by Thomas Merz
Towards Next-Generation Cybersecurity with Graph AI
HCCM: a novel cache consistence mechanism
A Simple Semaphore-Queue Management for Multiprocessing Systems
SFT: A Consistent Checkpointing Algorithm With Shorter Freezing Time
Scheduling PVM Tasks
An Efficient Solution to the Mutual Exclusion Problem Using Unfair and Weak Semaphore
Cloud SLAs: present and future
Removing Backing Store Administration from the CAP Operating System
Using Structural Characteristics for Autonomous Operation
The Distributed ASCI Supercomputer Project
Mobile Agents and the Future of the Internet
Iris: An optimized I/O stack for low-latency storage devices
An Expanded Approach To Objects
Introducing Empirical Investigation in Undergraduate Operating Systems
Semaphores Revisited with MMS
Exploratory Analysis on Failure Causes in a Mass-Market Operating System
Book Review: The Art of Computer Systems Performance Analysis by Raj Jain
InteMon: continuous mining of sensor data in large-scale self-infrastructures
On designing direct dependency: based fast recovery algorithms for distributed systems
Report on the Seventh ACM SIGOPS European Workshop
Workshop on Experiences with Building Distributed and Multiprocessor Systems
Are File Names Enough?
Implementation of a Linux log-structured file system with a garbage collector
Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity
Leveraging Deep Learning to Improve Performance Predictability in Cloud Microservices with Seer
Portability and the UNIX Operating System
Bibliography on File and I/O System Optimization and related Topics
The Workshop on University/Industry/Government Collaboration on Research in Parallel Computing
The Linux implementation of a log-structured file system
Towards scalable array-oriented active storage: the pyramid approach
PlanetFlow: maintaining accountability for network services
Lightweight Capability Domains: Towards Decomposing the Linux Kernel
A study of Nash equilibrium in contribution games for peer-to-peer networks
Distributed mutual exclusion algorithms in mobile ad hoc networks: an overview
More on selecting sequence numbers
Modeling VP operation: the Diwali Festival Problem
A study of initialization in Linux and OpenBSD
Formalisms for interprocess communication
Triple-Handed Dining Philosophers
Running 7th Edition UNIX Programs on a VAX in Compatibility Mode
Lessons from Norstar's Distributed Call Processing System
Cryptographic Security Techniques for Wireless Networks
User-Level Threads on a General Hardware Interface
Scalable routing overlay networks
Announcing Concurrent SP/k
Analysis and Workload Characterization of the CERN EOS Storage System
A Provably Correct Operating System: delta-Core
Principles and Performance Characteristics of Algorithms for Live VM Migration
Workshop Report: HotDep 2013 - The 9th workshop on hot topics in dependable systems
A Brief Survey of Current Work on Network Attached Peripherals (Extended Abstract)
JVM: platform independent vs. performance dependent
Synchronizing Multiple Database Processes in a Tightly Coupled Multiprocessor Environment
An Approach to the Formal Verification of the Two-Party Crypographic Protocols
Generic Terminal Support
Comments on "A Correct and Unrestrictive Implementation of General Semaphores"
A heterogeneous storage grid enabled by grid service
Illustrating the impossibility of crash-tolerant consensus in asynchronous systems
Cryptanalysis of an efficient secure group signature scheme
Adaptive and dynamic funnel replication in clouds
What happened to pastry
Bringing Platform Harmony to VMware NSX
A Parallel Between Operating Systems and Human Government
Signet: low-cost auditable transactions using SIMs and mobile phones
A distributed persistent object store for scalable service
Workshop report on LADIS 2012
A simulator to assess energy saving strategies and policies in HPC workloads
Report on Work-In-Progress Session of the 9th ACM Symposium on Operating Systems Principles
PLOS 2009: fifth workshop on programming languages and operating systems
Pegasus - Operating System Support for Distributed Multimedia Systems
A New Process Migration Algorithm
Needed: A Systematic Structuring Paradigm for Distributed Data
Design Features of High Level Layers in Lahnos, a Local Area Heterogeneous Network Operating System
Towards Fast Invariant Preservation in Geo-replicated Systems
Scalable Scheduling on a Network of Workstations
Virtual Memory Transaction Management
Protection in a Distributed Document Processing System
Object Representation on a Heterogeneous Network
The CHART system: a high-performance, fair transport architecture based on explicit-rate signaling
User-Level Process Checkpoint and Restore for Migration
Taking the Pulse of Financial Activities with Online Graph Processing
Fault Tolerance Using Group Communication
Improved authentication key exchange protocol without using one-way hash function
Artificial Intelligence in Resource-Constrained and Shared Environments
A Replicated Unic File System
Implementing OS components in hardware using AOP
PipesFS: fast Linux I/O in the unix tradition
Understanding Transactions in the Operating System Context
Akamai state of the internet report, Q4 2009
Designing a fast file system crawler with incremental differencing
A Scalable Load Balancing System for NOWs
Distribution in a Single Address Space Operating System
A Note on Structured Interrupts
Problems in Supporting Data Base Transactions in an Operating System Transaction Manager
A Taxonomy of Issues in Name Systems Design and Implementation
Towards efficient resource on-demand in Grid Computing
Guest Editor's Introduction - Special Issue on Real-Time Computing Systems
On the Role of Compression in Distributed Systems
GeoGraph: A Framework for Graph Processing on Geometric Data
EINSTEIN: an internal driver in a time-sharing environment
Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao
XOS: An Operating System for the X-Tree Architecture
Autograph: automatically extracting workflow file signatures
Multi-core systems modeling for formal verification of parallel algorithms
The Real-Time Operating System of MARS
MCTS customer task environment
Distributed System Evolution - Some Observations
Design and Implementation of a Multicast Transport Service (Abstract)
Simulation of Operating Systems - A Functional Flowchart
How robust are gossip-based communication protocols?
A Security Risk of Depending on Synchronized Clocks
The Desk Area Network
VRGQ: Evaluating a Stream of Iterative Graph Queries via Value Reuse
FastAD: an authenticated directory for billions of objects
A Survey of Process Migration Mechanisms
Toward a census of computer users
CS 736 project highlights from U. Wisconsin: how students spend their days and nights in a winter wonderland
A three pronged approach to teaching undergraduate operating systems
An Associated Object Model for Distributed Systems
A Designer's Perspective of the Hawk Multiprocessor Operating System Kernel
Mining temporal invariants from partially ordered logs
Open Signaling for ATM, Internet and Mobile Networks (OPENSIG'98)
Causal Controvery at Le Mont St.-Michel
A Guide To Operating System Literature
"Learned": Operating Systems
FTP Access As a User-defined File System
On the Techniques of Enhancing the Security of Block Ciphers
Fuel, fans, and cores - An introduction to selected papers from HotPower 2013
Process Name Resolution in Fault-Tolerant CSP Programs
Sudden Drop in the Battery Level?: Understanding Smartphone State of Charge Anomaly
Parallizable simple authenticated key agreement protocol
My recollections of operating system design
The workshop on diversity in systems research 2013
A Well Structured Parallel File System for PM
Revisiting the Paxos Foundations: A Look at Summer Internship Work at VMware Research
A Single Model for Files and Processes
Runtime Incremental Concentrated Scheduling on NOW(NRICS)
An Evaluation of the Real-Time Performance of SVR4.0 and SVR4.2
Comments on "Tagged Semaphores"
The Semantics Subsystem in Distributed OS Formalization Generating System
Modularity and Protection are Orthogonal, or "Why µ-kernel Architectures are Flawed" (Abstract)
Privacy Accounting and Quality Control in the Sage Differentially Private ML Platform
Fine Grained Object Protection in Unix
Partial Order Relations in Distributed Object Environments
Operating System Kernel Automatic Construction
Book Review: Verifying Temporal Properties of Systems by Julian Charles Bradfield
Security Issues Surrounding Programming Languages for Mobile Code: Java vs. Safe-Tcl
Interaction points: exploiting operating system mechanisms for inter-component communications
A Short Note on Small Virtually-Addresses Control Blocks
Abstract specification and formalization of an operating system kernel in Z
Distributed Mutual Exclusion on Hypercubes
USIM: A User Interface Manager
Note on a Problem with Reed and Long's FBR Results
The non-problem of nested monitor calls
CIRCUMFLEX: a scheduling optimizer for MapReduce workloads with shared scans
An Asynchronous Garbage Collector for the CAP Filing System
Ingens: Huge Page Support for the OS and Hypervisor
A Distributed Backoff Algorithm to support real-time traffic on Ethernet
Report on the Asia-Pacific Systems Workshop 2015 (APSys'15)
Reducing Disk Power Consumption in a Portable Computer
Performance evaluation of automatic checkpoint-based fault tolerance for AMPI and Charm++
Supercloud: Opportunities and Challenges
Book Review: Larch: Languages and Toole for Formal Specification by John V. Guttag and James J. Horning
Right-weight kernels: an off-the-shelf alternative to custom light-weight kernels
Network and Operating System Support for Digital Audio and Video (Abstract)
Panache: a parallel WAN cache for clustered filesystems
Adaptive Parallelism: An Early Experiment with Java Remote Method Invocation
An authentication scheme for mobile satellite communication systems
Realize Network subsystem QoS gurantee
A Survey of Remote Procedure Calls
DCFS: distributed cooperative fault-tolerance storage mechanism
Spin-Block Synchronization Algorithm in The Shared Memory Multiprocessor System
Resolving Covert Channels within a B2 Class Secure System