yusuke1997/dblp-id-title huggingface dataset:
Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time
P3-Mobile: Parallel Computing for Mobile Edge-Clouds
Time Protection: The Missing OS Abstraction
Weak consistency and stochastic environments: harmonization of replicated machine learning models
Energy packet networks: adaptive energy management for the cloud
Pandia: comprehensive contention-sensitive thread placement
TAQ: enhancing fairness and performance predictability in small packet regimes
An Autonomous Resource Management Model towards Cloud Morphing
Enabling Virtual Priority in Data Center Congestion Control
Proteus: agile ML elasticity through tiered reliability in dynamic resource markets
Chronofold: a data structure for versioned text
Moko: Marrying Python with Big Data Systems
Prefetching mobile ads: can advertising systems afford it?
Maygh: building a CDN from client web browsers
DynaPipe: Optimizing Multi-task Training through Dynamic Pipelines
syslrn: learning what to monitor for efficient anomaly detection
Flash storage disaggregation
ROS: A Rack-based Optical Storage System with Inline Accessibility for Long-Term Data Preservation
DepSpace: a byzantine fault-tolerant coordination service
FrozenHot Cache: Rethinking Cache Management for Modern Hardware
Mizan: a system for dynamic load balancing in large-scale graph processing
Kaleidoscope: cloud micro-elasticity via VM state coloring
An in-memory object caching framework with adaptive load balancing
With Great Freedom Comes Great Opportunity: Rethinking Resource Allocation for Serverless Functions
Design and Evaluation of an RDMA-aware Data Shuffling Operator for Parallel Database Systems
Confidential computing for OpenPOWER
Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
An empirical study on IMDb and its communities based on the network of co-reviewers
Eva: Cost-Efficient Cloud-Based Cluster Scheduling
ZZ and the art of practical BFT execution
Flec: a versatile programming framework for eventually consistent systems
Cycles, cells and platters: an empirical analysisof hardware failures on a million consumer PCs
Autonomous monitoring of vulnerable habitats using a wireless sensor network
Virtual InfiniBand clusters for HPC clouds
Aerie: flexible file-system interfaces to storage-class memory
Edge offloading for microservice architectures
System software for persistent memory
Tashkent: uniting durability with transaction ordering for high-performance scalable database replication
Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches
Automated control of Internet services
Is Bare-metal I/O Performance with User-defined Storage Drives Inside VMs Possible?: Benchmarking libvfio-user vs. Common Storage Virtualization Configurations
Forkscan: Conservative Memory Reclamation for Modern Operating Systems
ShieldStore: Shielded In-memory Key-value Storage with SGX
Detecting and Mitigating Network Packet Overloads on Real-Time Devices in IoT Systems
hFS: a hybrid file system prototype for improving small file and metadata performance
Splitter: a proxy-based approach for post-migration testing of web applications
Fast State Restoration in LLM Serving with HCache
Convergent Causal Consistency for Social Media Posts
Protectit: trusted distributed services operating on sensitive data
Riffle: optimized shuffle service for large-scale data analytics
Orion: Interference-aware, Fine-grained GPU Sharing for ML Applications
Astraea: Towards Fair and Efficient Learning-based Congestion Control
Statistical Analysis of Latency Through Semantic Profiling
Towards Mitigating Device Heterogeneity in Federated Learning via Adaptive Model Quantization
Performance evolution of mitigating transient execution attacks
An HTM-based update-side synchronization for RCU on NUMA systems
Rex: replication at the speed of multi-core
Quantifying the latency benefits of near-edge and in-network FPGA acceleration
Borrowing an Identity for a Distributed Counter: Work in progress report
STRADS: a distributed framework for scheduled model parallel machine learning
Reinforcement learning for resource management in multi-tenant serverless platforms
Fast Optimisation of Convolutional Neural Network Inference using System Performance Models
A simple approach to shared storage database servers
Accelerating Privacy-Preserving Machine Learning With GeniBatch
Securing combined Fog-to-Cloud system Through SDN Approach
BDS: a centralized near-optimal overlay network for inter-datacenter data replication
MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors
Dissecting BFT Consensus: In Trusted Components we Trust!
Cheetah: Metadata Aggregation for Fast Object Storage without Distributed Ordering
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems
Merging OT and CRDT algorithms
Slashing the disaggregation tax in heterogeneous data centers with FractOS
Proceedings of the 5th Workshop on CrossCloud Infrastructures & Platforms, CrossCloud@EuroSys 2018, Porto, Portugal, April 23, 2018
Instruction-level countermeasures against stack-based buffer overflow attacks
Abstracting Multi-Core Topologies with MCTOP
RAIDP: replication with intra-disk parity
Towards a Computing Platform for the LEO Edge
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols
Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels
A case-study in all-web rich interpersonal communication services
"Zen" and the art of petascale ocean modeling: a conceptual analysis of how virtualization could be key to bringing individual science back to petascale ocean modeling
Fast and strongly-consistent per-item resilience in key-value stores
Kernel design for isolation and assurance of physical memory
Towards causal datacenter networks
An empirical study of data collection protocols for wireless sensor networks
Dynamic weaving for runtime adaptation in middleware
Øpass: Zero-storage Password Management Based on Password Reminders
Examining Raft's behaviour during partial network failures
Highly-scalable concurrent objects
R2C: AOCR-Resilient Diversity with Reactive and Reflective Camouflage
Riak DT map: a composable, convergent replicated dictionary
Container-based operating system virtualization: a scalable, high-performance alternative to hypervisors
Model Checking Guided Testing for Distributed Systems
Itrustpage: a user-assisted anti-phishing tool
Kollaps: decentralized and dynamic topology emulation
European Conference on Computer Systems, Proceedings of the Seventh EuroSys Conference 2012, EuroSys '12, Bern, Switzerland, April 10-13, 2012
A House United Within Itself: SLO-Awareness for On-Premises Containerized ML Inference Clusters via Faro
MPTEE: bringing flexible and efficient memory protection to Intel SGX
Tebis: index shipping for efficient replication in LSM key-value stores
Integration of parallel I/O library and flash native accelerators: an evaluation of SIONlib with IME
Integrating aspect-orientation and structural annotations to support adaptive middleware
Phantom: Virtualizing Switch Register Resources for Accurate Sketch-based Network Measurement
S-Cache: Function Caching for Serverless Edge Computing
Experiences of landing machine learning onto market-scale mobile malware detection
How to Pipeline Frame Transfer and Server Inference in Edge-assisted AR to Optimize AR Task Accuracy?
Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009
Merge what you can, fork what you can't: managing data integrity in local-first software
PowerLyra: differentiated graph computation and partitioning on skewed graphs
Proceedings of the 1st International Workshop on Hot Topics in Cloud Data Processing, HotCDP '12, Bern, Switzerland, April 10, 2012
Implementing Geo-Blocking and Spoofing Protection in Multi-Domain Software Defined Interconnects
Performance comparison of two virtual machine scenarios using an HPC application: a case study using molecular dynamics simulations
Component-based scalability for cloud applications
SnowFlock: rapid virtual machine cloning for cloud computing
Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud
Ethanos: efficient bootstrapping for full nodes on account-based blockchain
FLOAT: Federated Learning Optimizations with Automated Tuning
On embedded real time media communications
Proceedings of the 4th Workshop on CrossCloud Infrastructures & Platforms, CrossCloud@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017
Varuna: scalable, low-cost training of massive deep learning models
Mitigating vulnerability windows with hypervisor transplant
Halflife: An Adaptive Flowlet-based Load Balancer with Fading Timeout in Data Center Networks
Hardening binaries against more memory errors
Exploring the Asynchrony of Slow Memory Filesystem with EasyIO
7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020
Proceedings of the Workshop on Visual Languages and Formal Methods, VLFM 2004, Rome, Italy, September 30, 2004
WGB: Towards a Universal Graph Benchmark
Big Data Generation
From TPC-C to Big Data Benchmarks: A Functional Workload Model
HcBench: Methodology, Development, and Full-System Characterization of a Customer Usage Representative Big Data/Hadoop Benchmark
Big Data Provenance: Challenges and Implications for Benchmarking
BDGS: A Scalable Big Data Generator Suite in Big Data Benchmarking
Performance Evaluation of Spark SQL Using BigBench
A Micro-benchmark Suite for Evaluating HDFS Operations on Modern Clusters
Benchmarking Virtualized Hadoop Clusters
TPC's Benchmark Development Model: Making the First Industry Standard Benchmark on Big Data a Success
Experience from Hadoop Benchmarking with HiBench: From Micro-Benchmarks Toward End-to-End Pipelines
Benchmarking the Availability and Fault Tolerance of Cassandra
Big Data Workloads Drawn from Real-Time Analytics Scenarios Across Three Deployed Solutions
Advancing Big Data Benchmarks - Proceedings of the 2013 Workshop Series on Big Data Benchmarking, WBDB.cn, Xi'an, China, July 16-17, 2013 and WBDB.us, San José, CA, USA, October 9-10, 2013 Revised Selected Papers
Generating Large-Scale Heterogeneous Graphs for Benchmarking
A BigBench Implementation in the Hadoop Ecosystem
Benchmarking Elastic Query Processing on Big Data
An Approach to Benchmarking Industrial Big Data Applications
FoodBroker - Generating Synthetic Datasets for Graph-Based Business Analytics
BW-EML SAP Standard Application Benchmark
Benchmarking Internet of Things Solutions
Unleashing Semantics of Research Data
A Mid-Flight Synopsis of the BG Social Networking Benchmark
Benchmarking Spatial Big Data
Big Data Cloud-Based Advisory System
Accelerating BigBench on Hadoop
Towards Benchmarking IaaS and PaaS Clouds for Graph Analytics
Benchmarking Big Data Systems: Introducing TPC Express Benchmark HS
And All of a Sudden: Main Memory Is Less Expensive Than Disk
Big Data, Simulations and HPC Convergence
Big Data Benchmarking - 5th International Workshop, WBDB 2014, Potsdam, Germany, August 5-6, 2014, Revised Selected Papers
ALOJA: A Benchmarking and Predictive Platform for Big Data Performance Analysis
The Implications of Diverse Applications and Scalable Data Sets in Benchmarking Big Data Systems
Processing Big Events with Showers and Streams
A Micro-benchmark Suite for Evaluating Hadoop RPC on High-Performance Networks
Assessing the Performance Impact of High-Speed Interconnects on MapReduce
PopulAid: In-Memory Test Data Generation
Data Management - A Look Back and a Look Ahead
Big Data Benchmark - Big DS
Benchmarking Fast-Data Platforms for the Aadhaar Biometric Database
The Emergence of Modified Hadoop Online-Based MapReduce Technology in Cloud Environments
Towards an Industry Standard for Benchmarking Big Data Systems
Towards a Systematic Benchmark for Array Database Systems
MPP SQL Engines: Architectural Choices and Their Implications on Benchmarking
Big Data Benchmarking - 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers
Towards a Complete BigBench Implementation
Benchmarking SQL-on-Hadoop Systems: TPC or Not TPC?
Towards a General Array Database Benchmark: Measuring Storage Access
BigBench Specification V0.1 - BigBench: An Industry Standard Benchmark for Big Data Analytics
Large-Scale Chinese Cross-Document Entity Disambiguation and Information Fusion
Specifying Big Data Benchmarks - First Workshop, WBDB 2012, San Jose, CA, USA, May 8-9, 2012, and Second Workshop, WBDB 2012, Pune, India, December 17-18, 2012, Revised Selected Papers
Big Data Operations: Basis for Benchmarking a Data Grid
A Multidimensional OLAP Engine Implementation in Key-Value Database Systems
Educational Software Development - Why, What and How
EULE+: An Object-Oriented Authoring and Learner System
Interactive Learning Programs for UNIX-Machines - First Results of the COLOS Project
Formal Techniques in Higher Education: A Proposal
A Conceptual Model of a Computer-Aided Learning Knowledge Base
A Model of the Acquisition of Rule Knowledge with Visual Helps: The Operational Knowledge for a Functional, Visual Programming Language
Integrating an Educational Simulation into a Logic Design Course
Project NESTOR: New Approaches to Cooperative Multimedia Authoring/Learning
Interactive Support for Planing Visual Programs in the Problem Solving Monitor ABSYNT: Giving Feedback to User Hypotheses on the Language Level
Adaptive Navigational Tools for Educational Hupermedia
Collaborative Computer-Based Learning in China: a System for Classroom-Based Learning and Teaching
A Workstation-BAsed Course Mangement and Instruction System
Incidental Learning During Information Retrieval: A Hypertext Experiment
Learning Styles and Computer-Based Learning Environments
Adjusting to the Paradigm Shift in Teaching and Learning or: What Do I Do Now???
A Knowledge Base Approach to Learning to Program in Prolog
The Other Side of the Coin: Teaching Artificial Learning Systems
ABASE: A Hypermedia-based Tutoring and Authoring System
HyperLexicon, a Hypermedia-based Lexicon for Vocabulary Acquisition
Requirements and Concepts for Networked Multimedia Courseware Engineering
Touring a Hyper-CAI System
Simulating the Behaviour of Three Dimensional Reticular Structures with both Curved and Straight Elements
Signal Constellation Design Tool: A Case Study in User Interface Synthesis
Situated Cognition and Intelligent Tutoring Systems (Invited Paper)
The Description of a Process for Identifying Musical Performance Behaviour in Instrumentalists Using Computer-Based Sound Spectrum Analysis, With Implications for an Interactive Acoustic Musical System
Courseware Development by Topdown Conceptual Analysis
Implementing Computer-Aided Instruction in Distance Education: An Infrastructure
OBJECTOR: Yet Another Authoring System
Computer Assisted Concept Learning
An Abstract Machine Simulator
Towards a Typology of Educational Uses of Hypermedia
QUIZ, a Distributed Intelligent Tutoring System
WordTutor: An Intelligent Tutoring System for Teaching Word Processing
Quadratic Grapher: An Intelligent Tutoring System for Graphing Quadratic Equations
A Teachware Concept for Education in CAD
The Uses of the cT Language (Invited Paper)
CALLGUIDE: Using Programmable Hypertext as a Shell for CALL Programs
Programming by Experimentation and Example
Text and Graphics in Instructional Design
The Direct Use of Already Existing User Manuals for Computer Aided Instruction and Information Retrieval with the Aid of Hypermedia
Computer-Assisted Learning in Dermatology: Two Knowledge-based Approaches
The Pathophysiology Tutor: A First Step Towards a Smart Tutor
Dynamic CAL-Courseware Generation Within an ITS-Shell Architecture
MIDI Draw: Designing and Impressionistic Medium for Young Musicians, Artists, and Writers
Assessing Program Visualization Systems as Instructional Aids
Teaching Software for Structural Engineering
Development of GeoBlock: A Micro-World for Learning and Teaching Geometry
Knowledge Based Intelligent Tutoring System
Intelligent Hypermedia in Education
Computer Assisted Learning, 2nd International Conference, ICCAL '89, Dallas, Texas, USA, May 9-11, 1989, Proceedings
A Conceptual Basis for hte Role of the Micro-Computer in the Teaching/Learning of College Mathematics
The Sum of the Parts Is Greater Than the Whole in Online Graduate Education
The Role of Schemata in Concept Acquisition and Diagnosis
S-TRAINER: An Intelligent Tutor for Mission Assessment
Analysis of Heuristic Reasoning for the Visualization of CAD Quadratic
Project CALC: Calculus as a Laboratory Course
Engagement and Construction: Educational Strategies for the Post-TV Era
A Real-time Coaching Environment for Triangle Congruence Proofs
Design and Implementation of Interactive Programs for Education in Engineering and Natural Sciences
An ITS for Engineering Domains: Concept, Design and Application
Linking Real-Time Measurement with CAL
Interactive COSTOC Tutorials
Computer Science for Teachers: A Quest for Classics and How to Present Them
An Object-Oriented Approach to Produce Educational Hypermedia Software
An Alernate Realities Microworld for Horizontal Motion
WOMBAT: An Intelligent Educational System to Encourage Externalisation and Reflection on Decision Processes
The Information Resource Model
Visualizing A Channel Router: An Experimental Study
Experiences Using Algorithm Animations for Teaching and Research
The Teller Simulator: An Automatic Problem Solver for Educational Use
Design and Implementation of Courseware for Teaching Programming Languages
Computer Assisted Learning, 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings
Knowledge Representation with AND-OR-Graphs: Comparing the Approach of Doignon & Falmagne with the ABSYNT-Diagnostics
Proactive Modelling and the Development of Coaching Strategies in Geometry
CAI for Introductory Computer Organization
An Experiment of Cooperative Learning with Hypercard
Self-Adjusting Curriculum Planning in Sherlock II
Using HyperCard to Create a Flexible Learning Package for Statistics: Costs, Benefits and Effectiveness
Artificial Intelligence Approach to Second Language Teaching (Invited Paper)
A Classification and Synthesis of Student Modelling Techniques in Intelligent Computer-Assisted Instruction
Object-Oriented Text Decomposition: A Methodology for Creating CAI Using Hypertext
How Can Educational Software Survive Current Hardware
An Intermediate Representation for Mathematical Problem Solving
Hyperinformation in Instructional Tool Environments
Hypermedia and Learning: Who Guides Whom? (Invited Paper)
At Last! A Computer Aid for the Teaching of Electronics Which Answers All the Nagging Questions About Capacitors
Discourse Style and Situation Viewpoint for a Conversational Language Tutor
Finding the Appropriate Instructional Text from Question Performance Evaluation: A Prototype Interface
Dimensions of Authoring Aids Intelligence
Experiencing Programming Language Constructs with TRAPS
An Algorithm Animation Programming Environment
A Tiny Tool for Matrix Inversion in a COSTOC Environment
Vigilance in a Long-Term Cognitive Computing Task: The Effects of Subject Strategy and Screen Colour on Performance
The Uses of Multiple Student Inputs in Modeling and Lesson Planning in CAI and ICAI Programs
A Graphical CAL Author Language
Intelligent CAI Course in the First-Order Logic
SODA: A Computer Aided Design Environment for the Doing and Learning of Software Design
MacCritic: A Program for Practice in Textual Analysis and Criticism
Open Structured CAI System for Kanji Learning
Circuit World An Intelligent Simulation System For Digital Logic
The Constructive Process of Knowledge Acquisition: Student Modeling (Invited Paper)
Tutoring Rule Authoring System (TRAS)
Exploration in Coinland
Building Knowledge-Based Tutors
DCE: A Knowledge-Based Tutoring and Advisory System: Tutoring Strategies and Architecture
Flexible Access to Text-Based Resources
A Multi-Purpose Database of Learning Materials (M-DBLM)
Structuring the Subject Matter
Why Hypermedia Systems Are Important
Computer-Based Flight Training Evaluation
MILES/SMP, MILES/SIB, and MILES/TAPIS - Field Specific Applications of a Common Interdisciplinary Multimedia Database Information System for Teaching and Learning
Design and Evaluation of the SUMIT Intelligent Tutoring Assistant for Arithmetic
Human-Computer Graphical Dialogue
The MEDA Project: Developing Evaluation Competence in the Training Software Domain
A CAL Environment for Hypercard
A Tool for Developing Intelligent Tutoring Systems
A Cognitive Model of Programming Knowledge for Procedural Languages
User Modelling in Help Systems
The Anatomy of an Object Oriented Visualization System for Algorithm Design
Intelligent Tutorial System in Medicine through an Interactive Testing Program: HyperMIR
Mastering the Machine: A Comparison of the Mouse and Touch Screen for Children's Use of Computers
A Proposal for an Authoring System Avoiding Common Errors in Tutorial Lessons
Educational Software Engineering: A Methodology Based on Cooperative Developments
Environmental CAL for Conversation Pattern Learning
Designing an Intelligent Prolog Tutor
Standardized Architectures for Integrated Open Courseware
Qualitative Simulation and Knowledge Representation for Intelligent Tutoring
Cricism-Tutor: An Intelligent Tutoring System for Circulatory Physiology
Applying Computer Models of Phonological Competence to C.A.L.L.
The Strucutres of Advanced Multimedia Learning Environments: Reconfiguring Space, Time, Story and Text
An Authoring System for ITS Which Is Based on a Generic Level of Tutoring Strategies
Computer Assisted Learning, 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings
A Tool for Storing and Exploring Ideas
Educational Knowledge Based System Design Using a Diagnostic Approach
Spelling Remediation for Dyslexic Children Using the Selfspell Programs
UK AI Conference, 22 November 2024, The Exchange, University of Birmingham, Birmingham, United Kingdom
AI in the Public Eye: Analysing Social Media Sentiment and Opinion on Artificial Intelligence
Cat Royale: A Case Study of Artist-led AI Research
Enhancing Uncertainty Estimation with Deep Gaussian Processes
Word Complexity Prediction Through ML-Based Contextual Analysis
Game-Theoretic Optimisation of EV Charging Network: Placement and Pricing Strategies via Atomic Congestion Game
Erasure Coding Aware Block Placement for Data-Intensive Applications
Proceedings of the 4th Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems, CHEOPS 2024, Athens, Greece, 22 April 2024
An I/O Characterizing Study of Offloading LLM Models and KV Caches to NVMe SSD
Proceedings of the 5th Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems, CHEOPS 2025, Rotterdam, The Netherlands, 30 March 2025 - 3 April 2025
zns-tools: An eBPF-powered, Cross-Layer Storage Profiling Tool for NVMe ZNS SSDs
TrackIops: Real-Time NFS Performance Metrics Extractor
GSST: Parallel string decompression at 191 GB/s on GPU
Characterizing the use of DVFS for HPC I/O optimization: a Microbenchmarking Approach
ZWAL: Rethinking Write-ahead Logs for ZNS SSDs with Zone Appends
Hawkeyes: Addressing Weak Memory Order in Program Migration Based on Instruction Windows
Temporal Logic Verification for Delay Differential Equations
Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins
Justification Logic and History Based Computation
On the Expressiveness of Forwarding in Higher-Order Communication
A Calculus for Shapes in Time and Space
Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking
Tree Components Programming: An Application to XML
Spatial and Timing Properties in Highway Traffic
Safe Multi-agent Reinforcement Learning Using Formal Runtime Enforcement: A Case Study
Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
Explicit Model Checking Engine for Reachability Analysis of Colored Petri Nets