A memetic algorithm for program verification

2011 UKSim 5th European Symposium on Computer Modeling and Simulation ◽

10.1109/ems.2011.92 ◽

2011 ◽

Author(s):

Nassima Aleb ◽

Zahia Tamen

Keyword(s):

Program Verification ◽

Memetic Algorithm

Download Full-text

A Hybrid Memetic Algorithm for the Competitive P-Median Problem

13th IFAC Symposium on Information Control Problems in Manufacturing ◽

10.3182/20090603-3-ru-2001.00254 ◽

2009 ◽

Author(s):

Kochetov, Yuri

Keyword(s):

Memetic Algorithm ◽

Median Problem

Download Full-text

Program Verification Techniques Based on the Abstract Interpretation Theory

Journal of Software ◽

10.3724/sp.j.1001.2008.00017 ◽

2008 ◽

Vol 19 (1) ◽

pp. 17-26 ◽

Cited By ~ 5

Author(s):

Meng-Jun LI

Keyword(s):

Program Verification ◽

Abstract Interpretation ◽

Verification Techniques

Download Full-text

Deployment Optimization for Point Air Defense Based on Memetic Algorithm

ACTA AUTOMATICA SINICA ◽

10.3724/sp.j.1004.2010.00242 ◽

2010 ◽

Vol 36 (2) ◽

pp. 242-248 ◽

Cited By ~ 4

Author(s):

Jie CHEN ◽

Chen CHEN ◽

Juan ZHANG ◽

Bin XIN

Keyword(s):

Memetic Algorithm ◽

Air Defense ◽

Deployment Optimization

Download Full-text

A User's Appraisal of an Automated Program Verification Aid

10.21236/adb009033 ◽

1975 ◽

Cited By ~ 1

Author(s):

Larry K. Whipple ◽

Mark A. Pitts

Keyword(s):

Program Verification

Download Full-text

A learning-based memetic algorithm for the multiple vehicle pickup and delivery problem with LIFO loading

Computers & Industrial Engineering ◽

10.1016/j.cie.2019.106241 ◽

2020 ◽

Vol 142 ◽

pp. 106241

Author(s):

Bo Peng ◽

Yuan Zhang ◽

Zhipeng Lü ◽

T.C.E. Cheng ◽

Fred Glover

Keyword(s):

Memetic Algorithm ◽

Pickup And Delivery ◽

Delivery Problem ◽

Pickup And Delivery Problem

Download Full-text

Expected Runtime Analyis by Program Verification

Foundations of Probabilistic Programming ◽

10.1017/9781108770750.007 ◽

2020 ◽

pp. 185-220

Keyword(s):

Program Verification

Download Full-text

Maximizing the Coverage of Sensor Deployments Using a Memetic Algorithm and Fast Coverage Estimation

IEEE Transactions on Cybernetics ◽

10.1109/tcyb.2021.3075986 ◽

2021 ◽

pp. 1-12

Author(s):

Yourim Yoon ◽

Yong-Hyuk Kim

Keyword(s):

Memetic Algorithm ◽

Coverage Estimation

Download Full-text

An energy aware grouping memetic algorithm to schedule the sensing activity in WSNs-based IoT for smart cities

Applied Soft Computing ◽

10.1016/j.asoc.2021.107473 ◽

2021 ◽

pp. 107473

Author(s):

Mohammad Bagher Dowlatshahi ◽

Marjan Kuchaki Rafsanjani ◽

Brij B. Gupta

Keyword(s):

Memetic Algorithm ◽

Smart Cities ◽

Energy Aware

Download Full-text

A light-robust-optimization model and an effective memetic algorithm for an open vehicle routing problem under uncertain travel times

Memetic Computing ◽

10.1007/s12293-020-00322-5 ◽

2021 ◽

Author(s):

Liang Sun ◽

Quan-ke Pan ◽

Xue-Lei Jing ◽

Jiang-Ping Huang

Keyword(s):

Robust Optimization ◽

Vehicle Routing ◽

Optimization Model ◽

Vehicle Routing Problem ◽

Memetic Algorithm ◽

Travel Times ◽

Routing Problem ◽

Open Vehicle Routing Problem ◽

Open Vehicle Routing

Download Full-text

The capacitated dispersion problem: an optimization model and a memetic algorithm

Memetic Computing ◽

10.1007/s12293-020-00318-1 ◽

2021 ◽

Author(s):

Rafael Martí ◽

Anna Martínez-Gavara ◽

Jesús Sánchez-Oro

Keyword(s):

Optimization Model ◽

Memetic Algorithm ◽

Dispersion Problem

Download Full-text