Personensuche
X
?
2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) ,
1
SeMaFoR - Self-Management of Fog Resources with Collaborati..:
, In:
?
2023 IEEE Symposium on Computers and Communications (ISCC) ,
2
Effects of secured DNS transport on resolver performance:
, In:
?
2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC) ,
3
OMAHA: Opportunistic Message Aggregation for pHase-based Al..:
, In:
?
Lecture Notes in Computer Science; Image Analysis and Processing. ICIAP 2022 Workshops ,
4
LSL3D: A Run-Based Connected Component Labeling Algorithm f..:
, In:
?
2022 IEEE 21st International Symposium on Network Computing and Applications (NCA) ,
5
Alternating MPR: a balanced broadcast algorithm for MANETs:
, In:
?
Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science ,
6
Diversifying a Parallel SAT Solver with Bayesian Moment Mat..:
, In:
?
Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science ,
7
Community and LBD-Based Clause Sharing Policy for Parallel ..:
, In:
?
2020 IEEE 19th International Symposium on Network Computing and Applications (NCA) ,
8
MemOpLight: Leveraging application feedback to improve cont..:
, In:
?
Proceedings of the Fifteenth European Conference on Computer Systems ,
9
Provable multicore schedulers with Ipanema : application..:
, In:
?
Distributed Applications and Interoperable Systems; Lecture Notes in Computer Science ,
10
A Resource Usage Efficient Distributed Allocation Algorithm..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
11
On the Usefulness of Clause Strengthening in Parallel SAT S..:
, In:
?
2019 IEEE Real-Time Systems Symposium (RTSS) ,
12
Improving Prediction Accuracy of Memory Interferences for M..:
, In:
?
2019 38th Symposium on Reliable Distributed Systems (SRDS) ,
13
Toward an in-Kernel High Performance Key-Value Store Implem..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
14
Modular and Efficient Divide-and-Conquer SAT Solver on Top ..:
, In:
?
2019 IEEE 18th International Symposium on Network Computing and Applications (NCA) ,
15