搜索页_Slicing

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(44)	SpringerLink电子期刊(675)	GSW全文库(44)
Wiley电子期刊(20)	ProQuest学位论文(48)	Elsevier电子期刊(952)
Springer电子图书(33)	NATURE电子期刊(17)	ACS电子期刊(22)

在“SpringerLink电子期刊”中，命中：675条，耗时：小于0.01 秒

在所有数据库中总计命中：1,855条

1. A static technique for detecting input validation vulnerabilities in Android apps

作者： Zhejun Fang ; Qixu Liu ; Yuqing Zhang ; Kai Wang…

关键词：input validation ; static analysis ; program slicing ; vulnerability detection ; Android security

刊名：SCIENCE CHINA Information Sciences

出版年：2017

2. Experimental research on KDP crystal slicing with resin bonded diamond abrasive wire saw

作者： Mengran Ge ; Wenbo Bi ; Peiqi Ge ; Yuchao Bi

关键词：KDP crystals ; Fixed abrasive wire saw ; Crystal slicing ; Orthogonal test design

刊名：The International Journal of Advanced Manufacturing Technology

出版年：2016

3. Fast slicing orientation determining and optimizing algorithm for least volumetric error in rapid prototyping

作者： Nan Luo ; Quan Wang

关键词：Slicing orientation ; Volumetric error ; Area weighted normal ; Least absolute deviation ; Prominent components analysis

刊名：The International Journal of Advanced Manufacturing Technology

出版年：2016

4. Applying Incremental Model Slicing to Product-Line Regression Testing

关键词：Software product line ; Model ; based testing ; Regression testing ; Model slicing

刊名：Lecture Notes in Computer Science

出版年：2016

5. Experimental Validation of Extended Stratification Model: Part A—Ore with Tracer Particle Studies in a Batch Jig Operation

作者： B. Venkoba Rao ; Rishi Ramesh…

关键词：Extended stratification model ; Tracer particles ; Batch jig ; Partition surface ; Particle segregation

刊名：Transactions of the Indian Institute of Metals

出版年：2017

6. 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

7. Effects of tooth plastic inclination deformation due to spatial cracks on the dynamic features of a gear system

作者： Wennian Yu ; Chris K. Mechefske ; Markus Timusk

关键词：Spatial crack ; Plastic inclination deformations ; Mesh stiffness ; Dynamic load factor

刊名：Nonlinear Dynamics

出版年：2017

8. Rete Network Slicing for Model Queries

关键词：Program slicing ; Model queries ; Graph patterns

刊名：Lecture Notes in Computer Science

出版年：2016

9. Bifurcating Solutions of the Lichnerowicz Equation

作者： Piotr T. Chruściel ; Romain Gicquaud

刊名：Annales Henri Poincaré

出版年：2017

10. Finding Shortest Isothetic Path Inside a 3D Digital Object

关键词：Unit grid cube (UGC) ; Shortest isothetic path (SIP) ; Breadth first search (BFS)

刊名：Lecture Notes in Computer Science

出版年：2017

按检索点细分(675)

题名(226)

关键词(173)

文摘(565)

按出版年细分(675)

2017年(7)

2016年(48)

2015年(57)

2014年(54)

2013年(59)

2012年(48)

2011年(8)

2010年(21)

2009年(22)

2008年(39)

2007年(60)

2006年(52)

2005年(70)

2004年(35)

2003年(30)

2002年(20)

2001年(9)

2000年(11)

2000年及以前(24)

其它(1)