E-LIB Suche - Ergebnisse für: Xiaokang, Qiu

1

Self-suppression of common-mode noises of the different fib..:

Duo, Yi ; Xiangge, He ; Fei, Liu...
Optics Express. 26 (2018) 12 - p. 15384 , 2018

Link: https://doi.org/10.1364/..

2

Runtime verification of java programs for scenario-based sp..:

, In: Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies,

Xuandong, Li ; Linzhang, Wang ; Xiaokang, Qiu... - p. 94-105 , 2006

Link: https://dl.acm.org/doi/1..

3

Runtime Verification of Java Programs for Scenario-Based Sp..:

, In: Reliable Software Technologies – Ada-Europe 2006; Lecture Notes in Computer Science,

Xuandong, Li ; Linzhang, Wang ; Xiaokang, Qiu... - p. 94-105 , 2006

Link: https://doi.org/10.1007/..

4

Automatic test case generation for UML activity diagrams:

, In: Proceedings of the 2006 international workshop on Automation of software test,

Mingsong, Chen ; Xiaokang, Qiu ; Xuandong, Li - p. 2-8 , 2006

Link: https://dl.acm.org/doi/1..

5

Enhanced Enumeration Techniques for Syntax-Guided Synthesis..:

Ding, Yuantian ; Qiu, Xiaokang
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 2129-2159 , 2024

Link: https://doi.org/10.1145/..

6

P4CGO: Control Plane Guided P4 Program Optimization:

, In: Proceedings of the 2024 SIGCOMM Workshop on Formal Methods Aided Network Operation,

Wen, Chenan ; Li, Zhuocong ; Jafri, Syed Usman.. - p. 1-7 , 2024

Link: https://dl.acm.org/doi/1..

7

Comparative Synthesis: Learning Near-Optimal Network Design..:

Wang, Yanjun ; Li, Zixuan ; Jiang, Chuan..
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 91-120 , 2023

Link: https://doi.org/10.1145/..

8

Bootstrapping Library-Based Synthesis:

, In: Static Analysis; Lecture Notes in Computer Science,

Huang, Kangjing ; Qiu, Xiaokang - p. 272-298 , 2022

Link: https://doi.org/10.1007/..

9

HiAtGang: How to Mine the Gangs Hidden Behind DDoS Attacks:

ZHU, Tian ; QIU, Xiaokang ; RAO, Yu...
Chinese Journal of Electronics. 31 (2022) 2 - p. 293-303 , 2022

Link: https://doi.org/10.1049/..

10

Syntheses, structures and Br2 uptake of Cu(I)-bipyrazole fr..:

Zheng, Sai-Li ; He, Yonghe ; Qiu, Xiao-Kang...
Journal of Solid State Chemistry. 302 (2021) - p. 122458 , 2021

Link: https://doi.org/10.1016/..

11

Microblog Topic-Words Detection Model for Earthquake Emerge..:

Su, Xiaohui ; Ma, Shurui ; Qiu, Xiaokang...
International Journal of Environmental Research and Public Health. 18 (2021) 15 - p. 8000 , 2021

Link: https://doi.org/10.3390/..

12

Reasoning about recursive tree traversals:

, In: Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,

Wang, Yanjun ; Liu, Jinwei ; Zhang, Dalin. - p. 47-61 , 2021

Link: https://dl.acm.org/doi/1..

13

Vision Paper: Grand Challenges in Resilience: Autonomous Sy..:

Bagchi, Saurabh ; Aggarwal, Vaneet ; Chaterji, Somali...
IEEE Open Journal of the Computer Society. 1 (2020) - p. 155-172 , 2020

Link: https://doi.org/10.1109/..

14

Reconciling enumerative and deductive program synthesis:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Huang, Kangjing ; Qiu, Xiaokang ; Shen, Peiyuan. - p. 1159-1174 , 2020

Link: https://dl.acm.org/doi/1..

15

A Decidable Logic for Tree Data-Structures with Measurement:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Qiu, Xiaokang ; Wang, Yanjun - p. 318-341 , 2019

Link: https://doi.org/10.1007/..