yusuke1997/dblp-id-title huggingface dataset:
Bandwidth allocation for fixed-priority-scheduled compositional real-time systems
A Multi-tenant Key-value SSD with Secondary Index for Search Query Processing and Analysis
Special Issue: "Approximation at the Edge"
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators
Loosely Time-Triggered Architectures: Improvements and Comparisons
Editorial: Reflections on the History of Cyber-Physical versus Embedded Systems
Guest editorial CAPA'08 Configurable computing: Configuring algorithms, processes, and architecture Issue II: Configuring hardware architecture
Blocking-aware processor voltage scheduling for real-time tasks
VirtualSoC: A Research Tool for Modern MPSoCs
Mining Timed Regular Specifications from System Traces
Power-Aware Design Techniques of Secure Multimode Embedded Systems
The embedded software consortium of taiwan
Efficient Implementation of LinearUCB through Algorithmic Improvements and Vector Computing Acceleration for Embedded Learning Systems
Exploiting Timing Error Resilience in Processor Architecture
Reducing asynchrony in channel garbage-collection for improving internal parallelism of multichannel solid-state disks
Compact Software Implementation of Public-Key Cryptography on MSP430X
RapidRadio: Signal Classification and Radio Deployment Framework
P-Alloc: Process-Variation Tolerant Reliability Management for 3D Charge-Trapping Flash Memory
Towards a scalable, low-power all-optical architecture for networks-on-chip
CORIDOR: Using COherence and TempoRal LocalIty to Mitigate Read Disurbance ErrOR in STT-RAM Caches
HERMES: Mobile system for instability analysis and balance assessment
Using a Flexible Fault-Tolerant Cache to Improve Reliability for Ultra Low Voltage Operation
SideDRAM: Integrating SoftSIMD Datapaths near DRAM Banks for Energy-Efficient Variable Precision Computation
Lightweight Data Compression for Mobile Flash Storage
Tutorial: A Novel Runtime Environment for Accelerator-Rich Heterogeneous Architectures
Information flow in hybrid systems
FELIX: A Ferroelectric FET Based Low Power Mixed-Signal In-Memory Architecture for DNN Acceleration
BAND-AiDe: A Tool for Cyber-Physical Oriented Analysis and Design of Body Area Networks and Devices
Efficient off-board deployment and customization of virtual machine-based embedded systems
Adaptive Workload Management in Mixed-Criticality Systems
Analyzing Variable Entanglement for Parallel Simulation of SystemC TLM-2.0 Models
A Cross-Layer Reliability Design Methodology for Efficient, Dependable Wireless Receivers
SoftRM: Self-Organized Fault-Tolerant Resource Management for Failure Detection and Recovery in NoC Based Many-Cores
The XTREM power and performance simulator for the Intel XScale core: Design and experiences
Compiler-directed high-level energy estimation and optimization
A Hardware Abstraction Layer in Java
Efficient and Robust Edge AI: Software, Hardware, and the Co-design
Guest Editorial for ACM TECS: Special Issue on Autonomous Battery-Free Sensing and Communication
A Design and Analysis Framework for Thermal-Resilient Hard Real-Time Systems
Finite-State-Machine Overlay Architectures for Fast FPGA Compilation and Application Portability
A low-power instruction replay mechanism for design of resilient microprocessors
Providing DoS resistance for signature-based broadcast authentication in sensor networks
Diagonal Component Expansion for Flow-Layer Placement of Flow-Based Microfluidic Biochips
Design and Analysis of High Performance Heterogeneous Block-based Approximate Adders
Introduction to the Special Issue on Domain-Specific System-on-Chip Architectures and Run-Time Management Techniques
Efficient Virtual Memory Sharing via On-Accelerator Page Table Walking in Heterogeneous Embedded SoCs
A Precision-Scalable Accelerator with Sign-Magnitude Representation and Dual Adder Trees
Reduced Memory Viterbi Decoding for Hardware-accelerated Speech Recognition
Passive code in synchronous programs
Response-Time Analysis for Task Chains with Complex Precedence and Blocking Relations
SensorGAN: A Novel Data Recovery Approach for Wearable Human Activity Recognition
Moths: Mobile threads for on-chip networks
Characterizing Parameter Scaling with Quantization for Deployment of CNNs on Real-Time Systems
A VC Dimension-Oriented Improvement Method of PUFs for the Anti-Modeling-Attack Capability
Introduction to special section ESTIMedia'09
Duration-Aware Sound Event Detection on Ultra-Low-Power Sensor Devices
Protecting Mobile Health Records in Cloud Computing: A Secure, Efficient, and Anonymous Design
Enhancing the Energy Efficiency and Robustness of tinyML Computer Vision Using Coarsely-quantized Log-gradient Input Images
B-AWARE: Blockage Aware RSU Scheduling for 5G Enabled Autonomous Vehicles
Crosstalk-Aware Automated Mapping for Optical Networks-on-Chip
Introduction to Special Issue on Risk and Trust in Embedded Critical Systems
Flexible PV-cell Modeling for Energy Harvesting in Wearable IoT Applications
Survey of Stochastic Computing
Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning
Symbolic Loop Compilation for Tightly Coupled Processor Arrays
Leveraging Computational Storage for Power-Efficient Distributed Data Analytics
A Task Failure Rate Aware Dual-Channel Solar Power System for Nonvolatile Sensor Nodes
CrossTalk: Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks
A Model-Driven Design Framework for Massively Parallel Embedded Systems
Achieving Lossless Accuracy with Lossy Programming for Efficient Neural-Network Training on NVM-Based Systems
Optimal Split Point Placement for Predictable GPU Wavefront Splitting
Exploiting Concurrency for the Automated Synthesis of MPSoC Interconnects
Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing
Cooperative Data Reduction in Wireless Sensor Network
Optimizing Dilithium Implementation with AVX2/-512
A Lightweight Framework for the Dynamic Creation and Configuration of Virtual Platforms in SystemC
Exploiting Stable Data Dependency in Stream Processing Acceleration on FPGAs
A Design Flow Based on Docker and Kubernetes for ROS-based Robotic Software Applications
Optimizing Tensor Contractions for Embedded Devices with Racetrack and DRAM Memories
A Real-Time FPGA-Based Accelerator for ECG Analysis and Diagnosis Using Association-Rule Mining
ASIP architecture exploration for efficient IPSec encryption: A case study
Schedulability of Bounded-Rate Multimode Systems
Synchronised Shared Memory and Model Checking
Near-Optimal Co-Deployment of Chargers and Sink Stations in Rechargeable Sensor Networks
Statistical Verification of Hyperproperties for Cyber-Physical Systems
Exploiting Multiple Write Modes of Nonvolatile Main Memory in Embedded Systems
SIKE in 32-bit ARM Processors Based on Redundant Number System for NIST Level-II
TrustFlow-X: A Practical Framework for Fine-grained Control-flow Integrity in Critical Systems
Stigmergy-Based Security for SoC Operations From Runtime Performance Degradation of SoC Components
Unequal Error Protection Based on DVFS for JSCD in Low-Power Portable Multimedia Systems
Simulation-based functional verification of dynamically reconfigurable systems
Schedule Synthesis for Synchronous Dataflow Models with Lower and Upper Timing Bounds
Gana: A novel low-cost conflict-free NoC architecture
ReLoaDing Performance: A Locality-Based Strategy for Rapid Reads in Encrypted Key-Value Systems
Agile Acceleration of Stateful Hash-based Signatures in Hardware
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults
Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware
On-device Online Learning and Semantic Management of TinyML Systems
Integrating Memory Optimization with Mapping Algorithms for Multi-Processors System-on-Chip
Seamless Vision-assisted Placement Calibration for Wearable Inertial Sensors
Reconfiguration of IIR filters in response to computer resource availability
STADIA: Photonic Stochastic Gradient Descent for Neural Network Accelerators
Analytic modeling of network processors for parallel workload mapping
Rethinking the Interactivity of OS and Device Layers in Memory Management
Dynamic profiling and fuzzy-logic-based optimization of sensor network platforms
Formal specification of wireless and pervasive healthcare applications
User-aware Frame Rate Management in Android Smartphones
Verified Lustre Normalization with Node Subsampling
ProGIP: Protecting Gradient-based Input Perturbation Approaches for OOD Detection From Soft Errors
D-PUF: An Intrinsically Reconfigurable DRAM PUF for Device Authentication and Random Number Generation
Classifying interprocess communication in process network representation of nested-loop programs
Sense Your Power: The ECO Approach to Energy Awareness for IoT Devices
DyCo: Dynamic, Contextualized AI Models
Coupling bit and modular arithmetic for efficient general-purpose fully homomorphic encryption
Real-Time USB Networking and Device I/O
Stable Greedy: Adaptive Garbage Collection for Durable Page-Mapping Multichannel SSDs
Skiing the embedded systems mountain
Abstracts: Online Supplements Volume 12, Numbers 1s/2s
Attitude Fusion of Inertial and Magnetic Sensor under Different Magnetic Filed Distortions
Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X
wfspan: Wait-free Dynamic Memory Management
Low-latency time-portable real-time programming with Exotasks
Memory- and Communication-Aware Model Compression for Distributed Deep Learning Inference on IoT
Vector Coprocessor Virtualization for Simultaneous Multithreading
Register allocation for embedded systems to simultaneously reduce energy and temperature on registers
The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware
DLSpace: Optimizing SSD Lifetime via An Efficient Distributed Log Space Allocation Strategy
A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks
Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems
Cumulative-Time Signal Temporal Logic
System-level exploration of association table implementations in telecom network applications
A Logic-Based Benders Decomposition Approach for Mapping Applications on Heterogeneous Multicore Platforms
Dependable management system for ubiquitous camera array service in an elder-care center
Real-Time Guarantees in Routerless Networks-on-Chip
Online Distributed Schedule Randomization to Mitigate Timing Attacks in Industrial Control Systems
Dealing with Uncertainty in pWCET Estimations
A Fall Detection Network by 2D/3D Spatio-temporal Joint Models with Tensor Compression on Edge
A Robust and Energy Efficient Hyperdimensional Computing System for Voltage-scaled Circuits
WARM-tree: Making Quadtrees Write-efficient and Space-economic on Persistent Memories
On Memory Reuse Between Inputs and Outputs of Dataflow Actors
CAP'NN: A Class-aware Framework for Personalized Neural Network Inference
Design and implementation of a MicroBlaze-based warp processor
Selective code transformation for dual instruction set processors
Dynamic scratchpad memory management for code in portable systems with an MMU
Skills Gaps in the Industry: Opinions of Embedded Software Practitioners
CABARRE: Request Response Arbitration for Shared Cache Management
High Performance and Predictable Shared Last-level Cache for Safety-Critical Systems
Code size reduction technique and implementation for software-pipelined DSP applications
Runtime Resource Management with Multiple-Step-Ahead Workload Prediction
Rapid evaluation of custom instruction selection approaches with FPGA estimation
Online learning of timeout policies for dynamic power management
Guest Editorial: Special Issue on LCTES 2015
Enabling On-the-Fly Hardware Tracing of Data Reads in Multicores
High-performance operating system controlled online memory compression
From a Formalized Parallel Action Language to Its Efficient Code Generation
Introduction to the Special Issue on tinyML
Exploiting replication to improve performances of NUCA-based CMP systems
A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs
An Efficient Approach for Improving Message Acceptance Rate and Link Utilization in Time-Sensitive Networking
Evaluation and Improvements of Runtime Monitoring Methods for Real-Time Event Streams
Range-free localization and its impact on large scale sensor networks
Adversarial Transferability in Embedded Sensor Systems: An Activity Recognition Perspective
Towards fault-tolerant cryptographic computations over finite fields
A Severe Vulnerability and an Effective Defense Against DFA on Ascon
Guaranteeing Timely Response to Changes of Monitored Objects by Assigning Deadlines and Periods to Tasks
Configurable Detection of SDC-causing Errors in Programs
Microsearch: A search engine for embedded devices used in pervasive computing
Editorial: Special Section on WHS'09
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design
GATE: Graph Attention Neural Networks with Real-Time Edge Construction for Robust Indoor Localization using Mobile Embedded Devices
HMT: A Hardware-centric Hybrid Bonsai Merkle Tree Algorithm for High-performance Authentication
FirmCAN: Sensitive CAN Knowledge Leakage from Automotive ECUs
Beyond Cross-Section: Spatio-Temporal Reliability Analysis
CAMsure: Secure Content-Addressable Memory for Approximate Search
Design of secure cryptography against the threat of power-attacks in DSP-embedded processors
Load-balanced Routing Heuristics for Bandwidth Allocation of AVB Flow in TSN
Fault-Tolerant Dynamic Task Mapping and Scheduling for Network-on-Chip-Based Multicore Platform
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis
STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems
Energy Efficiency Analysis for the Single Frequency Approximation (SFA) Scheme
Introduction to the Special Issue on Cryptographic Engineering for Internet of Things: Security Foundations, Lightweight Solutions, and Attacks
A Tunable Generic Meta-Heuristic Framework for Balancing Assembly Line Systems in Manufacturing
GPU-optimized volume ray tracing for massive numbers of rays in radiotherapy
Models for characterizing noise based PCMOS circuits
Harmonicity-Aware Task Partitioning for Fixed Priority Scheduling of Probabilistic Real-Time Tasks on Multi-Core Platforms
Schedulability Analysis for Timed Automata With Tasks
Special issue on embedded systems for interactive multimedia services (ES-IMS)
Quasistatic shared libraries and XIP for memory footprint reduction in MMU-less embedded systems
Multi-valued Simulation and Abstraction Using Lattice Operations
STEAM: A Smart Temperature and Energy Aware Multicore Controller
Fast and Energy-Efficient State Checkpointing for Intermittent Computing
PANDORA: An Architecture-Independent Parallelizing Approximation-Discovery Framework
On Static Binary Translation of ARM/Thumb Mixed ISA Binaries
Survey of Control-flow Integrity Techniques for Real-time Embedded Systems
Toward Optimal Softcore Carry-aware Approximate Multipliers on Xilinx FPGAs
K-Periodic Scheduling for Throughput-Buffering Trade-Off Exploration of CSDF
A Lightweight and Secure Data Collection Serverless Protocol Demonstrated in an Active RFIDs Scenario
Accurate Prediction of Available Battery Time for Mobile Applications
Cooperative Cache Transfer-based On-demand Network Coded Broadcast in Vehicular Networks
Dynamic Power and Energy Management for Energy Harvesting Nonvolatile Processor Systems
Side-channel and Fault-injection attacks over Lattice-based Post-quantum Schemes (Kyber, Dilithium): Survey and New Results
Timetide: A Programming Model for Logically Synchronous Distributed Systems
A Self-Sustained CPS Design for Reliable Wildfire Monitoring
A distributed timing synchronization technique for parallel multi-core instruction-set simulation
Compositional Timing Analysis of Asynchronized Distributed Cause-effect Chains
CUDA Leaks: A Detailed Hack for CUDA and a (Partial) Fix
Enabling and Exploiting Partition-Level Parallelism (PALP) in Phase Change Memories
Adaptive and Radio-Agnostic QoS for Body Sensor Networks
Energy macromodeling of embedded operating systems
RCML: An Environment for Estimation Modeling of Reconfigurable Computing Systems
A Unified WCET analysis framework for multicore platforms
Rtkaller: State-aware Task Generation for RTOS Fuzzing
Design and Optimization of Energy-Accuracy Tradeoff Networks for Mobile Platforms via Pretrained Deep Models
Bluetooth aided mobile phone localization: A nonlinear neural circuit approach
Achieving energy efficiency through runtime partial reconfiguration on reconfigurable systems
Human Activity Recognition on Microcontrollers with Quantized and Adaptive Deep Neural Networks
LPWAN in the TV White Spaces: A Practical Implementation and Deployment Experiences
GALS-HMP: A heterogeneous multiprocessor for embedded applications
Combining code reordering and cache configuration
Introduction to the special section on on-chip and off-chip network architectures
Wireless Perceptual Space Modeling Method for Cross-Domain Human Activity Recognition
Accelerating radiation dose calculation: A multi-FPGA solution
Lightweight Champions of the World: Side-Channel Resistant Open Hardware for Finalists in the NIST Lightweight Cryptography Standardization Process
Revealing CNN Architectures via Side-Channel Analysis in Dataflow-based Inference Accelerators
Automated reduction of the memory footprint of the Linux kernel
Improving Performance-Power-Programmability in Space Avionics with Edge Devices: VBN on Myriad2 SoC
Reducing Power Consumption and Latency in Mobile Devices Using an Event Stream Model
Formal Verification of Spacecraft Control Programs
NWSLite: A general-purpose, nonparametric prediction utility for embedded systems
Firmness Analysis of Real-time Tasks
An optimal algorithm for minimizing run-time reconfiguration delay
Design and evaluation of random linear network coding Accelerators on FPGAs
Trust Based Active Game Data Collection Scheme in Smart Cities
Control Flow Checking or Not? (for Soft Errors)
AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models
Do Not Trust Power Management: A Survey on Internal Energy-based Attacks Circumventing Trusted Execution Environments Security Properties
A curriculum for embedded system engineering
A high-throughput pipelined parallel architecture for JPEG XR encoding
AttackDefense Framework (ADF): Enhancing IoT Devices and Lifecycles Threat Modeling
Array recovery and high-level transformations for DSP applications
Adaptive Power Management in Solar Energy Harvesting Sensor Node Using Reinforcement Learning
Benchmarking and Configuring Security Levels in Intermittent Computing
Efficient compilation of CUDA kernels for high-performance computing on FPGAs
DMS-Based Energy Optimizations for Clustered WSNs
Cache Reconfiguration Using Machine Learning for Vulnerability-aware Energy Optimization
Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL
BenchPrime: Effective Building of a Hybrid Benchmark Suite
ALOHA-FP2I: Efficient Algorithms and Hardware for Multi-Mode Rounding of Floating Point to Integer
Distributed Task Offloading and Resource Purchasing in NOMA-Enabled Mobile Edge Computing: Hierarchical Game Theoretical Approaches
Compositional Dataflow Circuits
TyBox: An Automatic Design and Code Generation Toolbox for TinyML Incremental On-Device Learning
Efficient Decentralized LTL Monitoring Framework Using Tableau Technique
Overflow-free Compute Memories for Edge AI Acceleration
Preaveraging and Carry Propagate Approaches to Side-Channel Analysis of HMAC-SHA256
On Heuristic Solutions to the Simple Offset Assignment Problem in Address-Code Optimization
Reinforcement Learning-Assisted Garbage Collection to Mitigate Long-Tail Latency in SSD
Editorial: Security of Mobile Devices
Introduction to Special Issue on Cross-layer Dependable Embedded Systems
Maximizing rewards for real-time applications with energy constraints
Elliptic and hyperelliptic curves on embedded µP
Stability of Online Resource Managers for Distributed Systems under Execution Time Variations
WCET-Aware Function-Level Dynamic Code Management on Scratchpad Memory
Boosting software fault injection for dependability analysis of real-time embedded applications
Transfer Schedulability in Periodic Real-Time Systems
Response Time Analysis for Tasks with Fixed Preemption Points under Global Scheduling
A Synchronous Look at the Simulink Standard Library
Provably Good Task Assignment for Two-Type Heterogeneous Multiprocessors Using Cutting Planes
SIPF: A Secure Installment Payment Framework for Drive-Thru Internet
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems
Synterface: Efficient Chip-to-World Interfacing for Flow-Based Microfluidic Biochips Using Pin-Count Minimization
Shared Last-Level Cache Management and Memory Scheduling for GPGPUs with Hybrid Main Memory
Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes
Towards Write-Activity-Aware Page Table Management for Non-volatile Main Memories
A PUF-Based Secure Communication Protocol for IoT
Optode Design Space Exploration for Clinically-robust Non-invasive Fetal Oximetry
Data Flow Transformation for Energy-Efficient Implementation of Givens Rotation-Based QRD
Response Time Analysis for Sporadic Server Based Budget Scheduling in Real Time Virtualization Environments
Application-aware adaptive cache architecture for power-sensitive mobile processors
Trireme: Exploration of Hierarchical Multi-level Parallelism for Hardware Acceleration
Memory overflow protection for embedded systems using run-time checks, reuse, and compression
Energy-Efficient Communications for Improving Timely Progress of Intermittent-Powered BLE Devices
System Scenario-Based Design of the Last-Level Cache in Advanced Interconnect-Dominant Technology Nodes
Introduction to special section SCPS'09
Distributed programming framework for fast iterative optimization in networked cyber-physical systems
CURA: A Framework for Quality-Retaining Power Saving on Mobile OLED Displays
Energy-efficient Real-time Scheduling on Multicores: A Novel Approach to Model Cache Contention
Dynamic alteration schemes of real-time schedules for I/O device energy efficiency
TCX: A RISC Style Tensor Computing Extension and a Programmable Tensor Processor
Incremental Analysis of Cyclo-Static Synchronous Dataflow Graphs
SAPar: A Surrogate-Assisted DNN Partitioner for Efficient Inferences on Edge TPU Pipelines
A framework for defending embedded systems against software attacks
PArtNNer: Platform-Agnostic Adaptive Edge-Cloud DNN Partitioning for Minimizing End-to-End Latency
Combining Software Cache Partitioning and Loop Tiling for Effective Shared Cache Management
Scalable Analysis for Multi-Scale Dataflow Models
Adaptive and Hierarchical Runtime Manager for Energy-Aware Thermal Management of Embedded Systems
Self-Adaptive QoS Management of Computation and Communication Resources in Many-Core SoCs
Deductive Verification of Cooperative RTOS Applications
Synergistic CPU-GPU Frequency Capping for Energy-Efficient Mobile Games
Predictable Shared Cache Management for Multi-Core Real-Time Virtualization
An Inexact Ultra-low Power Bio-signal Processing Architecture With Lightweight Error Recovery
Minimal-Overlap Centrality for Multi-Gateway Designation in Real-Time TSCH Networks
Time and Sequence Integrated Runtime Anomaly Detection for Embedded Systems
Energy-Efficient and High-Performance Lock Speculation Hardware for Embedded Multicore Systems
High-Performance and Energy-Efficient Network-on-Chip Architectures for Graph Analytics
Adaptive scheduling server for power-aware real-time tasks
A hardware architecture for real-time object detection using depth and edge information
BeepBeep: A high-accuracy acoustic-based system for ranging and localization using COTS devices
SAFE-OPS: An approach to embedded software security
FLASH: Fast Neural Architecture Search with Hardware Optimization
Design space exploration using arithmetic-level hardware--software cosimulation for configurable multiprocessor platforms