From post

Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs.

, и . GECCO, стр. 1119-1126. ACM, (2015)

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.

 

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

Shadowless-illuminated variable-angle TIRF (siva-TIRF) microscopy for the observation of spatial-temporal dynamics in live cells., , , , , , и . Biomedical optics express, 5 (5): 1530--40 (мая 2014)Land Cover Spurious Change Detection Using a geo-eco Zoning Rule Base1., , , и . IGARSS, стр. 6507-6510. IEEE, (2019)Ontology constructing for Chinese medicine knowledge of Beng Lou., , , , и . Healthcom, стр. 1-6. IEEE, (2017)Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming., и . SSS, том 8255 из Lecture Notes in Computer Science, стр. 370-372. Springer, (2013)New Techniques of Remote Sensing in the University of Architecture and Planning., , и . IGARSS (2), стр. 642-645. IEEE, (2009)Research on Speedup Ratio Based on Reduction and Critical., , , и . AAIA, стр. 319-325. ACM, (2023)Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem., , и . IEEE Congress on Evolutionary Computation, стр. 2601-2608. IEEE, (2014)A Hybrid Watermarking Scheme for Video Authentication., , и . ICIP, стр. 2569-2572. IEEE, (2006)Research on different slicing methods of acquiring LAI from terrestrial laser scanner data., , , и . ICSDM, стр. 295-299. IEEE, (2011)A Study of Chinese Word Segmentation Based on the Characteristics of Chinese., , , , , и . GSCL, том 8105 из Lecture Notes in Computer Science, стр. 111-118. Springer, (2013)