搜索页_nested+loop+algorithm

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

Springer电子图书(1)	ProQuest学位论文(7)	ACS电子期刊(3)
SpringerLink电子期刊(92)	Elsevier电子期刊(42)

在“SpringerLink电子期刊”中，命中：92条，耗时：0.0219885 秒

在所有数据库中总计命中：145条

1. The UTFLA: uniformization of non-uniform iteration spaces in two-level perfect nested loops using SFLA

作者： Shabnam Mahjoub ; Hakimeh Vojoudi

刊名：The Journal of Supercomputing

出版年：2016

2. Interpreting the cross-sectional flow field in a river bank based on a genetic-algorithm two-dimensional heat-transport method (GA-VS2DH)

作者： Xiaoru Su ; Longcang Shu ; Xunhong Chen ; Chengpeng Lu ; Zhonghui Wen

关键词：Flow field ; River bank ; GA ; VS2DH ; Inverse modeling ; Groundwater/surface ; water relations

刊名：Hydrogeology Journal

出版年：2016

3. Robust topology optimization for dynamic compliance minimization under uncertain harmonic excitations with inhomogeneous eigenvalue analysis

作者： Xiaopeng Zhang ; Zhan Kang ; Wenbo Zhang

关键词：Robust topology optimization ; Vibration ; Load uncertainty ; Dynamic compliance ; Convex model ; Inhomogeneous eigenvalue

刊名：Structural and Multidisciplinary Optimization

出版年：2016

4. Using basis dependence distance vectors in the modified Floyd–Warshall algorithm

作者： W?odzimierz Bielecki ; Krzysztof Kraska…

关键词：Basis dependence vectors ; Transitive closure ; Floyd–Warshall algorithm ; Arbitrarily nested loop ; Parallelizing compiler

刊名：Journal of Combinatorial Optimization

出版年：2015

5. A Cooperative Structure-Redesigned-Based Bacterial Foraging Optimization with Guided and Stochastic Movements

关键词：Cooperative bacterial foraging optimization ; Movement strategy ; Structure ; redesigned

刊名：Lecture Notes in Computer Science

出版年：2016

6. Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic

作者： Nuno P. Lopes ; José Monteiro

刊名：International Journal on Software Tools for Technology Transfer (STTT)

出版年：2016

7. Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms

刊名：Lecture Notes in Computer Science

出版年：2016

8. Preference Join on Heterogeneous Data

刊名：Lecture Notes in Computer Science

出版年：2016

9. The Matrix Reproved (Verification Pearl)

刊名：Lecture Notes in Computer Science

出版年：2016

10. Towards Antichain Algebra

关键词：Preference relations ; Maximal objects ; Block ; nested loop algorithm ; Lattice theory ; Galois connections

刊名：Lecture Notes in Computer Science

出版年：2015

1

2

3

4

5

6

7

8

9

按检索点细分(92)

关键词(3)

文摘(83)

按出版年细分(92)

2016年(8)

2015年(3)

2014年(6)

2013年(4)

2012年(7)

2010年(2)

2009年(6)

2008年(4)

2007年(12)

2006年(5)

2005年(12)

2004年(2)

2003年(4)

2002年(5)

2001年(1)

2000年(5)

2000年及以前(6)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700