Search for persons
X
?
2023 IEEE Nuclear Science Symposium, Medical Imaging Conference and International Symposium on Room-Temperature Semiconductor Detectors (NSS MIC RTSD) ,
1
X-ray phase contrast CT with an amplitude modulated beam: m..:
, In:
?
Lecture Notes in Mathematics; Combinatorial Mathematics VII ,
2
A computer search for B-coverings:
, In:
?
Proceedings of the sixth international symposium on Multiple-valued logic ,
3
Three cell structures for ternary cellular arrays:
, In:
?
2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS) ,
4
Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-T..:
, In:
?
2023 IEEE/ACM Symposium on Edge Computing (SEC) ,
5
Multi-Hop User Equipment (UE) to UE Relays for MANET/Mesh L..:
, In:
?
Proceedings of the 31st International Conference on Real-Time Networks and Systems ,
6
Cache-Aware Allocation of Parallel Jobs on Multi-cores base..:
, In:
?
2023 International Conference on Computational Science and Computational Intelligence (CSCI) ,
7
Enhancing Drug Safety Documentation Search Capabilities wit..:
, In:
?
Proceedings of the Eighth ACM/IEEE Symposium on Edge Computing ,
8
Multi-Hop UE to UE Relays for MANET / Mesh Leveraging 5G NR..:
, In:
?
Proceedings of the 31st International Conference on Real-Time Networks and Systems ,
9
Scheduling Classifiers for Real-Time Hazard Perception Cons..:
, In:
?
Proceedings of the 31st International Conference on Real-Time Networks and Systems ,
10
Reducing Loss of Service for Mixed-Criticality Systems thro..:
, In:
?
Proceedings of the 30th International Conference on Real-Time Networks and Systems ,
11
Compensating Adaptive Mixed Criticality Scheduling:
, In:
?
2022 International Conference on Computational Science and Computational Intelligence (CSCI) ,
12
Leveraging Data Pathways for Next Generation Safety Monitor..:
, In:
?
?
2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS) ,
14
Analysis-Runtime Co-design for Adaptive Mixed Criticality S..:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Practice ,
15