yusuke1997/dblp-id-title huggingface dataset:
Algorithms for Reducing Rollbacks in Concurrency Control by Certification
On the Design of a Key-Lock-Pair Mechanism in Information Protection Systems
Lossless Outer Joins with Incomplete Information
A Backtracking Method for Constructing Perfect Hash Functions from a Set of Mapping Functions
Automated Theorem Proving Methods
An Interactive Programming System for Pascal
The Nature of Data: From Measurements to Systems
Left Distance Binary Tree Representations
A Note on Optimal Multiway Split Trees
Efficient Algorithms for Combinatorial Problems with Bounded Decomposability - A Survey
Analysis of the Performance of the Parallel Quicksort Method
On On Systolic Arrays for Updating the Cholesky Factorization
A Key-Lock-Pair Oriented Access Control Scheme for the Growth of Users and Files
Tightly Controlled Linear Hashing without Separate Overflow Storage
Minimal Perfect Hashing in Polynomial Time
A New Parallel Sorting Algorithm Based Upon Min-Mid-Max Operations
On the Decomposability of the Stable Marriage Problem
Complexity of Subclasses of the Intuitionistic Propositional Calculus
A General Performance Analysis Method for Uniform Memory Architectures
Optimal Convex Hull Algorithms on Enhanced Meshes
A Note on the Stack Size of Regularly Distributed Binary Trees
An Optimal Algorithm to Assign Cryptographic Keys in a Tree Structure for Access Control
Partitioning Multi-Edge Graphs
Generalized Steiner Problems in Outerplanar Networks
Branch & Sample: A Simple Strategy for Constraint Satisfaction
Partial Match Retrieval Using Recursive Linear Hashing
In-Trees and Plane Embeddings of Outerplanar Graphs
Array Theory and the Nial Programming Language
Improved Bounds for the Expected Behaviour of AVL Trees
Improving Worst-Case Behavior of Heaps
Assessment of Approximate Algorithms: The Error Measure's Crucial Role
Hashing with Overflow Indexing
Bin Packing: On Optimizing the Number of Pieces Packed
On the Path Representation of Networks
Mapping Integers and Hensel Codes onto Farey Fractions
Signature Files: An Integrated Access Method for Text and Attributes, Sluitable for Optical Disk Storage
A Transitive Closure Algorithm
Amortized Analysis of Some Disk Scheduling Algorithms: SSTF, SCAN, and N -Step SCAN
A Parallel Derangement Generation Algorithm
A Note on Constructing Min-Max Heaps
Optimal Assignment of Task Modules with Precedence for Distributed Processing by Graph Matching and State-Space Search
Storing Line Segments in Partition Trees
A Note on the Height of The k the Element in a Heap
Specification of a Query Language by the Attribute Method
A Quadratic Programming Model for Optimal Data Distribution
Multidisk File Design: An Analysis of Folding Buckets to Disks
Partial Correctness of Exits from Concurrent Structures
On the Minimality of Polygon Triangualtion
Bit Strings Without q -Separation
Verification of a Class of Self-Timed Computational Networks
Towers of Hanoi Problems: Deriving Iterative Solutions by Program Transformations
Performance of Two-Disk Partition Data Allocations
Implementation of the Grid File: Design Concepts and Experience
On the Average Length of Delaunay Triangulations
Access Mechanisms in Block Structured Environments
Quotient Tree Partitioning of Undirected Graphs
A Methodology for Measuring the Readability and Modifiability of Computer Programs
Exponential Lower Bounds for Some NP-Complete Problems in a Restricted Linear Decision Tree Model
Sorting in Parallel by Double Distributive Partitioning
Disk Allocation Methods for Binary Cartesian Product Files
A Constant-Time Parallel Algorithm for Computing Convex Hulls
The Recursive Structure of Some Ordering Problems
On the Design of Reactive Systems
The Equational Part of Proofs by Structural Induction
Analysis of Recursive Batched Interpolation Search
The Permutational Power of a Priority Queue
Parallel Generation of Permutations and Conbinations
The Rectangle Intersection Problem Revisited
On Systems of Definitions, Induction and Recursion
Improved 0/1-Interchange Scheduling
Parallel Algorithms for Analyzing Activity Networks
Average-Case Results on Heapsort
Generating Combinations in Parallel
Bounds for Min-Max Heaps
An Improvement of the Binary Merge Algorithm
Modeling of Superscalar Instruction Scheduling and Analysis of a Heuristic Scheduling Algorithm
Notes on the Complexity of Sorting in Abstract Machines
Datalogy - The Copenhagen Tradition of Computer Science
Weak-Heap Sort
Some Primitives for the Portable Programming of Arrays and Vector Processors
Optimal Data Placement in Two-Headed Disk Systems
Minimizing the Number of Transitions with Respect to Observation Equivalence
Partial Match Retrieval for Dynamic Files
A Linear Time Algorithm for the Maximum Matching Problem on Cographs
Algorithms for Minimum Length Partitions of Polygons
Reconstructing Visible Regions from Visible Segments
A Tight Upper Bound for the Number of Intersections Between two Rectangular Paths
Some Simple In-Place Merging Algorithms
Unifications, Deunifications, and Their Complexity
A New Systolic Architecture for Convex Hull and Half-Plane Intersection Problems
An Iterative Solution to the Generalized Towers of Hanoi Problem
Monitors with Arrays of Condition Variables and Proof Rules Handling Local Quantities
Some Performance Tests of Convex Hull Algorithms
A Trivial Algorithm Whose Analysis is Not: A Continuation
On Shellsort and the Frobenius Problem
Finding Minimal Spanning Trees in a Euclidean Coordinate Space
Parallel Algorithms for Permutation Graphs
The Multilevel Principle Applied to Sorting
Estimating Disk Head Movement in Batched Searching
An O ( N log N ) Minimal Spanning Tree Algorithm for N Points in the Plane
A VLSI Partition Algorithm
Diamond - A Sorting Method for Vector Machines
Selection on Rectangular Meshes with Multiple Broadcasting
Arranging Apples in an Array
From High-Level Descriptions to VLSI Circuits
Improved Planarity Algorithms
A Parallel Algorithm for the Monadic Unification Problem
A Modification of Hochbaum and Shmoys' Algorithm for Scheduling Problems
Inductive Inference of Ultimately Periodic Sequences
Generating a Random Cycle Permutation
A Simple Query Language Based on Set Algebra
A New Proof Technique to Establish Equivalence of the Original and the General Lambda-Free CFG with Linear Increase in Size
On Admissible Constellations of Consecutive Primes
Choosing the r-Dimension for the FCV Family of Clustering Algorithms
Time Considered Irrelevant for Real-Time Systems
Speeding Sort Algorithms by Special Instructions
Graph Algorithms on a Tree-Structured Parallel Computer
Higher Order Analysis of Random 1-2 Brother Trees
Complete Problems with L -Samplable Distributions
The Effect of Table Expansion on the Program Complexity of Perfect Hash Funtions
Multidimensional B-Trees: Analysis of Dynamic Behavior
On Finding a Worst-Case Optimal Fourth Normal Form Database Decomposition
On Systolic Array Methods for Band Matrix Factorizations
On Crossing Numbers of Hypercubes and Cube Connected Cycles
Generating Binary Trees with Uniform Probability
Distributed Management of Transactions in Heterogeneous Distributed Database Systems
Greedy Matching on a Grid
The Amortized Complexity of Henriksen's Algorithm
On Generation of Permutations Through Decomposition of Symmetric Groups Into Cosets
On the Allocation of Binary Trees to Secondary Storage
A Maximum Stable Matching for the Roommates Problem
The Complexity of Detecting Crossingfree Configurations in the Plane
Uncle-Atrributed Grammars
Efficient Algorithms for Merging
The Application of a Sequence Notation to the Design of Systolic Computations
Approximate Counting: A Detailed Analysis
Horn Clause Computability
On the Dynamization of Data Structures
A Note on One-Pass Evaluation of Attribute Grammars
Stable Minimum Space Partitioning in Linear Time
Analysis of Repeated Hashing
The String Merging Problem
An Improved Rewriting-Number Algorithm
A Language-Driven Generalized Numerical Database Translator
A Mixed Directed-Undirected Data Structure for a Parallel Implementation of a Domain Decomposition Algorithm
Computing Parent Nodes in Threaded Binary Trees
The Fifty Percent Rule Revisited
Optimum Allocation of Places to Students in a National University System
Estimating the Length of Minimal Spanning Trees in Compression of Files
Terminating General Recursion
Order Preserving Extendible Hashing and Bucket Tries
A Parallel Algorithm to Solve the Stable Marriage Problem
A Select and Insert Sorting Algorithm
A Constant-Time Channel-Assignment Algorithm on Reconfigurable Meshes
Canonical Representations of Partial 2- and 3-Trees
Impressions of the Early Days of Programming
Loop-Free Algorithms for Traversing Binary Trees
Counting Labels in Binary Trees
A Parallel Search Algorithm for Directed Acyclic Graphs
Metric Semantics for Concurrency
Multi-Attribute Hashing with Multiple File Copies for High Performance Partial-Match Retrieval
Properties and Applications of Forests of Quadtrees
Transfer of Programs from Development to Runtime Environments
A Note on Parallel Depth First Search
A Fast Line-Sweep Algorithm for Hidden Line Elimination
Array Processing Machines: An Abstract Model
Performance Bounds on Multiprocessor Scheduling Strategies for Statically Allocated Programs
On-Line Sorting of Twisted Sequences in Linear Time
On the Recovery of Error Patterns from Signatures Obtained in Digital System Testing
A Note on Two Parallel Algorithms to Solve the Stable Marriage Problem
Stabbing Line Segments
An Optimal Algorithm for Generating Equivalence Relations on a Linear Array of Processors
Analysis and Benchmarking of Two Parallel Sorting Algorithms: Hyperquicksort and Quickmerge
Significant Improvements to the Ford-Johnson Algorithm for Sorting
An Axiomatization of Events
A Systolic Generation of Combinations
Height-Analysis of k -Dimensional Leaf and Node Height-Balanced Trees: A New Approach
An Efficiency Comparison of Some Representations of Purely Functional Arrays
SIMD Language Design Using Prescriptive Semantics
On the X-Y Convex Hull of a Set of X-Y Polygons
An Efficient Fault-Tolerant Decentralized Commit Protocol for Single Site Failure
Ordered Priority Queues
Distributed Termination on a Ring
A Probabilistic Version of the Stable Marriage Problem
A Reciprocal Confluence Tree Unit and Its Applications
Compression of Character Stings by an Adaptive Dictionary
A Language for Linking Modules into Systems
A Simple Algorithm for Building the 3-D Convex Hull
Single Access Hashing with Overflow Separators for Dynamic Files
A Linear Time Implementation of the Reverse Cuthill-McKee Algorithm
Translations on a Subclass of LR(k) Grammars
An Algebraic Approach to Cichelli's Perfect Hashing
Application of Principal Component Analysis to Multi-Disk Concurrent Accessing
Tutorial on Analytical Methods as a Complement ot Numerical Computing
A Parallel Selection Algorithm
An Parallelizing a Greedy Heuristic for Finding Small Dominant Sets
Verification of Link-Level Protocols
On the Invariance of Male Optimal Stable Matching
Generating Alternating Permutations Lexicographically
On Search by Address Computation
A Heuristic Approximation of the Worst Case of Shellsort
An Axiomatic Treatment of SIMD Assignment
A Generalized Hypergreedy Algorithm for Weighted Perfect Matching
FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions
Optimal Parallel Quicksort on Erew Pram
Stable in Situ Sorting and Minimum Data Movement
An example in synchronization of cooperating processes: theory and practice
Undetectable On-line Password Guessing Attacks
A critique of the GNU hurd multi-server operating system
Local States in Distributed Computations: A Few Relations and Formulas
The need for preservation aware storage: a position paper
ACM/SIGOPS workshop on system performance evaluation
ARC based superpaging
Structuring Fault-Tolerant Object Systems for Portability
The promise, and limitations, of gossip protocols
Mutual Exclusion Within Both Software- and Hardware-Driven Kernel Primitives
Brazilian symposium on computer system engineering, November 2013
MIRAGE: storage provisioning in large data centers using balanced component utilizations
From paxos to CORFU: a flash-speed shared log
A Methodology for Implementing Highly Concurrent Data Objects (Abstract)
Brazilian Symposium on Computing System Engineering
Device transparency: a new model for mobile storage
The Effects of Virtually Addressed Caches on Virtual Memory Design and Performance
Virtual machines: a whole new world for performance analysis
A checkpoint-based high availability run-time system for Windows NT clusters
Middleware for Dependable Network Services in Partitionable Distributed Systems
Virtual networking
A design for high-performance flash disks
The Problem of Nested Monitor Calls
Foreword: Special Issue on Repeatability and Sharing of Experimental Artifacts
Small trusted primitives for dependable systems
Priority is a Limited Property
The Management of Operating System State Data
Visual and algorithmic tooling for system trace analysis: a case study
A Model for a Distributed OS Automatic Generating System
Upcoming Events in Operating System Research
Working Sets and Near-Optimality
Book Review: Linux Universe by Stefan Strobel and Thomas Uhl
A New Look at an Old Protocol
Unicorn: voluntary computing over Internet
Exploring Machine Learning for Thread Characterization on Heterogeneous Multiprocessors
COSY: An Operating System for Highly Parallel Computers
I do declare: consensus in a logic language
New Phase 1 Exchange Mode for IKE framework
Processor Management in a Concurrent Pascal Kernel
A Method for Implementing Paged, Segmented Virtual Memories on Microprogrammable Computers
A secure one-time password authentication scheme using smart cards without limiting login times
An efficient authentication protocol for mobile satellite communication systems
Workshop on power aware computing and systems (HotPower'11)
The HetNOS Network Operating System: A Tool for Writing Distributed Applications
Site Optimal termination Protocols for a Distributed Database under Network Partitioning
Formal analysis techniques for gossiping protocols
A Message-based Real-Time Model by Object-Oriented Technique
DREAM: Distributed Regional Efficient Agent Management with LLMs for Online Multi-Agent Pathfinding
Extending Device Management in Minix
6th Brazilian Symposium on Computing System Engineering
Operating system issues for petascale systems
Report on the Fourth ACM SIGOPS European Workshop: Fault Tolerance Support in Distributed Systems
A proposal for certain process management and intercommunication primitives
PlanetLab: overview, history, and future directions
K42: an infrastructure for operating system research
Security in a Secure Capability-Based System
Virtual Address Translation for Wide-Address Architectures
A Simple Approach to Operating System Generation and Initialization
XINIX Time-Sharing Operating System
A novel packet-pair-based inferring bandwidth congestion control mechanism for layered multicast
5th Brazilian Symposium on Computing System Engineering
A Response to Cheriton and Skeen's Criticism of Causal and Totally Ordered Communication
Dagstuhl seminar report: security and dependability for federated cloud platforms, 2012
Book Review: Computer Security: The Practical Issue in a Troubled World (IFIP/Sec'85 Proceedings)
Implementing Real-Time Services in MINIX
On Programs, Tasks and Processes
A multi-protocol cross-domain communication model for metacomputing systems
An Object-Based Virtual Operating System For The Ada Programming Support Environment
A Computer System Supporting Data Abstraction (Part 2)
A Lock-Free Multiprocessor OS Kernel (Abstract)
PlanetLab application management using plush
Emulators: Prospective Instruments for Instruction in Systems Programming
Extending futex for kernel to user notification
On the Security of Three-Party Cryptographic Protocols
SmartApps: middle-ware for adaptive applications on reconfigurable platforms
Book Review: Medusa, A Distributed Operating System by John K. Ousterhout
vApp: a standards-based container for cloud providers
Extensible Access Control for a Hierarchy of Servers
Using model checkers in an introductory course on operating systems
Transactions: A Construct for Reliable Distributed Computing
Virtual machine time travel using continuous data protection and checkpointing
Ongoing research and development on information protection
Extreme Datacenter Specialization for Planet-Scale Computing: ASIC Clouds
Catastrophe Theory: Its Application in Operating System Design
A comparison of the Linux and Windows device driver architectures
The Akamai network: a platform for high-performance internet applications
Book Review: Global Software: Developing Applications for the International Market by Dave Taylor
Towards Provable Timing-Channel Prevention
Systems Software for Wireless Mobil Computing (Abstract)
Final Report on Workshop on Integrated Approach for Fault Tolerance - Current State and Future Requirements
Virtualizing high performance computing
Device Management in TURING PLUS
A Taxonomy-Based Comparison of Several Distributed Shared Memory Systems
Two simple attacks on Lin-Shen-Hwang's strong-password authentication protocol
Design of Optimal Distributed File Systems: A Framework for Research
On Proof Rules for Monitors
Transparency and Reflection in Distributed Systems
PAPER: influence of deterministic customers in time sharing scheduler
FlexDCP: a QoS framework for CMP architectures
Enabling a marketplace of clouds: VMware's vCloud director
Implication and Equivalence I/O
A Top-Down Operating System Course
End-to-end performance of commercial applications in the face of changing hardware
Enhancing operating system support for multicore processors by using hardware performance monitoring
Beating the I/O Bottleneck: A Case for Log-Structured File Systems
From Repeatability to Reproducibility and Corroboration
Vigilant: out-of-band detection of failures in virtual machines
Visualizing UNIX Synchronization Operations
Does virtualization make disk scheduling passé?
Experiences teaching operating systems using virtual platforms and Linux
The Cost of Using the CAP Computer's Procetion Facilities
Automatic verification of active device drivers
Defining deadlock
Matching Data Storage To Application Needs
Transparent Optimistic Rollback Recovery
Tagged Semaphores
Synchronization: Introduction by the session chairman
TUNIS: A UNIX Look-Alike Written in Concurrent Euclid (Abstract)
On Key Distribution Protocols for Repeated Authentication
Performance and Scalability of Storage Systems, a view from the WOPSSS Workshop
New Directions for Operating Systems: A Workshop Report
Communication protocols and error recovery procedures
A Distributed Solution to the Reader-Writer Problem
Book Review: A Handbook of Software Development and Operating Procedures for Microcomputers by Paul Holliday
Microsharding: a declarative approach to support elastic OLTP workloads
Student mini-kernel project based on an FPGA board
Storage virtualization using a block-device file system
Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO
Extended Control Services in Operating System Interfaces
HIP: Hybrid Interrupt-Polling for the Network Interface
Opportunistic Spinlocks: Achieving Virtual Machine Scalability in the Clouds
High Availability in a Real-Time System
Privileged operations in the PlanetLab virtualised environment
Are virtual-machine monitors microkernels done right?
The evolution of an x86 virtual machine monitor
A Note on Bit-Mapped Free Sector Management
A unified execution model for cloud computing
VAIF: Variance-driven Automated Instrumentation Framework
Insights into providing dynamic adaptation of operating system policies
Comments on the S/KEY User Authentication Scheme
Book Review: Information Systems Design Methodologies: A Feature Analysis. Proceedings of the IFIP WG 8.1 Working Conference on Feature Analysis of Information Systems Design Methodologies, York, UK, 5-7 July 1983
Conducting Repeatable Experiments and Fair Comparisons using 802.11n MIMO Networks
Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example
The design and implementation of LilyTask in shared memory
Book Review: Building in Big Brother: The Cryptographic Policy Debate edited by Lance J. Hoffman
User-level checkpoint and recovery for LAM/MPI
Computer systems research at HP labs
Prelude: Tools for Building Portable Parallel Programs (Abstract)
Summary of the 5th international workshop on feedback control implementation and design in computing systems and networks (FeBID 2010)
An Evaluation of the Ninth SOSP Submissions or: How (and How Not) to Write a Good Systems Paper
Power management in the EPOS system
SOSP 1991 Panel Session Presentations: Introduction
The implementation of Dynamite - an environment for migrating PVM tasks
Networked systems research at Akamai
Moneo: Monitoring Fine-grained Metrics Nonintrusively in AI Infrastructure
Providing differentiated QoS for peer-to-peer file sharing systems
Is it not time to define "structured programming"?
IEEE Storage System Standards
Security enhancement for optimal strong-password authentication protocol
Simple High-Level Code For Cryptographic Arithmetic: With Proofs, Without Compromises
Tainting is not pointless
The Cambridge Model Distributed System
Overview of the workshop on managing large-scale systems via the analysis of system logs and the application of machine learning techniques
The Alchemy Model: A Model for Homogeneous and Heterogeneous Distributed Computing System
Organizing UNIX Directories as Lattices
Cassandra: a decentralized structured storage system
The Need for Closure in Large Distributed Systems
A Multi-Service Storage Architecture
Redundant Rights in Protection Systems
Hypercallbacks
Position Paper for Sigops Workshop on Fault Tolerance Support in Distributed Systems
Report on the second ACM workshop on hot topics in software upgrades (HotSWUp'09): http://www.hotswup.org/2009/
The Design of QoS Guarantee Network Subsystem
Character Streams
The Key Ideas Behind Boki's Shared Logs
Are clouds ready for large distributed applications?
Secure and Efficient Key Management for Dynamic Multicast Groups
Data Communications: IFIP's International "Network" of Experts
Towards peer-to-peer content indexing
A new pattern for flexible worker threads with in-place consumption message queues
Data-dependent Concurrency Control and Recovery
Atomic Broadcast in One Phase
A Hardware Implementation of Capability-Based Addressing
Transparent Remote Execution in Lahnos by Means of a Neural Network Device
Clarifying Straight Replays and Forced Delays
Cloud9: a software testing service
LADIS'14: 8th Workshop on Large-Scale Distributed Systems and Middleware
Workshop Summary: Operating Systems in Computer Networks, January 28-30, 1985, Rüschlikon, Switzerland
Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests
A Distributed token/based Algorithm for the Dynamic Resource Allocation Problem
Single-User Capabilities in Interprocess Communication
TaintEraser: protecting sensitive data leaks using application-level taint tracking
Distributed Computing In A NUMP (Non-Uniform Message-Passing) Environment
Multi-site cooperative data stream analysis
An Introduction to DSJ200/XT1
A look to the old-world_sky: EU-funded dependability cloud computing research
Enabling Practical Cloud Performance Debugging with Unsupervised Learning
Interrupts as Threads
Commensal cuckoo: secure group partitioning for large-scale services
Experience with Causally and Totally Ordered Communication Support, A cautionary tale
Active block layout: a high performance disk layout mechanism
A Comparison of System Monitoring Methods, Passive Network Monitoring and Kernel Instrumentation
Lockless multi-core high-throughput buffering scheme for kernel tracing
SLRL: A Simple Least Remaining Lifetime File Eviction policy for HPC multi-tier storage systems
Self-management of cloud applications and infrastructure for energy optimization
Building Wearables for Geology: An Operating System Approach
Securing cloud-based computations against malicious providers
Yet another attempt to define "structured programming"
Root Kits: an operating systems viewpoint