Author of the publication

Formal verification of DEVS simulation: web search engine model case study.

, , , and . SummerSim, page 18. Society for Computer Simulation International / ACM DL, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compressed filesystem for managing large genome collections, , , and . Bioinformatics, 35 (20): 4120-4128 (March 2019)A DFT-Based Running Time Prediction Algorithm for Web Queries., , and . Future Internet, 13 (8): 204 (2021)A Simulation Tool to Provide Alternative Products in Out-of-Stock Situations for B2B Companies., , and . WSC, page 1-12. IEEE, (2021)An empirical evaluation of a distributed clustering-based index for metric space databases., , and . ICDE Workshops, page 386-393. IEEE Computer Society, (2008)Simulation model for energy assessment in ISP and web search engine collaboration., , , and . SummerSim, page 23. SCS/ ACM, (2014)Energysim: an energy consumption simulator for web search engine processors., , , and . SummerSim, page 18:1-18:12. Society for Computer Simulation International / ACM DL, (2017)Load Balance Strategies for DEVS Approximated Parallel and Distributed Discrete-Event Simulations., , , and . PDP, page 337-340. IEEE Computer Society, (2015)Elastic and Real-time Capacity Planning for Web Search Engines., , and . PDP, page 331-338. IEEE, (2020)Load Balancing Query Processing in Metric-Space Similarity Search., and . CCGRID, page 368-375. IEEE Computer Society, (2012)Improving the Network of Search Engine Services Through Application-Driven Routing., , , , and . Euro-Par, volume 10417 of Lecture Notes in Computer Science, page 638-650. Springer, (2017)