yusuke1997/dblp-id-title huggingface dataset:
Uniting the World by Dividing it: Federated Maps to Enable Spatial Applications
How to Program Networked Portable Computers
Multicore OS Benchmarks: We Can Do Better
Processor Hardware Counter Statistics as a First-Class System Resource
Robustness in Complex Systems
Exterminate all operating system abstractions
13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa, California, USA, May 9-11, 2011
Serve Programs, Not Prompts
Continuous and multimedia OS support in real-time control applications
What is the right amount of statelessness in a file server?
Applying the VVM Kernel to Flexible Web Caches
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, June 12-15, 2005, Santa Fe, New Mexico, USA
Systems trivia night
Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical
Smart Messages: A System Architecture for Large Networks of Embedded Systems
Live Monitoring: Using Adaptive Instrumentation and Analysis to Debug and Maintain Web Applications
The Case for Resilient Overlay Networks
Transport Layer Support for Highly-Available Network Services
Self-Tuned Remote Execution for Pervasive Computing
The Case for Application-Specific Benchmarking
Tickets and Currencies Revisited: Extensions to Multi-Resouce Lottery Scheduling
Stop! Hammer time: rethinking our approach to rowhammer mitigations
Beyond Processor-centric Operating Systems
Distributed Shared Object Memory
PLURIX: a multiprocessing Unix-like operating system
Towards Automated Configuration of Systems with Non-Functional Constraints
POST: A Secure, Resilient, Cooperative Messaging System
Ubiquitous Mobil Host Internetworking
Bossa: A DSL Framework for Application-Specific Scheduling Policies
Tolerate It if You Cannot Reduce It: Handling Latency in Tiered Memory
Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races
Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019, Bertinoro, Italy, May 13-15, 2019
HAT, Not CAP: Towards Highly Available Transactions
Shared data management needs adaptive methods
Secure OS Extensibility Needn't Cost an Arm and a Leg
Censorship Resistant Publishing Through Document Entanglements
The Case for Onloading Continuous High-Datarate Perception to the Phone
Privacy heroes need data disguises
How To Schedule Unlimited Memory Pinning of Untrusted Processes Or Provisional Ideas about Service-Neutrality
What bugs cause production cloud incidents?
FBMM: Using the VFS for Extensibility in Kernel Memory Management
Automated Experiment-Driven Management of (Database) Systems
A Clairvoyant Approach to Evaluating Software (In)Security
Access Control to Information in Pervasive Computing Environments
No!: Not Another Deep Learning Framework
FlexNIC: Rethinking Network DMA
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA
Reasoning about modern datacenter infrastructures using partial histories
Inferring the Network Latency Requirements of Cloud Tenants
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, May 20-23, 2001, Elmau/Oberbayern, Germany
From warm to hot starts: leveraging runtimes for the serverless era
Three Research Challenges at the Intersection of Machine Learning, Statistical Induction, and Systems
Treating Bugs as Allergies: A Safe Method for Surviving Software Failures
Burnt topics in operating systems
Lazy Process Switching
Scalability Bugs: When 100-Node Testing is Not Enough
The PARCTAB Mobile Computing System
OmniX: an accelerator-centric OS for omni-programmable systems
Apiary: An OS for the Modern FPGA
The Game of Twenty Questions: Do You Know Where to Log?
In reference to RPC: it's time to add distributed memory
Mind the Gap: Reconnecting Architecture and OS Research
The workstation as global communication interface
Beyond Bug-Finding: Sound Program Analysis for Linux
Challenges to Adopting Stronger Consistency at Scale
The Phoenix Recovery System: Rebuilding from the Ashes of an Internet Catastrophe
Beyond Storage APIs: Provable Semantics for Storage Stacks
MashupOS: Operating System Abstractions for Client Mashups
A Microkernel-Based Operating System for Personal Digital Assistants
Non-Deterministic Parallelism Considered Useful
The Case for Energy Clarity
Resolving the Integrity/Performance Conflict
The case for geographical push-caching
Doing more with less: training large DNN models on commodity servers for the masses
AIX 3 technology (operating system)
The Case for Performance Interfaces for Hardware Accelerators
System Virtualization for Neural Processing Units
Operating Systems for Component Software Environments
Development Tools for Distributed Applications
Structuring the Unstructured Middle with Chunk Computing
A file storage implementation for very large distributed systems
Supporting Disconnected Operation in DOORS
mmapx: uniform memory protection in a heterogeneous world
ISTORE: Introspective Storage for Data-Intensive Network Services
Operating Systems Must Support GPU Abstractions
CPR for SSDs
On Instruction Organization
Mobile Apps: It's Time to Move Up to CondOS
High Availability, Scalable Storage, Dynamic Peer Networks: Pick Two
Fail-slow fault tolerance needs programming support
Distributing the Data Plane for Remote Storage Access
Unified High-Performance I/O: One Stack to Rule Them All
Isolation and Beyond: Challenges for System Security
HotComments: How to Make Program Comments More Useful?
Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, May 18-20, 2009, Monte Verità, Switzerland
Rethinking Tiered Storage: Talk to File Systems, Not Device Drivers
Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System
Optimizing Power Consumption in Large Scale Storage Systems
The RESTless cloud
In-Network Compute: Considered Armed and Dangerous
The Case for Efficient File Access Pattern Modeling
Parallax: Managing Storage for a Million Machines
Building peer-to-peer systems with Chord, a distributed lookup service
The Case for a Session State Storage Layer
FAWNdamentally Power-efficient Clusters
A Case for Enforcing App-Specific Constraints to Mobile Devices by Using Trust Leases
Don't be a blockhead: zoned namespaces make work on conventional SSDs obsolete
Modular real-time resource management in the Rialto operating system
Preventing Denial-of-Service Attacks on a µ-Kernel for WebOSes
Aspect-Oriented System Structure
Hyperspaces for Object Clustering and Approximate Matching in Peer-to-Peer Overlays
Degrading Data to Save the Planet
Metastable failures in distributed systems
Cassyopia: Compiler Assisted System Optimization
What Synchronous Groupware Needs: Notification Services
RedLeaf: Towards An Operating System for Safe and Verified Firmware
Careful Protocols or How to Use Highly Reliable Networks
Privacy-Aware Location Sensor Networks
QuarkOS: Pushing the Operating Limits of Micro-Powered Sensors
Gray Failure: The Achilles' Heel of Cloud-Scale Systems
The Case for Run-Time Replaceable Kernel Modules
Skadi: Building a Distributed Runtime for Data Systems in Disaggregated Data Centers
Towards Increased Datacenter Efficiency with Soft Memory
Make Least Privilege a Right (Not a Privilege)
NextGen-Malloc: Giving Memory Allocator Its Own Room in the House
Virtualization Considered Harmful: OS Design Directions for Well-Conditioned Services
OS Verification - Now!
Supporting Application-Specific Resolution in an Optimistically Replicated File System
Virtualize Storage, Not Disks
Batching with End-to-End Performance Estimation
Energy is just another resource: Energy accountin and energy pricing in the Nemesis OS
From cloud computing to sky computing
Using Runtime Paths for Macroanalysis
Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark
Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, HotOS-VI, Cape Cod, Massachusetts, USA, May 5-6, 1997
Toward Common Patterns for Distributed, Concurrent, Fault-Tolerant Code
Using Dark Fiber to Displace Diesel Generators
Making Events Less Slippery with eel
Global Authentication in an Untrustworthy World
System Programming in Rust: Beyond Safety
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017
Preserving Hidden Data with an Ever-Changing Disk
An End to the Middle
On Availability of Intermediate Data in Cloud Computations
Operating system support for an object-oriented environment
Auditing to Keep Online Storage Services Honest
The Activity Platform
Using Computers to Diagnose Computer Problems
Sensing User Intention and Context for Energy Management
A Web Based Covert File System
The Network Hardware is the Operating System
Compatibility Is Not Transparency: VMM Detection Myths and Realities
Paramecium: an extensible object-based kernel
Computer Meteorology: Monitoring Compute Clouds
Optimizing Data Partitioning for Data-Parallel Computing
The Case for VOS: The Vector Operating System
Extensible Systems are Leading OS Research Astray
FlashVM: Revisiting the Virtual Memory Hierarchy
WiDS: An Integrated Toolkit for Distributed System Development
Real-time operating systems for multimedia processing
Creating Trust by Abolishing Hierarchies
We Need to Talk About NICs
Why Events Are a Bad Idea (for High-Concurrency Servers)
Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet
Building Diverse Computer Systems
Hype and Virtue
Operating System Directions for the Next Millennium
The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty
Security for Extensible Systems
A prototype information environment
Virtually Cool Ternary Content Addressable Memory
The Case for Better Throughput Estimation
The Importance of Good Plumbing-Reconsidering Infrastructure in Distributed Systems
The future of the shell: Unix and beyond
Why Markets Could (But Don't Currently) Solve Resource Allocation Problems in Systems
Towards Zero-Code Service Composition
Automatic Virtualization of Accelerators
Anypoint Communication Protocol
Repair from a Chair: Computer Repair as an Untrusted Cloud Service
An End-System Architecture for Unified Congestion Management
Falling Off the Cliff: When Systems Go Nonlinear
A Case for Managed and Model-less Inference Serving
Workstations and the virtual system model
Exploiting the Synergy between Peer-to-Peer and Mobile Ad Hoc Networks
Not Your Parents' Physical Address Space
Certifying Program Execution with Secure Processors
Broad New OS Research: Challenges and Opportunities
Software-Defined CPU Modes
15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause Ittingen, Switzerland, May 18-20, 2015
Towards Automatic Inference of Inductive Invariants
Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, May 18-21, 2003, Lihue (Kauai), Hawaii, USA
Transparent Mistrust: OS Support for Cryptography-in-the-Large
Middleware for Mobile Computing: Awareness vs. Transparency
Lax: Driver Interfaces for Approximate Sensor Device Access
Privacy Revelations for Web and Mobile Apps
The Case for Tiny Tasks in Compute Clusters
Smart Card Operating Systems: Overview and Trends
No Time for Asynchrony
Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection
Authentication Confidences
Formal Methods: A Practical Tool for OS Implementors
A Case Against Tiny Tasks in Iterative Analytics
Supporting Hot-Swappable Components for System Software
Towards ML System Extensibility
One Hop Lookups for Peer-to-Peer Overlays
File Systems for CE Equipment
Metal: An Open Architecture for Developing Processor Features
When Virtual Is Harder than Real: Security Challenges in Virtual Machine Based Computing Environments
Specifying Crash Safety for Storage Systems
Operating System Implications of Fast, Cheap, Non-Volatile Memory
What If You Could Actually Trust Your Kernel?
Architectures for Adaption Systems
Broom: Sweeping Out Garbage Collection from Big Data Systems
DiPS: A Unifying Approach for Developing System Software
Caching Documents with Active Properties
Better Security via Smarter Devices
The grand unified theory of address spaces
Automatic Mutual Exclusion
Purely Functional System Configuration Management
Systems research is running out of time
Magpie: Online Modelling and Performance-aware Systems
FLEX: A Tool for Building Efficient and Flexible Systems
Scalability! But at what COST?
xFS: A Wide Area Mass Storage File System
Storage Class Memory is Dead, All Hail Managed-Retention Memory: Rethinking Memory for the AI Era
The Case for Less Predictable Operating System Behavior
Virtual Appliances in the Collective: A Road to Hassle-Free Computing
Flexible OS Support and Applications for Trusted Computing
Quantum Operating Systems
Distributed Systems Support for Networked Games
Benchmarking File System Benchmarking: It *IS* Rocket Science
Reconsidering Internet Mobility
A Backup Appliance Composed of High-Capacity Disk Drives
Analyzing Metastable Failures
Availability and Consistency Tradeoffs in the Echo Distributed File System
Practical Always-on Taint Tracking on Mobile Devices
The Case for I/O-Device-as-a-Service
OS Support for General-Purpose Routers
Why Can't I Find My Files? New Methods for Automating Attribute Assignment
Security Impact Ratings Considered Harmful
Using dynamic sets to overcome high I/O latencies during search
Protection is a software issue
Practical Security Systems with Smartcards
Will Serverless End the Dominance of Linux in the Cloud?
I/O Is Faster Than the CPU: Let's Partition Resources and Eliminate (Most) OS Abstractions
Experience with the Development of a Microkernel-Based, Multi-Server Operating System
Secure Data Replication over Untrusted Hosts
Probabilistic Modelling of Replica Divergence
-OVERIFY: Optimizing Programs for Fast Verification
Project PBerry: FPGA Acceleration for Remote Memory
μChoices: an object-oriented multimedia operating system
Evolution of nature-inspired optimization for new generation antenna design
Multilevel broadcast recipient maximization in IEEE 802.16j using ant colony optimization
Efficient synthesis of complex antenna devices through System-by-Design
Using Ant Colony Optimization to design GPON-FTTH networks with aggregating equipment
Call drop minimization using Fuzzy associative memory
Proceedings of the 2013 IEEE Symposium on Computational Intelligence for Communication Systems and Networks, CIComms 2013, IEEE Symposium Series on Computational Intelligence (SSCI), 16-19 April 2013, Singapore
Efficient scheme for load balancing on heterogeneous Biswapped Networks
A novel method of computation of transfer function of unknown networks for indoor power line communication: Transfer function estimation of power line using transmission matrices
Rotated-cone-programming method for designing phase-equalization system
ANN based optimization of resonating frequency of split ring resonator
Multiplexing communication routes with proxy-network to avoid intentional barriers in large scale network
Modeling and reasoning in context-aware systems based on relational concept analysis and description logic
A technique for the aperture partitioning
Solving the base station placement problem by means of swarm intelligence
Interference suppression using CPP adaptive notch filters for UWB synchronization in stochastic non-linear channels
Using evolutionary algorithms for channel assignment in 802.11 networks
2014 IEEE Symposium on Computational Intelligence for Communication Systems and Networks, CIComms 2014, Orlando, FL, USA, December 9-12, 2014
Matching objects to user's queries in Web of Things' applications
Fuzzy based room temperature control by integrating sensors and cameras with a grid
A new meandering RFID antenna designed by evolutionary algorithm
An overview of several recent antenna designs utilizing nature-inspired optimization algorithms
Optimal observations transmission for distributed estimation under energy constraint
MIMO receivers for SFBC SC-FDMA communication systems
Automated network application classification: A competitive learning approach
Cost effective analysis of web based transmission
Antenna design by using MOEA/D-based optimization techniques
Route selection for minimizing interference to primary users in Cognitive Radio Networks: A Reinforcement Learning approach
A Scalable Cloud Storage for Sensor Networks
Second International Workshop on the Web of Things (WoT 2011)
Toward Constrained Semantic WoT
Uniting online social networks with places and things
The anatomy of a large scale social web for internet enabled objects
From Load Forecasting to Demand Response - A Web of Things Use Case
Providing user support in Web-of-Things enabled smart spaces
WoT 2016: The Seventh International Workshop on the Web of Things
WoT 2017: The Eighth International Workshop on the Web of Things
A WoT approach to eHealth: case study of a hospital laboratory alert escalation system
Mashing up the physical and augmented reality: The Web of Augmented Things Idea
Towards the Shop Floor App Ecosystem: Using the Semantic Web for Gluing Together Apps into Mashups
RESTful triple spaces of things
Modeling the Internet of Things: A Foundational Approach
Beyond Physical Mashups: Autonomous Systems for the Web of Things
Towards the design of intelligible object-based applications for the Web of Things
A computational space for the web of things
Proceedings of the Seventh International Workshop on the Web of Things, WoT 2016, Stuttgart, Germany, November 7, 2016
WoTKit: a lightweight toolkit for the web of things
A distributed resource management architecture for interconnecting Web-of-Things using uBox
Always-On Web of Things Infrastructure using Dynamic Software Updating
Proceedings of the Second International Workshop on Web of Things, San Francisco, CA, USA, June 16, 2011
Proceedings of the 5th International Workshop on Web of Things, WoT 2014, Cambridge, MA, USA, October 8, 2014
Toward a Distributed Data Flow Platform for the Web of Things (Distributed Node-RED)
An extensible discovery service for smart things
Towards building a global oracle: a physical mashup using artificial intelligence technology
Virtual Things for Machine Learning Applications
Connecting things to the web using programmable low-power WiFi modules
Generic Operations on RESTful Resources in Mashup Tools
Towards modeling real-world aware business processes
Cloud computing, REST and Mashups to simplify RFID application development and deployment
PalimPost: information convergence using sticky notes
Metadata management for the web of things: a practical perspective
WoT 2014: Fifth International Workshop on the Web of Things
Adaptive User Interfaces as an Approach for an Accessible Web of Things
Proceedings of the Eighth International Workshop on the Web of Things, WoT 2017, Linz, Austria, October 22, 2017
Towards Integration of Big Data Analytics in Internet of Things Mashup Tools
Web of Things Augmentation
Third International Workshop on the Web of Things (WoT 2012)
A component based approach for the Web of Things
Semantic Web Based Context-Adaptable Generation of Product Specific Documentation
Proceedings of the 6th International Workshop on the Web of Things, WoT 2015, Seoul, South Korea, October 26, 2015
Open APIs for the Rest of Us
Enabling reactive cities with the iFLUX middleware
IndianaJS: Building spatially aware web sites for the Web of Things
On the complementarity of triple spaces and the Web of Things
TRENDY: an adaptive and context-aware service discovery protocol for 6LoWPANs
A network architecture for the Web of Things
glue.things: a Mashup Platform for wiring the Internet of Things with the Internet of Services
Hypermedia-driven Socio-technical Networks for Goal-driven Discovery in the Web of Things
Third International Workshop on the Web of Things, WoT '12, Newcastle, United Kingdom, June 19, 2012
KPT: a dynamic KNN query processing algorithm for location-aware sensor networks
Proceedings of the 7th Workshop on Data Management for Sensor Networks, in conjunction with VLDB, DMSN 2010, Singapore, September 13, 2010
MIAMI: methods and infrastructure for the assurance of measurement information
Proceedings of the 1st Workshop on Data Management for Sensor Networks, in conjunction with VLDB, DMSN 2004, Toronto, Canada, August 30, 2004
Efficient handling of sensor failures
MeT: a real world oriented metadata management system for semantic sensor networks
StreamGlobe: adaptive query processing and optimization in streaming P2P environments
A framework for extending the synergy between MAC layer and query optimization in sensor networks
Accessing sensor data using meta data: a virtual object ring buffer framework
Attribute allocation in large scale sensor networks
Probabilistic processing of interval-valued sensor data
The d-hop k-data coverage query problem in wireless sensor networks
Facilitating fine grained data provenance using temporal data model
Predictive filtering: a learning-based approach to data stream filtering
Alternating multiple tributaries + deltas
A substrate for in-network sensor data integration
Quantifying eavesdropping vulnerability in sensor networks
Message models and aggregation in knowledge based middleware for rich sensor systems
An energy-efficient data-driven power management for wireless sensor networks
Declarative temporal data models for sensor-driven query processing
Impact of multi-query optimization in sensor networks
Confidence-driven early object elimination in quality-aware sensor workflows
Quality of service in stateful information filters
Developing and deploying sensor network applications with AnduIN
Swiss experiment: from wireless sensor networks to sensor data management
Mission-critical management of mobile sensors: or, how to guide a flock of sensors
Class-based continuous query scheduling for data streams
Validated cost models for sensor network queries
A graph-based approach to vehicle tracking in traffic camera video streams
Approximately uniform random sampling in sensor networks
Confidence-based data management for personal area sensor networks
Transactional issues in sensor data management
POT: an efficient top- k monitoring method for spatially correlated sensor readings
BINOCULAR: a system monitoring framework
Imagers as sensors: correlating plant CO 2 uptake with digital visible-light imagery
Quality aware query scheduling in wireless sensor networks
MEADOWS: modeling, emulation, and analysis of data of wireless sensor networks
Zone sharing: a hot-spots decomposition scheme for data-centric storage in sensor networks
Active rules for sensor databases
ArchRock Energy Optimizer: a case study on IP WSN data for energy and environmental monitoring
Query-driven data collection and data forwarding in intermittently connected mobile sensor networks
What's NExT?: Sensor + Cloud!?
Intelligent system monitoring on large clusters
FSort: external sorting on flash-based sensor devices
Provenance-based trustworthiness assessment in sensor networks
A framework for spatio-temporal query processing over wireless sensor networks
Dynamic balanced storage in wireless sensor networks
Optimization of in-network data reduction
Proceedings of the 2nd Workshop on Data Management for Sensor Networks, in conjunction with VLDB, DMSN 2005, Trondheim, Norway, August 30, 2005
Proceedings of the 4th Workshop on Data Management for Sensor Networks, in conjunction with VLDB, DMSN 2007, Vienna, Austria, September 24, 2007
Proceedings of the 6th Workshop on Data Management for Sensor Networks, in conjunction with VLDB, DMSN 2009, Lyon, France, August 24, 2009
Proceedings of the 3rd Workshop on Data Management for Sensor Networks, in conjunction with VLDB, DMSN 2006, Seoul, Korea, September 11, 2006
Processing proximity queries in sensor networks
WaveScheduling: energy-efficient data dissemination for sensor networks
Proceedings of the 5th Workshop on Data Management for Sensor Networks, in conjunction with VLDB, DMSN 2008, Auckland, New Zealand, August 24, 2008
Plug&manage heterogeneous sensing devices
Network scheduling for data archiving applications in sensor networks
Better tree - better fruits: using dominating set trees for MAX queries
Adaptive sampling for sensor networks