( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MODIST: Transparent Model Checking of Unmodified Distributed Systems.

, , , , , , , , , и . NSDI, стр. 213-228. USENIX Association, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Ning Zhang

Gang Zhang

Xianghui Zhang

 

Другие публикации лиц с тем же именем

Episodic Memory Deep Q-Networks., , , и . IJCAI, стр. 2433-2439. ijcai.org, (2018)OpEvo: An Evolutionary Method for Tensor Operator Optimization., , , и . CoRR, (2020)Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement., , , и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 457-461. Springer, (2004)Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation., и . CP, том 2470 из Lecture Notes in Computer Science, стр. 200-215. Springer, (2002)FlexSaaS: A Reconfigurable Accelerator for Web Search Selection., , , , , , , , и . ACM Trans. Reconfigurable Technol. Syst., 12 (1): 5:1-5:20 (2019)Joint optimization of resource allocation and computation offloading based on game coalition in C-V2X., , , и . Ad Hoc Networks, (ноября 2023)Vigilante: End-to-end containment of Internet worm epidemics., , , , , , и . ACM Trans. Comput. Syst., 26 (4): 9:1-9:68 (2008)Socksdirect: datacenter sockets can be fast and compatible., , , , и . SIGCOMM, стр. 90-103. ACM, (2019)Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs., , , , и . ICCAD, стр. 286-292. IEEE Computer Society, (2001)Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver., , , , и . DAC, стр. 747-750. ACM, (2002)