yusuke1997/dblp-id-title huggingface dataset:
Intrusion Detection in Real-Time Database Systems via Time Signatures
Power-Aware Processor Scheduling under Average Delay Constraints
Real-Time Divisible Load Scheduling for Cluster Computing
Modular Code Generation from Triggered and Timed Block Diagrams
MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases
Real-time cache management framework for multi-core architectures
Resource-Locking Durations in EDF-Scheduled Systems
Static Real-Time Data Distribution
RT-CRM: Real-Time Channel-based Reflective Memory
Work-in-Progress: Utilization Based Schedulability Analysis for Wireless Sensor-Actuator Networks
Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior
Resource Sharing in GPU-Accelerated Windowing Systems
Performance Comparison of Dynamic Voltage Scaling Algorithms for Hard Real-Time Systems
Brief Industry Paper: An Energy-Reduction On-Chip Memory Management for Intermittent Systems
LiME: The Linux Real-Time Task Model Extractor
Modular Code Generation from Hybrid Automata based on Data Dependency
Efficient and Accurate Handling of Periodic Flows in Time-Sensitive Networks
Characterizing Workload Correlations in Multi Processor Hard Real-Time Systems
Minimizing Probabilistic End-to-end Latencies of Autonomous Driving Systems
Scheduling Job Streams on Uniprocessors with Cold Start Delays
RT-Swap: Addressing GPU Memory Bottlenecks for Real-Time Multi-DNN Inference
Continuous-Emission Markov Models for Real-Time Applications: Bounding Deadline Miss Probabilities
When thermal control meets sensor noise: analysis of noise-induced temperature error
Cache Bank-Aware Denial-of-Service Attacks on Multicore ARM Processors
Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems
A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform
Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver
Heuristic Resource Allocation Strategies for Embedded Systems with Continuous mode Changes
Task placement and selection of data consistency mechanisms for real-time multicore applications
Run-Time Upgradable Software in a Large Real-Time Telecommunication Syste
Design and evaluation of a window-consistent replication service
Scheduling Periodic Segmented Self-Suspending Tasks without Timing Anomalies
Multi-Application Deployment in Shared Sensor Networks Based on Quality of Monitoring
PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms
A Two-Level Caching Mechanism for Demand-Based Page-Level Address Mapping in NAND Flash Memory Storage Systems
Message Reordering for the Reuse of CAN-based Legacy Applications in a Time-Triggered Architecture
Poster Abstract: An Optimizing Framework for Real-Time Scheduling
Deterministic Memory Hierarchy and Virtualization for Modern Multi-Core Embedded Systems
Elastic Scheduling for Harmonic Task Systems
Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems
Approximation Algorithms for Multiprocessor Energy-Efficient Scheduling of Periodic Real-Time Tasks with Uncertain Task Execution Time
Poster Abstract: Using Linked List in Exact Schedulability Tests for Fixed Priority Scheduling
A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems
Scalable compositional reachability analysis of real-time concurrent systems
Latency Analysis of I/O Virtualization Techniques in Hypervisor-Based Real-Time Systems
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos
Real-Time Component-Based Systems
Automatic Latency Management for ROS 2: Benefits, Challenges, and Open Problems
Exact Admission-Control for Integrated Aperiodic and Periodic Tasks
Measurement Techniques in a Hybrid Approach for Deriving Tight Execution-time Bounds of Program Segments in Fully-featured Processors
IEEE 802.1Qbv Gate Control List Synthesis Using Array Theory Encoding
Optimal Unified Data Allocation and Task Scheduling for Real-Time Multi-Tasking Systems
A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems
Developing Real-Time Scheduling Policy by Deep Reinforcement Learning
Applying imprecise algorithms to real-time image and video transmissio
Real-time UNIX application filestores
VORAL: A System for Voice Over IP Routing in Application Layer
pCOMPATS: Period-Compatible Task Allocation and Splitting on Multi-core Processors
Predictable Communication Protocol Processing in Real-Time Mach
Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers
A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs
A Feedback Control Approach for Guaranteeing Relative Delays in Web Servers
Thermal-Aware Servers for Real-Time Tasks on Multi-Core GPU-Integrated Embedded Systems
BlueVisor: A Scalable Real-Time Hardware Hypervisor for Many-Core Embedded Systems
Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms
GPES: a preemptive execution system for GPGPU computing
Optimal Task Phasing for End-To-End Latency in Harmonic and Semi-Harmonic Automotive Systems
Real-Time Adaptive Sensor Attack Detection in Autonomous Cyber-Physical Systems
Demo Abstract: Open RT-WiFi Platform on Software-Defined Radio
Adaptive QoS and Resource Management using a Posteriori Workload Characterizations
The Design and Implementation of the Intel® Real-Time Performance Analyze
Verifiable Embedded Real-Time Application Framework
Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems
Process Resurrection: A Fast Recovery Mechanism for Real-Time Embedded Systems
CAMRIT: Control-based Adaptive Middleware for Real-time Image Transmission
Probabilistic performance guarantee for real-time tasks with varying computation times
An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics
Scope-Aware Data Cache Analysis for WCET Estimation
Sequoll: A framework for model checking binaries
Task Partitioning with Replication upon Heterogeneous Multiprocessor Systems
Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems
Support for real-time computing within general purpose operating systems-supporting co-resident operating systems
Dissecting the CUDA scheduling hierarchy: a Performance and Predictability Perspective
Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing
A Predictable SIMD Library for GEMM Routines
A Stochastic Framework for Multiprocessor Soft Real-Time Scheduling
Optimistic Similarity-Based Real-Time Concurrency Control
ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations
Towards Predictable Real-time Java Object Request Brokers
The Design and Performance of a Real-Time I/O Subsystem
Exploiting Redundancy for Timeliness in TCP Boston
OS-Controlled Cache Predictability for Real-Time Systems
12th IEEE Real Time and Embedded Technology and Applications Symposium - cover
Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems
Real-Time Support for Mobile Robotics
Performance Evaluation on a Real-Time Database
Multiprocessor Synchronization of Periodic Real-Time Tasks Using Dependency Graphs
A Novel Framework for Quality-Aware Resource Management in Phased Array Radar Systems
Physical-State-Aware Dynamic Slack Management for Mixed-Criticality Systems
Using PCM in Next-generation Embedded Space Applications
Minimizing CAN Response-Time Jitter by Message Manipulation
21st IEEE Real-Time and Embedded Technology and Applications Symposium, Seattle, WA, USA, April 13-16, 2015
ROS-DMA: A DMA Double Buffering Method for Embedded Image Processing with Resource Optimized Slicing
Timing analysis of process graphs with finite communication buffers
An Adaptive Locality-Conscious Process Scheduler for Embedded Systems
Real-Time Scheduling on Multicore Platforms
Efficient Aggregate Computations in Large-Scale Dense WSN
On ATM support for distributed real-time applications
A Semantic Framework for Mode Change Protocols
Component Allocation with Multiple Resource Constraints for Large Embedded Real-Time Software Design
A Unified WCET Analysis Framework for Multi-core Platforms
WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control
Rate-Monotonic Scheduling in the Presence of Timing Unpredictability
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 27-30, 2003, Toronto, Canada
Optimizing the Implementation of Communication in Synchronous Reactive Models
A Real-Time and Non-Cooperative Task Allocation Framework for Social Sensing Applications in Edge Computing Systems
Broadcasting Consistent Data in Mobile Computing Environments
AUTOBEST: a united AUTOSAR-OS and ARINC 653 kernel
Energy-Aware Traffic Shaping for Wireless Real-Time Applications
bCANDLE: Formal Modelling and Analysis of CAN Control Systems
An End-to-End QoS Management Architecture
Real-Time Fine Grained Occupancy Estimation Using Depth Sensors on ARM Embedded Platforms
WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints
Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding
FlexPRET: A processor platform for mixed-criticality systems
The ROSACE case study: From Simulink specification to multi/many-core execution
EMI- and Energy-Aware Scheduling of Switching Power Supplies in Hard Real-Time Embedded Systems
Throughput-constrained DVFS for scenario-aware dataflow graphs
SEW: A Toolset For Design and Analysis of Distributed Real-Time Systems
Criticality- and Requirement-Aware Bus Arbitration for Multi-Core Mixed Criticality Systems
QeDB: A Quality-Aware Embedded Real-Time Database
FARA - A Framework for Adaptive Resource Allocation in Complex Real-Time Systems
Access Control for Adaptive Reservations on Multi-User Systems
Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems
Precise micro-architectural modeling for WCET analysis via AI+SAT
Real-time USB communication in the Quest operating system
Improved Task Management Techniques for Enforcing EDF Scheduling on Recurring Tasks
Managing Memory Requirements in the Synthesis of Real-Time Systems from Processing Graphs
Feedback EDF Scheduling Exploiting Dynamic Voltage Scaling
Kernel Supportfor the Event-BasedCooperation of Distributed Resource Managers
SubFlow: A Dynamic Induced-Subgraph Strategy Toward Real-Time DNN Inference and Training
Holistic Resource Allocation for Multicore Real-Time Systems
Work-in-Progress: Securing Safety-Critical Control Tasks with Attack-aware Multi-Rate Scheduling
Periodic Task Mining in Embedded System Traces
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
Atlas: Look-ahead scheduling using workload metrics
Work in Progress: Optimizing Schedulability Using Cache-Bypassing
Real-Time Object-Oriented Modeling (ROOM)
Closing the Gap Between Stability and Schedulability: A New Task Model for Cyber-Physical Systems
Brief Industry Paper: Dissecting the QNX Adaptive Partitioning Scheduler
Designing for evolvability: building blocks for evolvable real-time systems
Scheduling Communication in Real-Time Sensor Applications
Budget RNNs: Multi-Capacity Neural Networks to Improve In-Sensor Inference Under Energy Budgets
Real-Time Task Replication for Fault Tolerance in Identical Multiprocessor Systems
Towards an Understanding of the Behavior of the Single Parent Rule in the RTSJ Scoped Memory Model
Mapping a multi-rate synchronous language to a many-core processor
Analysis of Self-Similar Workload on Real-Time Systems
Interference-Aware Memory Allocation for Real-Time Multi-Core Systems
Towards the Design of Certifiable Mixed-criticality Systems
CPU Model-Based Hardware/Software Co-design, Co-simulation and Analysis Technology for Real-Time Embedded Control Systems
An Aspect-Oriented Development Method for Embedded Control Systems with Time-Triggered and Event-Triggered Processing
Implementing Pfairness on a Symmetric Multiprocessor
Middleware Support for Aperiodic Tasks in Distributed Real-Time Systems
KURT-Linux Support for Synchronous Fine-Grain Distributed Computations
Soft Real-Time Scheduling on Performance Asymmetric Multicore Platforms
A Real-Time Model for the Robotic Highway Safety Marker System
Loss-Tolerant QoS using Firm Constraints in Guaranteed Rate Networks
PAC-PL: Enabling Control-Flow Integrity with Pointer Authentication in FPGA SoC Platforms
AIDA-based real-time fault-tolerant broadcast disks
A low level analysis of the realtime Mach distributed operating system
C'Mon: a predictable monitoring infrastructure for system-level latent fault detection and recovery
Hardware Compute Partitioning on NVIDIA GPUs
Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules
DRTSS: a simulation framework for complex real-time systems
The Design and Analysis of Thermal-Resilient Hard-Real-Time Systems
Experiences in Implementing an Energy-Driven Task Scheduler in RT-Linux
A Predictable Execution Model for COTS-Based Embedded Systems
Resource management for real-time communication: making theory meet practice
Providing Absolute Differentiated Services with Statistical Guarantees in Static-Priority Scheduling Networks
The Linux-SRT Integrated Multimedia Operating System: Bringing QoS to the Desktop
An Automated Profiling Subsystem for QoS-Aware Services
TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems
Energy-Efficient Real-Time Scheduling of DAGs on Clustered Multi-Core Platforms
OSEK-Like Kernel Support for Engine Control Applications under EDF Scheduling
Smart Sensor Architecture Customized for Image Processing Applications
Implementation of a Transient-Fault-Tolerance Scheme on DEOS - A Technology Transfer from an Academic System to an Industrial System
FA2: Fast, Accurate Autoscaling for Serving Deep Learning Inference with SLA Guarantees
Dynamic Detection of Access Errors and Illegal References in RTSJ
A Kernel for Energy-Neutral Real-Time Systems with Mixed Criticalities
Poster Abstract: Preliminary Performance Evaluation of HEF Scheduling Algorithm
Efficient Scheduling of Real-Time Multi-Task Applications in Dynamic Systems
DNN-SAM: Split-and-Merge DNN Execution for Real-Time Object Detection
Debugging FPGA-accelerated Real-time Systems
Fast Attack Recovery for Stochastic Cyber-Physical Systems
An interactive interface and RT-Mach support for monitoring and controlling resource management
An Approach for Real-Time Database Modeling and Performance Management
Feedback Scheduling of Model Predictive Controllers
Statistical Real-Time Communication over Ethernet for Manufacturing Automation Systems
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012
The Cogency Monitor: An External Interface Architecture for a Distributed Object-Oriented Real-Time Database System
Work-in-Progress: Scheduling of Graph-Based End-to-End Tasks for Distributed Multi-criticality Systems
Improving WCET by Optimizing Worst-Case Paths
Developing Predictable Real-Time Embedded Systems Using AnvilJ
Full Duplex Switched Ethernet for Next Generation "1553B"-Based Applications
A Clockless Synchronisation Framework for Cooperating Mobile Robots
Achieving Stagnation-Free Intermittent Computation with Boundary-Free Adaptive Execution
Real-Rate Scheduling
A predictable and command-level priority-based DRAM controller for mixed-criticality systems
Take Intelligent Risk and Optimize Decision Based on Time, Available Resources and Risk Tolerance Limits
Strict Partitioning for Sporadic Rigid Gang Tasks
A Mixed-Criticality Approach to Fault Tolerance: Integrating Schedulability and Failure Requirements
Work in Progress: Security-Aware Preemptive Scheduling with Partial Trust for Safety-Critical Embedded Systems
Quality Events: A Flexible Mechanism for Quality of Service Management
Handling System Overloads: An Empirical Evaluation of Deadline-Miss Handling Strategies
Decntr: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design
Work in Progress: Increasing Schedulability via on-GPU Scheduling
Synchronous Modeling of Avionics Applications using the SIGNAL Languag
Explicit Reservation of Local Memory in a Predictable, Preemptive Multitasking Real-Time System
Top-down and bottom-up multi-level cache analysis for WCET estimation
Chocolate: A Reservation-Based Real-Time Java Environment on Windows/NT
Data Management in Real-Time Systems: a Case of On-Demand Updates in Vehicle Control Systems
Brief Industry Paper: STM-A Static Non-Preemptive Scheduler for NVIDIA Tegra SoCs
Demo: Vulnerability Analysis for STL-Guided Safe Reinforcement Learning in Cyber-Physical Systems
Testing Ocean Software with Metamorphic Testing
On the Cost-Effectiveness of Composite Metamorphic Relations for Testing Deep Learning Systems
IEEE/ACM 7th International Workshop on Metamorphic Testing, MET@ICSE 2022, Pittsburgh, PA, USA, May 9, 2022
6th IEEE/ACM International Workshop on Metamorphic Testing, MET@ICSE 2021, Madrid, Spain, June 2, 2021
Analyzing the reliability of simulated distributed systems using Metamorphic Testing
Fairness Evaluation in Deepfake Detection Models using Metamorphic Testing
Follow-up Test Cases are Better Than Source Test Cases in Metamorphic Testing: A Preliminary Study
Enhancing Euro NCAP Standards with Metamorphic Testing for Verification of Advanced Driver-Assistance Systems
8th IEEE/ACM International Workshop on Metamorphic Testing, MET@ICSE 2023, Melbourne, Australia, May 14, 2023
Metamorphic Testing in Bioinformatics Software: A Case Study on Metagenomic Assembly
Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models
Towards Automated Metamorphic Test Identification for Ocean System Models
Metamorphic Testing Harness for the Baidu Apollo Perception-Camera Module
Metamorphic Testing of Advanced Driver-Assistance Systems: Implementing Euro NCAP Standards on OpenStreetMap
Applying Metamorphic Testing to Homomorphic Cryptography
MT4NS: Metamorphic Testing for Network Scanning
BMT: Behavior Driven Development-based Metamorphic Testing for Autonomous Driving Models
Robustness Evaluation of Stacked Generative Adversarial Networks using Metamorphic Testing
In-Place Metamorphic Testing and Exploration
Metamorphic Testing for Image-based Calcium Imaging Analysis Pipelines
Robustness Evaluation in Hand Pose Estimation Models using Metamorphic Testing
Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools
Automated Generation of Metamorphic Relations for Query-Based Systems
Sensitive Region-Based Metamorphic Testing Framework using Explainable AI
Metamorphic Detection of Repackaged Malware
A Metamorphic Testing Framework and Toolkit for Modular Automated Driving Systems
SR-MT: A Metamorphic Method to Test the Robustness of Speech Recognition Software
On Making Good Games: Using Player Virtue Ethics and Gameplay Design Patterns to Identify Generally Desirable Gameplay Features
Proceedings of Nordic DiGRA 2010 Conference, Nordic DiGRA 2010, Stockholm, Sweden, August 16-17, 2010, 2010
Mario's legacy and Sonic's heritage: Replays and refunds of console gaming history
Game design tools: Time to evaluate
Should I stay or should I go? - Boundary maintaining mechanisms in Left 4 Dead 2
In Defence of a Magic Circle: The Social and Mental Boundaries of Play
PWNED: Motivation of South Koreans Who Engage in Person vs. Person Gameplay in World of Warcraft
NieR (De)Automata: Defamiliarization and the Poetic Revolution of NieR: Automata
Undercurrents: A Computer-Based Gameplay Tool to Support Tabletop Roleplaying
Rating Logic Puzzle Difficulty Automatically in a Human Perspective
And Justice for All - the 10 commandments of Online Games, and then some..
Paralysing Fear: Player Agency Parameters in Horror Games
Player and Figure: An Analysis of a Scene in Kentucky Route Zero
Devil's Plaything: On the Boundary between Playful and Serious
The Stereotype of Online Gamers: New Characterization or Recycled Prototype?
21st Century Soul Guides: Leveraging Myth and Ritual for Game Design
Designing for Player Experience: How Professional Game Developers Communicate Design Visions
Ludology, Narratology and Philosophical Hermeneutics
Angry Birds, Uncommitted Players
Spectating development and other backer perspectives on games crowdfunding
Leadership Style in World of Warcraft Raid Guilds
Free-to-Play Games: Professionals' Perspectives
Meta-synthesis of player typologies
Affordances of Elliptical Learning in Arcade Video Games
flâneur, a walkthrough: Locative literature as participation and play
The Positive Negative Experience in Extreme Role-Playing
Material Culture and Angry Birds
Domesticating Play, Designing Everyday Life: The Practice and Performance of Family Gender, and Gaming
Why gamers don't learn more: An ecological approach to games as learning environments
A Universe Divided: Texts vs. Games in The Elder Scrolls
Social Play? A study of social interaction in temporary group formation (PUG) in World of Warcraft
Stillborn Gamers? Writing a Birth Certificate for Corporeality and Locomotion in Game Research
Proceedings of Nordic DiGRA 2018 Conference, Nordic DiGRA 2018, Bergen, Norway, November 28-30, 2018
The Asylum Seekers Larp: The Positive Discomfort of Transgressive Realism
Proceedings of Nordic DiGRA 2014 Conference, Nordic DiGRA 2014, Visby, Gotland, Sweden, May 29-30, 2014
"I'm in love with someone that doesn't exist!!" Bleed in the context of a Computer Game
Civic and political transgressions in videogames: the views and experiences of the players
Age-Restriction: Re-examining the interactive experience of 'harmful' game content
Tackling the Metaphor-Simulation Dilemma
Main(s) and Alts: Multiple Character Management in World of Warcraft
Modelling Experimental Game Design
Visualizing Persuasive Structures in Advergames
Gambling in Social Networks: Gaming Experiences of Finnish Online Gamblers
Player-reported Impediments to Game-based Learning
Buy and Share! Social Network Games and Ludic Shopping
Review on psychophysiological methods in game research
Framing Games
A public place of their own. A Fieldstudy of a Game Café as a Third Place
The Early Micro User: Games writing, hardware hacking, and the will to mod
Digital games as experiment stimulus
Feelies: The Lost Art of Immersing the Narrative
Proceedings of Nordic DiGRA 2012 Conference, Nordic DiGRA 2012, Tampere, Finland, June 6-8, 2012
"There Are No Women and They All Play Mercy": Understanding and Explaining (the Lack of) Women's Presence in Esports and Competitive Gaming
Cryptographic Algorithms and their Uses - 2004, International Workshop, Gold Coast, Australia, July 5-6, 2004, Proceedings
Improved Attack on the Cellular Authentication and Voice Encryption Algorithm (CAVE)
Perspectives on Word Based Stream Ciphers
Implementation of the GBD Cryptosystem
Efficient Public Key Generation for HFE and Variations
A Secure and Efficient Mix-Network using Extended Binary Mixing Gate
An Efficient Verifiable Shuffle with Perfect Zero-knowledge Proof System
Encrypted? Randomised? Compromised? (When Cryptographically Secured Data is Not Secure)
Improvements to the RAK Factoring Algorithm
An Implementation of the Yao Forward Integrity Protocol for Mobile Agents
CRUSH: A New Cryptographic Hash Function using Iterated Halving Technique
A Broadcast Authentication and Integrity Augmentation for Trusted Differential GPS in Marine Navigation
A Modification to the 'Authentication of Concast Communication'
MP3 Partial Encryption for DRM
Media Forensics and Security II, part of the IS&T-SPIE Electronic Imaging Symposium, San Jose, CA, USA, January 18-20, 2010, Proceedings
An enhanced feature set for pattern recognition based contrast enhancement of contact-less captured latent fingerprints in digitized crime scene forensics
Domain Adaptation in Steganalysis for the Spatial Domain
Locatability of modified pixels in steganographic images