yusuke1997/dblp-id-title huggingface dataset:
Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling
A Procrastinating Control-Flow Integrity Framework for Periodic Real-Time Systems
Formal approach for a verified implementation of Global EDF in Trampoline
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation
Enabling multi-link data transmission for collaborative sensing in open road scenarios
WCET analysis in shared resources real-time systems with TDMA buses
Improving the Schedulability of Mixed Criticality Cyclic Executives via Limited Task Splitting
Scheduling of Hard Real-Time Multi-Thread Periodic Tasks
A Fully Polynomial Time Approximation Scheme for Adaptive Variable Rate Task Demand
A Stretching Algorithm for Parallel Real-time DAG Tasks on Multiprocessor Systems
Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models
Dynamic Partitioned Scheduling of Real-Time DAG Tasks on ARM big.LITTLE Architectures
Message scheduling to reduce AFDX jitter in a mixed NoC/AFDX architecture
Resource reservation for real-time self-suspending tasks: theory and practice
Guaranteed Service Independent of the Task Placement in NoCs with Torus Topology
Joint management of processing and cooling power based on inaccurate thermal information in a stochastic real-time system
Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems
Tardiness Bounds for Fixed-Priority Global Scheduling without Intra-Task Precedence Constraints
Choosing preemption points to minimize typical running times
Job partitioning strategies for multiprocessor scheduling of real-time periodic tasks with restricted migrations
Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
Allocation of Real-Time Tasks onto Identical Core Platforms under Deferred fixed Preemption-Point Model
B-TSP: An Advanced Power Safe Management Strategy for modern Multi-core Platforms under Thermal-Aware Design
Scheduling with preemption delays: anomalies and issues
WCET analysis with procedure arguments as parameters
How realistic is the mixed-criticality real-time system model?
An enhanced scheduler for MC 2
Timing analysis of AVB Ethernet network using the Forward end-to-end Delay Analysis
WCET analysis for multi-core processors with shared buses and event-driven bus arbitration
PDPA: period driven task and cache partitioning algorithm for multi-core systems
The concurrent consideration of uncertainty in WCETs and processor speeds in mixed-criticality systems
An experimental evaluation of synchronization protocol mechanisms in the domain of hierarchical fixed-priority scheduling
Enabling timing predictability in the presence of store buffers
Continuity for network calculus
Formal Verification of a Mixed-Trust Synchronization Protocol
Mapping hard real-time applications on many-core processors
WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds
A Configuration Framework for Multi-level Preemption Schemes in Time Sensitive Networking
Fault-tolerant topology and routing synthesis for IEEE time-sensitive networking
Formal verification of real-time wireless sensor networks protocols with realistic radio links
A semi-partitioned approach for parallel real-time scheduling
Data-Age Analysis for Multi-Rate Task Chains under Timing Uncertainty
A framework for the timing analysis of dynamic branch predictors
Optimal soft real-time semi-partitioned scheduling made simple (and dynamic)
FFX: a portable WCET annotation language
An exact schedulability test for global FP using state space pruning
Temporal properties in automotive control software
Optimal Synthesis of IDK-Cascades
End-to-End Schedulability of Virtualized Distributed Time-Triggered Systems
Supporting Suspension-based Locking Mechanisms for Real-Time Networks-on-chip
A Software Managed Stack Cache for Real-Time Systems
On the Feasibility of Sporadic Tasks with Restricted Parallelism on Heterogeneous Multiprocessors
Timely and Non-Disruptive Response of Emergency Vehicles: A Real-Time Approach
Response time analysis of multiframe mixed-criticality systems
Trading Between Intra- and Inter-Task Cache Interference to Improve Schedulability
On Task Period Assignment in Multiprocessor Real-Time Control Systems
Constant bandwidth servers with constrained deadlines
Intrusion-Damage Assessment and Mitigation in Cyber-Physical Systems for Control Applications
Thermal analysis of periodic real-time systems with stochastic properties: an analytical approach
Preemptive scheduling of dependent periodic tasks modeled by synchronous dataflow graphs
A model-based approach for analysing network communication timeliness in IMA systems at concept level
Combining network calculus and scheduling theory to improve delay bounds
Crumbs: Utilizing Functional Programming for Hardware Trace Data Analysis
Multi-Model Specifications and their Application to Classification Systems
Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor
Schedulability analysis of dependent probabilistic real-time tasks
Fixed-priority scheduling of dual-criticality systems
Searching for Upper Delay Bounds in FIFO Multiplexing Feedforward Networks
Total Execution Order in Fault-Tolerant Real-Time Systems
Response-Time Analysis for Transactions with Execution-Time Dependencies
Marmot: Extraction of Fine-Grain Memory Access Profiles for real-time software
Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS 2017, Grenoble, France, October 04 - 06, 2017
Time-division multiplexing vs network calculus: a comparison
Extending fixed task-priority schedulability by interference limitation
Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset
Finite ready queues as a mean for overload reduction in weakly-hard real-time systems
Adaptive Routing with Guaranteed Delay Bounds using Safe Reinforcement Learning
Architecture-Aware Mapping and Scheduling of IMA partitions on Multicore platforms
Bridging the gap between practical cases and temporal performance analysis: a models repository-based approach
SiGAMMA: server based integrated GPU arbitration mechanism for memory accesses
A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility
A generic and compositional framework for multicore response time analysis
Hard real-time guarantee of automotive applications during mode changes
A Forward end-to-end delays Analysis for packet switched networks
Resilient scheduling of energy-variable weakly-hard real-time systems
Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems
The Safe and Effective Use of Optimistic Period Predictions
Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations
The Priority Division Arbiter for low WCET and high Resource Utilization in Multi-core Architectures
Real-time Ethernet Residual Bus Simulation: A Model-Based Testing Approach for the Next-Generation In-Car Network
Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling
Heterogeneous multicore SDRAM interference analysis
Response Time Analysis of Parallel Real-Time DAG Tasks Scheduled by Thread Pools
Non-work-conserving scheduling of non-preemptive hard real-time tasks based on fixed priorities
Modeling time-triggered service intermittence in network calculus
Static probabilistic worst case execution time estimation for architectures with faulty instruction caches
Complete modelling of AVB in Network Calculus Framework
On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension
Characterizing G-EDF scheduling tardiness with uniform instances on multiprocessors
Formal schedulability analysis based on multi-core RTOS model
Improved response time analysis of sporadic DAG tasks for global FP scheduling
Proceedings of the 23rd International Conference on Real Time Networks and Systems, RTNS 2015, Lille, France, November 4-6, 2015
Supporting Global Resource Sharing in RUN-scheduled Multiprocessor Systems
Multiprocessor scheduling of elastic tasks
Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting
Reducing Response-Time Bounds for DAG-Based Task Systems on Heterogeneous Multicore Platforms
Multi-Criteria Function Inlining for Hard Real-Time Systems
Optimized trusted execution for hard real-time applications on COTS processors
Synthesising Schedules to Improve QoS of Best-effort Traffic in TSN Networks
Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles
Forecast-based interference: modelling multicore interference from observable factors
Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis
Automatic Generation of Timing Models for Timing Analysis of High-Level Code
A branch-and-bound algorithm to compute a tighter bound to tardiness for preemptive global EDF scheduler
Towards a Safe and Latency-Aware Fault-tolerant Scheduling Technique for Multi-rate Task Chains
An optimisation algorithm for minimising energy dissipation in NoC-based hard real-time embedded systems
Graceful Degradation of Low-Criticality Tasks in Multiprocessor Dual-Criticality Systems
ILP-based joint routing and scheduling for time-triggered networks
RT-Bench: an Extensible Benchmark Framework for the Analysis and Management of Real-Time Applications
AVB-aware Routing and Scheduling for Critical Traffic in Time-sensitive Networks with Preemption
Migrate when necessary: toward partitioned reclaiming for soft real-time tasks
Antinomy between schedulability and quality of control using a feedback scheduler
WCTT analysis of avionics Switched Ethernet Network with WRR Scheduling
Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems
Mixed criticality systems with weakly-hard constraints
SMT-based Task- and Network-level Static Schedule Generation for Time-Triggered Networked Systems
PRETI: partitioned real-time shared cache for mixed-criticality real-time systems
Best-case response times and jitter analysis of real-time tasks with arbitrary deadlines
Partitioning and Interface Synthesis in Hierarchical Multiprocessor Real-Time Systems
Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contention
20th International Conference on Real-Time and Network Systems, RTNS '12, Pont a Mousson, France - November 08 - 09, 2012
WiseTOP: a multimode MAC protocol for wireless implanted devices
Iterative robust multiprocessor scheduling
Egress-TT Configurations for TSN Networks
Taking One for the Team: Trading Overhead and Blocking for Optimal Critical-Section Granularity with a Shared GPU
Comparing trace recordings of automotive real-time software
Analysis of Shared Cache Interference in Multi-Core Systems using Event-Arrival Curves
Software-defined wireless mesh networking for reliable and real-time smart city cyber physical applications
FHE: End-to-End Encryption for Everyone (keynote abstract)
eIDAS2: What Prospects and Stakes for Digital Trust? (keynote abstract)
Proceedings of the 29th Computer & Electronics Security Application Rendezvous co-located with the 7th European Cyber Week (ECW 2022), Rennes, France, November 15-16, 2022
Setting Hardware Root-of-Trust from Edge to Cloud, and How to Use it
Decentralized Public Key Infrastructure for Autonomous Embedded Systems
Proceedings of the 30th Computer & Electronics Security Application Rendezvous Conference (C&ESAR 2023) co-located with the 8th European Cyber Week (ECW 2023), Rennes, France, November 21-22, 2023
Resilience via Blackbox Self-Piloting Plants
Zero Trust in the Context of IoT: Industrial Literature Review, Trends, and Challenges
Building Defensive Self-Knowledge Using Embedded Machine Learning in Avionics
C4PTION : pourquoi caractériser les auteurs de portions de code ? (C4PTION : why Characterise the Authors of code PorTIONs?)
Federated Learning as Enabler for Collaborative Security between not Fully-Trusting Distributed Parties
Securing Communication in the Field: Protecting Geo-distributed Computing in an Untrusted Environment
Ten years of studies on the security of connected objects: a wrap-up (keynote abstract)
IoT, 5G and Trusted Cloud (keynote abstract)
PALANTIR: Zero-Trust Architecture for Managed Security Service Provider
When Side-channel Meets Malware (short paper)
France Identity: an Architecture at the Service of Better Control of Personal Data (keynote abstract)
Final Steps of the NIST Lightweight Cryptography Standardization (keynote abstract)
Vers une gestion d'identités auto-souveraine pour les dispositifs IoT (Towards Self-Sovereign Identity Management for IoT Devices)
Small Animal Imaging: Iterative Algorithms Combined with Regularization Schemes, an Application to a Dual-Head Small Animal PET
Comparison of Classical and Deep Learning-Based Feature Representations for Age-Related Macular Degeneration
Sigmoid Colon Localisation for Acute Diverticulitis Disease Using Sigloc 3D Convolution Neural Network
Comprehensive Strategy to Screen the Ankylosing Spondylitis-Related Biomarkers in the Peripheral Serum
The CT Liver Image Segmentation Based on RTV and GMM
Measurement of Q Factor from Two Dimensional Images of Osteoarthritic Knee Braces
Convolutional Neural Networks for Newborn Pain Assessment Using Face Images: A Quantitative and Qualitative Comparison
Evaluation of Left Main Bifurcation Ostial Area by Main Vessel Intravascular Ultrasound
Multi-task Learning Approach for Unified Biometric Estimation from Fetal Ultrasound Anomaly Scans
Forming of Validation Dataset for Deep Learning Based Model of Medical Image Grouping
Vessel Segmentation and Stenosis Quantification from Coronary X-Ray Angiograms
Ex-vivo Evaluation of Newly Formed Bone After Lumbar Interbody Fusion Surgery Using X-ray Micro Computed Tomography
Patch-Level Up-Sampling for Multi-instance Learning in H&E Tissue Micro-Array Based Recurrence Prediction
Machine Learning-Based Imaging in Connected Vehicles Environment
Identification of FECG from AECG Recordings using ICA over EMD
Classification of Chest Diseases Using Wavelet Transforms and Transfer Learning
NuRISC: Nuclei Radial Instance Segmentation and Classification
Proceedings of 2024 International Conference on Medical Imaging and Computer-Aided Diagnosis, MICAD 2024, Manchester, UK, November 19-21, 2024
Proceedings of 2022 International Conference on Medical Imaging and Computer-Aided Diagnosis, MICAD 2022, Leicester, UK, November 20-21, 2022
Proceedings of 2021 International Conference on Medical Imaging and Computer-Aided Diagnosis, MICAD 2021, Birmingham, United Kingdom, March 25-26, 2021
2.5D Lightweight Network Integrating Multi-scale Semantic Features for Liver Tumor Segmentation
Learning Transferable Features for Diagnosis of Breast Cancer from Histopathological Images
An Infrared Imaging Method that Uses Modulated Polarization Parameters to Improve Image Contrast
Machine Learning for the Evaluation and Detection of Key Markers in Dilated Cardiomyopathy
Photograph to X-ray Image Translation for Anatomical Mouse Mapping in Preclinical Nuclear Molecular Imaging
STResNet: Covid-19 Detection by ResNet Transfer Learning and Stochastic Pooling
LoRA-MedSAM: Efficient Medical Image Segmentation
Preliminary Considerations on the Design of Multi-layered Bone Scaffold for Laser-Based Printing
Deep Learning for Mental Illness Detection Using Brain SPECT Imaging
Evaluating the Performance of Deep Learning Model and Junior Radiologists in Reading Major Pathologies on Chest X-Rays: A Population-Based, Multi-reader Study
3D-3D Rigid Registration: A Comparative Analysis Study on Femoral Bone Scans
3D-Reconstruction and Semantic Segmentation of Cystoscopic Images
A Novel Classification Method of Medical Image Segmentation Algorithm
Subjective Craving and Brain Response to Drug-Related Cues in Former Drug Addicts: An fMRI Study
TMN: An Efficient Robust Aggregator for Federated Learning
Community Detection in Medical Image Datasets: Using Wavelets and Spectral Methods
Automatic Detection and Counting of Malaria Parasite-Infected Blood Cells
A Systematic Literature Review of Machine Learning Applications for Community-Acquired Pneumonia
Application of Image Segmentation and Convolutional Neural Network in Classification Algorithms for Mammary X-ray Molybdenum Target Image
Visualization of Continuous and Pulsed Ultrasonic Propagation in Water
KneeXNeT: An Ensemble-Based Approach for Knee Radiographic Evaluation
RetNet: A Two-Stage Deep Neural Network for Clinically Traceable Retinal Disease Classification
Vitiligo Skin Segmentation: An Image-Based Unsupervised Learning Approach
Towards Developing a Lightweight Neural Network for Liver CT Segmentation
Modified Technique "Modus Spirdonov 1" in Fine-Needle Aspiration Biopsy Under Ultrasonographical Control
Research Progress of Deep Learning in Thyroid Nodule Imaging Examination
Enhancing Diagnostic Accuracy in Fracture Identification on Musculoskeletal Radiographs Using Deep Learning: A Multi-Reader Retrospective Study
Information Technologies in Complex Reconstructive Maxillofacial Surgery
PARROT - A Versatile Platform for AI-Driven Image Segmentation and Dose Prediction
Deep Learning Based Segmentation of Magnetic Resonance Cardiac Images
Text-Conditioned Abdominal CT Slice Generation Using Stable Diffusion
Partition-Based Medical Data Synthesis via Latent Diffusion
COVID-19 Diagnosis and Classification from CXR Images Using Vision Transformer
Attention-Based CNN for Enhanced Detection of Arsenic Exposure
Ensembling Learning for Automated Detection of Diabetic Retinopathy
Deep Learning Based Radiomics to Predict Treatment Response Using Multi-datasets
Increasing Rosacea Awareness Among Population Using Deep Learning and Statistical Approaches
Evaluating Mobile Tele-radiology Performance for the Task of Analyzing Lung Lesions on CT Images
Navigating Privacy and Security Challenges in Electronic Medical Record (EMR) Systems: Strategies for Safeguarding Patient Data in Developing Countries - A Case Study of the Pacific
Performance Analysis of Different 2D and 3D CNN Model for Liver Semantic Segmentation: A Review
Registration of Medical Image Sequences Using Auto-differentiation
The Art-of-Hyper-Parameter Optimization with Desirable Feature Selection
Transfer Learning Based Classification of Diabetic Retinopathy on the Kaggle EyePACS Dataset
Fully Automatic Axial Vertebral Rotation Measurement of Children with Scoliosis Using Convolutional Neural Networks
Automated Gland Detection in Colorectal Histopathological Images
Proceedings of 2023 International Conference on Medical Imaging and Computer-Aided Diagnosis, MICAD 2023, Cambridge, UK, December 9-10, 2023
Improved Brain Tumor Segmentation and Diagnosis Using an SVM-Based Classifier
Design of Photovoltaic Power Intelligent Patrol Robot
BD-Transformer: A Transformer-Based Approach for Bipolar Disorder Classification Using Audio
LV-Mamba: Integrating Denoising Mechanism with Mamba for Improved Segmentation of the Pediatric Echocardiographic Left Ventricle
Covid-19 Chest CT Scan Image Classification Using LCKSVD and Frozen Sparse Coding
Typical Fault Classification and Recognition of Photovoltaic Modules Based on Deep Learning and Thermal Imaging Picture Processing
Tear Meniscus Measurement for Dry Eye Detection Using Smartphone and Deep Learning
Hybrid-Fusion Transformer for Multisequence MRI
The Worrisome Impact of an Inter-rater Bias on Neural Network Training
Diagnostic Genes Identification and Molecular Classification Patterns Based on Oxidative Stress-Related Genes in Ischemic Stroke
Learning Wall Segmentation in 3D Vessel Trees Using Sparse Annotations
Geometrically Matched Multi-source Microscopic Image Synthesis Using Bidirectional Adversarial Network
An Obstacle Avoidance Method for Agricultural Plant Protection UAV Based on the Fusion of Ultrasonic and Monocular Vision
Deep Learning for Lymph Node Metastasis Detection in Pancreatic Ductal Adenocarcinoma
Identification of a Novel Model for Predicting the Prognosis and Immune Response Based on Genes Related to Ferroptosis and Disulfidptosis in Liver Hepatocellular Carcinoma
Dual-Attention Network for Acute Pancreatitis Lesion Detection with CT Images
Czech Anti-Covid Rules Evaluation
Gingivitis Identification via GLCM and Artificial Neural Network
Analyzing CT Scan Images Using Deep Transfer Learning for Patients with Covid-19 Disease
Modulated Rotating Orthogonal Polarization Parametric Imaging, A Preliminary Study
Machine Learning and AI Approaches for Classifying Primary Brain Tumours Using Conventional MRI Scans
A Fully Automated End-to-End Process for Fluorescence Microscopy Images of Yeast Cells: From Segmentation to Detection and Classification
An Analysis of Multi-organ Segmentation Performance of CNNs on Abdominal Organs with an Emphasis on Kidney
Predicting Central Cervical Lymph Node Metastasis of Papillary Thyroid Carcinomas Using Multi-view Ultrasound Images
Multi-statistical Features-Based 4D Spatiotemporal Level Set Model for CTP Image Segmentation
Cross-Net: Joint In-Line Holographic Image Reconstruction and Refocusing
PB-FELTuCS: Patch-Based Filtering for Enhanced Liver Tumor Classification and Segmentation
Intelligent Fuzzy Clinical Decision Support System to Classify Breast Cancer - Case Study: The Wisconsin Dataset
A Mobile Monitoring Application for Post-traumatic Stress Disorder
Optimising Chest X-Rays for Image Analysis by Identifying and Removing Confounding Factors
MR Spectroscopy Spectrum Fitting Using a Physically Informed Neural Network
BOF-Net: A Retinal Branch Vein Occlusion Segmentation Diagnostic Network for Fundus Fluorescein Angiography Images
Generic Liver Modelling with Application to Mini-invasive Surgery Guidance
Promoting Cardiovascular Health Using a Recommendation System
Optimizing the Non-local Means Filtering of CT Images
Explainable Deep Learning Framework for Ground Glass Opacity (GGO) Segmentation from Chest CT Scans
Knowledge Distillation for Enabling Efficient AI-Based Skin Cancer Detection in Resource-Constrained Environments
Computer Modeling and Laser Stereolithography in Cranio-Orbital Reconstructive Surgery
Identifying Melanoma in Lesion Images Using Cycle-Consistent Adversarial Networks-Based Data Augmentation
Color-Based Fusion of MRI Modalities for Brain Tumor Segmentation
Exploring Structure-Wise Uncertainty for 3D Medical Image Segmentation
Proceedings of 2020 International Conference on Medical Imaging and Computer-Aided Diagnosis, MICAD 2020, Oxford, UK, January 20-21, 2020
Lunatum Prosthetic Replacement: Modeling Based on Volume Rendering of CT Scan Images
Survival Modeling of Disease Consequences and Post-disease Syndromes
Progress of Intelligent Diagnosis via Multiple Brain Features in Alzheimer's Disease
Towards Seamless Surgical Guidance: A Robust Marker-Based Multi-camera AR Navigation System with Advanced Calibration and Detection Techniques
Synthesising Whole-Body Diffusion-Weighted Maximum Intensity Projection Images Using Diffusion Model
Deep YOLO-Based Detection of Breast Cancer Mitotic-Cells in Histopathological Images
Building a COVID-19 Literature Knowledge Graph Based on PubMed
A Change Detection with Machine Learning Approach for Medical Image Analysis
Optical Micro-scanning Reconstruction Technique for a Thermal Microscope Imaging System
Construction of Precision Medical Model Based on Electronic Medical Records
Two-Stage Convolutional Neural Network for Knee Osteoarthritis Diagnosis in X-Rays
An Eye-Tracking Based Machine Learning Model Towards the Prediction of Visual Expertise for Electrocardiogram Interpretation
A Survey for Traditional, Cascaded Regression, and Deep Learning-Based Face Alignment
Self-supervised Probe Pose Regression via Optimized Ultrasound Representations for US-CT Fusion
Early Detection of Parkinson's Disease Dementia Using Dual-Sided Multi-scale Convolutional Neural Networks (DSMS-CNN)
(ExMod) Model for Medical Image Segmentation Using Scribble Annotations
Detecting Pulmonary Lesions in Low-Prevalence Real-World Settings Using Deep Learning
Automated Whole-Body PET/CT Lesion Tracking for Lesion-Wise Response Evaluation in Metastatic Breast Cancer