yusuke1997/dblp-id-title huggingface dataset:
Control Functions for a Multiprocessor
The CTRON Approach to Operating System Support for Software Portability
Crowd translator: on building localized speech recognizers through micropayments
On the declarativity of declarative networking
A Proposal for an Architectural Approach Which Apparently Solves All Known Software-Based Internal Computer Security Problems
Distributed File Systems - A Survey
Efficient LLM Inference via Chunked Prefills
HASS: a scheduler for heterogeneous multicore systems
Models and Paradigms for Distributed Systems Structuring - Summary of Sessions
Comparative evaluation of overlap strategies with study of I/O overlap in MPI-IO
Digest of Proceedings, Seveth IEEE Workshop on Hot Topics in Operating Systems, March 29-30, 1999, Rio Rico, AZ
Upcoming Events in Operating Systems Research
Empirical evaluation of NAND flash memory performance
Synchronization of the Producer/Consumer Problem using Semaphores, Monitors, and the Ada Rendezvous
Why panic()?: improving reliability with restartable file systems
A Brief Summary of Systems Providing Process or Object Migration Facilities
On the Properties of Cryptographic Protocols and the Weakness of the BAN-like Logics
Decoupling storage and computation in Hadoop with SuperDataNodes
Application-Controlled Physical Memory using External Page-Cache Management (Abstract)
Overview of the ROADS'09 workshop
EZIOTracer: Unifying Kernel and User Space I/O Tracing for Data-Intensive Applications
How to Break Fraud-Detectable Key Recovery
A study on micro level traffic prediction for energy-aware routers
ICHU Model For Processor Allocation In Distributed Operating Systems
When the Power of the Crowd Meets the Intelligence of the Middleware: The Mobile Phone Sensing Case
Further Comments on Implementation of General Semaphores
ULT: a Java threads model for platform independent execution
Deadlocks and Methods for their Detection, Prevention and Recovery in Modern Operating Systems
Ordered Multicast and Distributed Swap
Scalable concurrent hash tables via relativistic programming
Make It Real: An End-to-End Implementation of A Physically Disaggregated Data Center
Strategies Optimization and Integration in DSM
A Simple Taxonomy for Distributed Mutual Exclusion Algorithms
Why A Distributed Kernel?
Can self-organizing P2P file distribution provide QoS guarantees?
Static and Dynamic Polling Mechanisms for Fieldbus Networks
Book Review: Linux: Unleashing the Workstation in Your PC by Stefan Strobel and Thomas Uhl
MOLAR: adaptive runtime support for high-end computing operating and runtime systems
Operating System design: Towards a Holistic Approach?
A New Hardware Capability Architecture
Some Thoughts On Experimental Computer Science
Abstract Machines Modelling Network Control Systems
Glitz: cross-vendor federated file systems
Automated Assessment of Secure Search Systems
Notes on a Workshop on Distributed Computing, Held at the Harvard Faculty Club, Cambridge, MA, 12-13 October 1978
Book Review: The Temporal Logic of Reactive and Concurrent Systems, Vol. I Specification by Zahar Manna and Amir Pnueli
Writing Device Drivers in Concurrent Pascal
Making serial number based authentication robust against loss of state
Referee Coordination for the Fifth Symposium on Operating Systems Princiles
Morpheus: Exploring the Potential of Near-Data Processing for Creating Application Objects in Heterogeneous Computing
A critical comment
Mining dependency in distributed systems through unstructured logs analysis
A Set of Efficient Semaphoring Instructions
Overview of TOS: A Distributed Educational Operating System in Java
The P416 Programming Language
On Improvements to Password Security
Senslide: a distributed landslide prediction system
A Nonce-Based Protocol For Multiple Authentications
CORBA For Hard Real Time Applications: Some Critical Issues
An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling
RAID triple parity
Guarded Page Tables on Mips R4600 OR An Exercise in Architecture-Dependent Micro Optimization
High Resolution Timing with Low Resolution Clocks and A Microsecond Resolution Timer for Sun Workstations
Integrating I/Os in Cloudsim for Performance and Energy Estimation
SOSP diversity workshop
Cloudifying source code repositories: how much does it cost?
Brazilian symposium on computing system engineering
Virtual machine monitor-based lightweight intrusion detection
Using a file working set model to speed up the recovery of Peer-to-Peer backup systems
Towards a framework for dedicated operating systems development in high-end computing systems
Evil twins: two models for TCB reduction in HPC clusters
Report on the Second European SIGOPS Workshop "Making Distributed Systems Work"
The ISIS Project: Real Experience with a Fault Tolerant Programming System
Insider Threat Assessment: a Model-Based Methodology
Specialized execution environments
Performance driven multi-objective distributed scheduling for parallel computations
Protection in flexible operating system architectures
Process Synchronization by Counter Variables
A Fault-Tolerant Dynamic Triangular Mesh Protocol for Distributed Mutual Exclusion
The problem of nested monitor calls revisited
Building a Secure and Privacy-Preserving Smart Grid
Causal Consistency in Mobile Environment
Tapir: A Language for Verified OS Kernel Probes
Minding the gap: R&D in the Linux kernel
Analysis of Optimal Thread Pool Size
Report on the third workshop on hot topics in software upgrades (HotSWUp'11)
File System Encryption with Integrated User Management
Efficient Local Checkpointing for Software Fault Tolerance
Space savings and design considerations in variable length deduplication
Towards automatic social bootstrapping of peer-to-peer protocols
The VMware mobile virtualization platform: is that a hypervisor in your pocket?
EPEP: An Operating System Designed for Experiment-Control
An Asynchronous Garbage Collector for the Cambridge File Server
On the Generalized Critical Region Construct
SIP message classification: design and performance
OSCL (1) activity in Europe
Evolutionary Steps Toward a Distributed Operating System: Theory and Implementation
Modeling Spin Locks with Queuing Networks
Storing and accessing live mashup content in the cloud
Authentication in Distributed Systems: A Bibliography
Towards distributed storage resource management using flow control
A Note on Lamport's Mutual Exclusion Algorithm
Where does transactional memory research stand and what challenges lie ahead?: WTM 2012, EuroTM workshop on transactional memory
Towards effective user-controlled scheduling for microkernel-based systems
The SmartFrog configuration management framework
Paper rating vs. paper ranking
Reaching agreement on an unknown network with partial graphic information
Cloud-Hosted Intelligence for Real-time IoT Applications
Taming Consensus in the Wild (with the Shared Log Abstraction)
Content-Dependent Access Control
Shared Logging Services for Fault-Tolerant Distributed Compting
The Cambridge File Server
Selecting sequence numbers
Cloud-TM: harnessing the cloud with distributed transactional memories
A secure user authentication scheme using hash functions
Symbolic Reasoning for Automatic Signal Placement
The Virtual System Project (Abstract)
Scalable Hierarchical Coarse-grained Timers
An implementation of a computer simulation system
Harnessing Energy Efficiency of Heterogeneous-ISA Platforms
Energy proportionality for storage: impact and feasibility
Protection Imperfect: The Security of Some Computing Environments
Workshop on Mobile Computing Systems and Applications, December 1994, Digest of Proceedings
Combining Optimism and Pessimism to Produce High Availability in Distributed Transaction Processing
A Modular Representation of the Access Control System
Attaining system performance points: revisiting the end-to-end argument in system design for heterogeneous many-core systems
Two attacks on a user friendly remote authentication scheme with smart cards
Developing A Heterogeneous Distributed Operating System
A new multi-stage secret sharing scheme using one-way function
Window Management, Graphics, and Operating Systems
Variable Granularity Cache Coherence
Extended scheduler for efficient frequency scaling in virtualized systems
The Case for Learning-and-System Co-design
One Profile Fits All: Profile-Guided Linux Kernel Optimizations for Data Center Applications
Reliable Atomic Broadcast in Distributed Systems with Omission Faults
Post-copy live migration of virtual machines
Weaknesses of Yoon-Ryu-Yoo's hash-based password authentication scheme
Optimization of procedures for discovery and information of idle resources in distributed systems
Relaxing the Limitations of Serializable Transactions in Distributed Systems
A review of energy measurement approaches
Book Review: Security, IFIP/Sec'83 (proceedings)
The mechanics of in-kernel synchronization for a scalable microkernel
A Nested Mutual Authentication Protocol
DataSeries: an efficient, flexible data format for structured serial data
A Comment on S. Kang's and H. Lee's paper on "Analysis and Solution of Non-Preemptive Policies for Scheduling Readers and Writers"
It is not time to define "structured programming"
Specifying Data Availability in Multi-Device File Systems
Internet Security Attacks at the Basic Levels
Authentication Services For Computer Networks And Electronic Messaging Systems
Atomic Actions and Timestamps
Deadlock Prevention, detection, and Resolution: An Annotated Bibliography
The MARUTI Hard Real-Time Operating System
Runtime monitoring on multicores via OASES
A Survey of Power Management Techniques in Mobile Computing Operating Systems
A Short Note on Cheap Fine-grained Time Measurement
Auto-tuning support for manycore applications: perspectives for operating systems and compilers
Joint Actions Based Authorization Schemes
On Mutual Exclusion in Faulty Distributed Systems
Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis
Toward Weight Sharing Paradigm for Efficient AI: Training and Inference Serving
The research of the distributed stripped storage spatial model
GRPC: A Communication Cooperation Mechanism in Distributed Systems
Book Review: Technical Aspects of Data Communication (2nd Ed.) by John E. McNamara
On Security in Capability-Based Systems
ZWAL: RethinkingWrite-ahead Logs for ZNS SSDs with Zone Appends
A Non-Blocking Transaction Data Flow Graph Based Approach For Replicated Data
Towards a Secure Platform for Distributed Mobile Object Computing
Stable Transactional Memories and Fault Tolerant Architectures
The good, the bad and the ugly of consumer cloud storage
The System Architecture of the Heidelberg Transport System
How to implement any concurrent data structure for modern servers
Security Issues for Wireless ATM Networks
The VMOS paging algorithm: a practical implementation of the working set model
Making Real-Time Reactive Systems Reliable
Coordinating government funding of file system and I/O research through the high end computing university research activity
Taming Hyper-parameters in Deep Learning Systems
Toward automatic policy refinement in repair services for large distributed systems
Access and Use Control using Externally Controlled Reference Monitors
Security and Log Structured File Systems
Using Personal Computers in Operating System Courses
Synchronization: Is a synthesis of the problems possible?
Distributed Algorithm for K-Entries to Critical Section Based on the Directed Graphs
An efficient distributed method for allocating resources based on an unobstructed squeezing technique
A case study on the cost and benefit of dynamic RPC marshalling for low-level system components
Scheduling in Concurrent Pascal
Efficient Semaphore Management Using Read/Modify/Write Memory Cycles
Do commodity SMT processors need more OS research?
Memory disaggregation: why now and what are the challenges
Security Functions for a File Repository
A Short Note on Implementing "New" Machine Instructions by Software for Efficient Test of Page Accessibility
O2S2: enhanced object-based virtualized storage
DataMesh Parallel Storage Servers (Abstract)
A server assisted authentication protocol for detecting error vectors
Message from the Chair, Novemver 2001
A security scheme for protecting security policies in firewall
HARTOS: A Distributed Real-Time Operating System
Experience With a Commercial Java Implementation of Group Communication using Reliable Multicast
Predictive Deadline Multi-Processing
Summary of the 5th workshop on large-scale distributed systems and middleware (LADIS 2011)
Scalable virtual machine storage using local disks
An Intelligent Framework for Timely, Accurate, and Comprehensive Cloud Incident Detection
The GM multiple console time sharing system
Context sensitivity in role-based access control
About Logical Clocks for Distributed Systems
virtio: towards a de-facto standard for virtual I/O devices
Automated control of internet services
Multimedia Data Storage and Representation Issues on Tertiary Storage Subssystems: An Overview
Fairness and isolation in multi-tenant storage as optimization decomposition
Operating Systems in a Changing World
Using PlanetLab for network research: myths, realities, and best practices
Three-party Encrypted Key Exchange: Attacks and A Solution
Exploiting the synergy between gossiping and structured overlays
Counteraxamples to a One Writer Multireader Atomic Variable Construction of Burns and Peterson
Towards achieving fairness in the Linux scheduler
When is a test not a test?
Project Sequoia 2000 (Abstract)
Optimizing a shared virtual memory system for a heterogeneous CPU-accelerator platform
The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios
Load Balancing and Fault Tolerance in Workstation Clusters Migrating Groups of Communicating Processes
PC-XINU Features and Installation
Considering the frequency dimension into on demand adaptive algorithms
An Operating System Case Study
A Deeper Dive into Pattern-Aware Subgraph Exploration with PEREGRINE
Virtualizing networking and security in the cloud
PROPHET: goal-oriented provisioning for highly tunable multicore processors in cloud computing
The Spring Kernel: A New Paradigm for Real-Time Operating Systems
Resource Management in Large Distributed Systems
Parallel Computing Using Idle Workstations
Comparison of Network Protocol and Architecture for Distributed Virtual Simulation Environment
Some Security Principles and Their Application to Computer Scurity
Analyzing blocking to debug performance problems on multi-core systems
A novel disk queue to reduce disk I/O of messaging system
Episode: Lazy Transactions for Filesystem Meta-Data Updates (Abstract)
What does control theory bring to systems research?
EMPIRIC: Exploring Missing Pieces in KV Cache Compression for Reducing Computation, Storage, and Latency in Long-Context LLM Inference
A Toolkit for Building Reactive Systems or A Minute on Meta (Abstract)
Gossiping over storage systems is practical
RFS: a network file system for mobile devices and the cloud
Fault Tolerance: Synchronization of Redundancy
Book review: VAX/VMS Internals and Data Structures by Lawrence J. Kenah and Simon F. Bate
Push Technology, Not Abstractions
Hybrid aggregates: combining SSDs and HDDs in a single storage pool
SCR Algorithm: Saving/Restoring States of File Systems
Analysis of Caching Algorithms for Distributed File Systems
Some comments on Denning's principle of optimality
Deadlock Avoidance in Loosely-Coupled Multiprocessors with Finite Buffer Pools
Toward accurate and practical network tomography
Systems work at Microsoft Research
Should disks be speed demons or brainiacs?
Learning from the past for resolving dilemmas of asynchrony
Resource Partitioning in General Purpose Operating Systems - Experimental Results in Windows NT
Systems research and innovation in data ONTAP
Segment transfer protocols for a homogeneous computer network
Trusted virtual platforms: a key enabler for converged client devices
Summary of the 3rd ACM SIGOPS workshop on large-scale distributed systems and middleware (LADIS 2009)
International Workshop Performance Evaluation - Origins and Directions
Analysis of Steady-State Segment Storage Utilizations in a Log-Structured File System with Least-Utilized Segment Cleaning
To CATOCS or not to CATOCS, that is the ..
Operating Systems Research Related to the Galactica Net Architecture (Abstract)
Small-scale peer-to-peer overlays
Virtualization for high-performance computing
An Efficient Reliable Broadcast Protocol
A Classification of Interdomain Actions
Log-based architectures: using multicore to help software behave correctly
Life on the OS/Network Boundary
Adaptable Object Migration: Concept and Implementation
A Model for Intelligent Task Scheduling in a Large Distributed System
A High Resolution Disk I/O Trace System
Efficient Commit Protocols for the Tree of Process Model of Distributed Transactions
Interfacing User Processes and Kernel in High Level Language
A policy flexible architecture for secure operating system
BitVault: a highly reliable distributed data retention platform
A cooperative asynchronous write mechanism for NAS
Fast Causal Multicast
Availability in the Sprite Distributed File System
A Field-based Collaboration Strategy in MADCE
An Algorithm for Resource Location in a Loosely Linked Distributed Computer System
Analysis of DAWNBench, a Time-to-Accuracy Machine Learning Performance Benchmark
A perspective on computing research management
Managing operational business intelligence workloads
Integration of ICT onto Curricula in the Western Cape Schools: The Activity Theory Perspective
The role of Social Entrepreneurs in Deploying ICTs for Youth and Community Development in South Africa
Code of Ethics for Community Informatics Researchers
Communities in Context: Taking Control of Their Tools in Common(s)
Connecting with Youth at Risk: Indigenous Organizations Use of Facebook
Networking for Communications Challenged Communities: Report from a European project targeting conditions of poor or lacking ICT coverage
Some Key Challenges for Data Literacy
Perceptions of ICT use in rural Brazil: Factors that impact appropriation among marginalized communities
Communities, Technologies and Participation: Notes from C&T 2009
Relational and person-centred approaches to archival practice and education
Managing Knowledge During Partnerships: A Case of Intermediaries in Agricultural Innovation System
Community Informatics and Systems Design
The Rhetoric of Transparency and its Reality: Transparent Territories, Opaque Power and Empowerment
DigiPopEd: Popular Education and Digital Culture
Gender Experiences in IT@School, an ICT enabled education project of Kerala, India
Contributions of Paulo Freire for a Critical Data Literacy: a Popular Education Approach
Design for Sustainability: Countering the Drivers of Unsustainability in Development Projects
Women Forge Ahead in India: Internet and the Public Forum
The Digital Fringe and Social Participation through Interaction Design
How K-Net and Atlantic Canada's First Nation Help Desk are Using Videoconferencing for Community Development
Building First Nation Owned and Managed Fibre Networks across Quebec
A sustainability framework for mobile technology integration in schools: The case of resource-constrained environments in South Africa
Surveys of the use of information and communications technologies by community-based organisations
Technology Mediated Learning: Building Capacity in Rural Communities
What are Community Wireless Networks For?
Stimulating Citizens to Community Action in Urban Areas: Media, Interpersonal Networks and Organizations
Broadband Project For The Aging In Victoria
Smart Cities vs. Smart Communities: Empowering Citizens not Market Economics
A Review of New Zealand's Digital Strategy
An Outpost of Digital Hope: Frank Odasz and the Lost Promise of Grassroot Networking
Abuse Prevention of Street Camera Network by Browsing-History Disclosure
'It is unbelievable how many come to us': : A study on community librarians' perspectives on digital inclusion in Sweden
Meta-Synthesizing Qualitative Research in Information Systems
First Mile Methodologies in Community Informatics Research: Learning from First Nations
Assessing the contribution of information technology to socio-economic development: A case study from rural South Africa
Community, Group and Individual: A Framework for Designing Community Technologies
A legacy to continue
MobiSAM: Reflections from a four year case study using technology to increase public participation in local government in South Africa
PIE News. A public design project toward commonfare
What Do Mobile-Connected Cambodians Do Online?
Introduction to the Special Issue: Research in Action for Community Informatics: A Matter for Conversation
Social movement theory and the Italian radical community archives: A question of valence?
Settler Colonialism and First Nations e-Communities in Northwestern Ontario
Are the Users Driving, and How Open is Open? Experiences from Living Lab and User Driven Innovation projects
Serving Seniors with Simple Technology - From Indoor to Outdoor Emergency Support and Care
A Community Informatics Model for e-Services in First Nations Communities: The K-Net Approach to Water Treatment in Northern Ontario
Bridging the Divide: Understanding and Implementing Access to the Internet as a Human Right
Metropolitan Wi-Fi Research Network at the Los Angeles State Historic Park
Opportunities and Challenges for First-mile Development in Rural Hawaiian Communities
Some Thoughts on ICT in a Developing World Context
Empowerment of women through an innovative e-mentoring community platform: implications and lessons learned
RLabs: A South African Perspective on a Community-driven Approach to Community Information
Participatory development of ICT entrepreneurship in an informal settlement in South Africa
Emergent digital activism: The generational/technological connection
Cooperating community connections: A changing political reality
From Exploration to Design: Aligning Intentionality in Community Informatics Projects
The Supportive Roles of Adults in Designing with Young Deaf Children
Users and Uses of Internet Access Points in Bangladesh: A Case Study of Community Information Centers (CICs)
Why I'm Giving Up on the Digital Divide
Life after Connectivity: the Impact of the Community Mesh Network in Mahavilachchiya, Sri Lanka's E-village
Flying blind, or going with the flow?: Using constructivist evaluation to manage the unexpected in the GraniteNet project
"I communicate with my children in the game": Mediated Intergenerational Family Relationships through a Social Networking Game
Readily Available Digital Technologies in the Age of Pandemics
Achieving digital inclusion of older adults through interest-driven curriculums
60+ Online
Cultivating the Women on Farms Gathering Community: A Digital Approach
Tl'azt'en Learning Circle: Information Technology, Health and Cultural Preservation
Community informatics as innovation in sociotechnical infrastructures
Participant-Making: bridging the gulf between community knowledge and academic research
Luddism for Community Informatics
Communities, Crowds and Focal Sites: Fine-Tuning the Theoretical Grounding of Collaboration Online
Book Review - Development Communication: Reframing the Role of Media
In Search of Community Champions: Researching the Outcomes of K-Net's Youth Information and Communications Technology Training Initiative
Increased Public Participation in Local Government Through the Use of Mobile Phones: What Do South African Youth Think?
Deep Trust in the future of Community Informatics
Community Informatics and the World Summit on the Information Society
Towards Supporting Community Information Seeking and Use
Telecentre functionality in South Africa: Re-enabling the community ICT access environment
Use of Electronic Mail by Educated Older Adults in Oyo State, Nigeria
Digital Habitats - stewarding technology for communities
A Canadian Election Programme for Digital Citizenship and Social Equity
Community Radio Provides Elderly a Platform to Have Their Voices Heard in rural Macha, Zambia
How Not to Forget Your Next Appointment: Use Technology to Combat the Effects of Aging