From post

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.

 

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

High-Level verifiable data-path Synthesis for DSP systems., , , , и . SIU, стр. 1-4. IEEE, (2012)Lot streaming in open shops., и . Oper. Res. Lett., 23 (3-5): 135-142 (1998)An analog behavioral equivalence boundary search methodology for simulink models and circuit level designs utilizing evolutionary computation., , , и . Integr., (2016)Newsvendor competition under asymmetric cost information., , и . Eur. J. Oper. Res., 271 (2): 561-576 (2018)Concurrency-oriented verification and coverage of system-level designs.. ACM Trans. Design Autom. Electr. Syst., 16 (4): 37:1-37:25 (2011)Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing., и . OPODIS, том 3144 из Lecture Notes in Computer Science, стр. 171-183. Springer, (2003)Generation of TLM testbenches using mutation testing., и . CODES+ISSS, стр. 323-332. ACM, (2012)Comparison of Different Parameters of Feedforward Backpropagation Neural Networks in DEM Height Estimation for Different Terrain Types and Point Distributions., и . Syst., 11 (5): 261 (мая 2023)A private contributions game for joint replenishment., , и . Math. Methods Oper. Res., 75 (1): 67-82 (2012)Android'de Cokme Tespitini Iyilestirme Amacli Model-Tabanli ve Rastgele Karma Yontem(Combining Model-Based and Random Approaches to Improve Crash Detection in Android)., , и . UYMS, том 1980 из CEUR Workshop Proceedings, стр. 89-100. CEUR-WS.org, (2017)