Dynamic symbolic execution approach based on tabu search
Beijing hang kong hang tian da xue xue bao ; 41 , 12 ; 2348-2355
2015-01-01
8 pages
Article (Journal)
Unknown
DDC: | 629.13 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Online Contents | 1997
|A Many-Core based Parallel Tabu Search
British Library Online Contents | 2014
|A Many-Core Based Parallel Tabu Search
British Library Online Contents | 2014
|