搜索页_+program+transformation+

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(8)	SpringerLink电子期刊(2080)	GSW全文库(23)
Wiley电子期刊(28)	ProQuest学位论文(527)	Elsevier电子期刊(2370)
Springer电子图书(39)	NATURE电子期刊(9)	ACS电子期刊(50)

在“SpringerLink电子期刊”中，命中：2,080条，耗时：0.0289849 秒

在所有数据库中总计命中：5,134条

1. Maximal incompleteness as obfuscation potency

作者： Roberto Giacobazzi ; Isabella Mastroeni ; Mila Dalla Preda

关键词：Abstract interpretation ; Static program analysis ; Program semantics ; Program transformation ; Lattice theory ; Closure operators ; Code obfuscation

刊名：Formal Aspects of Computing

出版年：2017

2. Understanding co-run performance on CPU-GPU integrated processors: observations, insights, directions

作者： Qi Zhu ; Bo Wu ; Xipeng Shen ; Kai Shen ; Li Shen…

关键词：performance analysis ; GPGPU ; co ; run degradation ; fused processor ; program transformation

刊名：Frontiers of Computer Science

出版年：2017

3. Prioritization and Aggregation of Intuitionistic Preference Relations: A Multiplicative-Transitivity-Based Transformation from Intuitionistic Judgment Data to Priority Weights

作者： Yibin Zhang ; Kevin W. Li ; Zhou-Jing Wang

关键词：Intuitionistic preference relation (IPR) ; Multiplicative consistency ; Intuitionistic fuzzy weight ; Aggregation ; Linear programming

刊名：Group Decision and Negotiation

出版年：2017

4. Fast recovery of transgenic submergence tolerant rice cultivars of North-East India by early co-cultivation of Agrobacterium with pre-cultured callus

作者： Van Cuu Nguyen ; Van Khiem Nguyen…

关键词：Rice transformation ; Agrobacterium ; North ; East rice germplasm ; Submergence tolerance

刊名：Physiology and Molecular Biology of Plants

出版年：2017

5. ‘Glocal’ discussion as leverage. Debating urban sustainability in Bogotá

作者： Manuel Rivera

关键词：Urban studies ; Sustainable Development Goals (SDGs) ; Transdisciplinarity ; Bogotá ; Transformation

刊名：Journal of Environmental Studies and Sciences

出版年：2017

6. A Thermo-Plastic-Martensite Transformation Coupled Constitutive Model for Hot Stamping

作者： Zhu Bin ; Liang WeiKang ; Gui Zhongxiang…

刊名：Metallurgical and Materials Transactions A

出版年：2017

7. Transformative Learning, Enactivism, and Affectivity

作者： Michelle Maiese

关键词：Transformative learning ; Frames of reference ; Affectivity ; Enactivism ; Emotion

刊名：Studies in Philosophy and Education

出版年：2017

8. Decadal Changes in Water Quality and Net Productivity of a Shallow Danish Estuary Following Significant Nutrient Reductions

作者： Peter A. Staehr ; Jeremy Testa ; Jacob Carstensen

关键词：Oligotrophication ; Box model ; Long ; term monitoring ; Water quality ; Net ecosystem production

刊名：Estuaries and Coasts

出版年：2017

9. Abstract conjunctive partial deduction for the analysis and compilation of coroutines

作者： Vincent Nys ; Danny De Schreye

关键词：Coroutines ; Compiling control ; Abstract conjunctive partial deduction

刊名：Formal Aspects of Computing

出版年：2017

10. Semantically Non-preserving Transformations for Antivirus Evaluation

刊名：Lecture Notes in Computer Science

出版年：2017

按检索点细分(2080)

题名(122)

关键词(139)

文摘(1831)