搜索页_Lightweight+tools

设为首页

收藏本站

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

外文资源

Springer电子图书(4)	ProQuest学位论文(19)	ACS电子期刊(3)
SpringerLink电子期刊(232)	Elsevier电子期刊(133)

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

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

1. A Lightweight Approach for Detection of Code Smells

作者： Ghulam Rasool ; Zeeshan Arshad

关键词：Code smells ; Code flaws ; SQL ; Regular expressions ; Refactoring

刊名：Arabian Journal for Science and Engineering

出版年：2017

2. Cobra: a light-weight tool for static and dynamic program analysis

作者： Gerard J. Holzmann

关键词：Static analysis ; Source code analysis ; Lightweight tools ; Token expression matching ; Dynamic analysis ; Runtime verification

刊名：Innovations in Systems and Software Engineering

出版年：2017

3. Milling of titanium alloy with cryogenic cooling and minimum quantity lubrication (MQL)

作者： Kyung-Hee Park ; Mohd Azlan Suhaimi…

关键词：Titanium alloy ; Cryogenic machining ; MQL ; Tool wear ; Cutting force

刊名：International Journal of Precision Engineering and Manufacturing

出版年：2017

4. A method for designing lightweight and flexible creep-age forming tools using mechanical splines and sparse controlling points

作者： Aaron C. L. Lam ; Zhusheng Shi ; Jianguo Lin…

关键词：Creep ; age forming (CAF) ; Lightweight flexible CAF tools ; Modular tool design ; Tool offsetting algorithm ; Inversed Macaulay’s method ; Euler ; Bernoulli beam theory

刊名：The International Journal of Advanced Manufacturing Technology

出版年：2015

5. Building program construction and verification tools from algebraic principles

作者： Alasdair Armstrong ; Victor B. F. Gomes ; Georg Struth

关键词：Program construction ; Program verification ; Semantics of imperative programs ; Algebras of programs ; Formalised mathematics ; Interactive theorem proving ; Automated theorem proving

刊名：Formal Aspects of Computing

出版年：2016

6. Evaluating the effect of a lightweight formal technique in industry

作者： Ammar Osaiweran ; Mathijs Schuts…

关键词：Formal methods ; Industrial application ; Code generation ; Component ; based design ; Compositional verification

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

出版年：2016

7. Visual search tree profiling

作者： Maxim Shishmarev ; Christopher Mears ; Guido Tack ; Maria Garcia de la Banda

关键词：Constraint programming ; Search tree ; Profiling ; Comparison ; Visualisation

刊名：Constraints

出版年：2016

8. Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers

关键词：Case study ; Safety ; critical systems ; SMT ; based verification ; Lightweight formal methods

刊名：Lecture Notes in Computer Science

出版年：2016

9. Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2

作者： Nicola Prezza ; Francesco Vezzi ; Max Käller ; Alberto Policriti

关键词：Bisulfite ; DNA methylation ; NGS ; Succinct hashing ; BWT

刊名：BMC Bioinformatics

出版年：2016

10. Cloud based centralized task control for human domain multi-robot operations

作者： Rob Janssen ; René van de Molengraft ; Herman Bruyninckx…

关键词：Service robots ; Knowledge engineering ; Centralized control ; Cloud computing

刊名：Intelligent Service Robotics

出版年：2016

按检索点细分(232)

题名(5)

关键词(4)

文摘(176)

按出版年细分(232)

2017年(3)

2016年(21)

2015年(22)

2014年(27)

2013年(16)

2012年(25)

2011年(5)

2010年(11)

2009年(8)

2008年(11)

2007年(23)

2006年(13)

2005年(20)

2004年(12)

2003年(3)

2002年(11)

2000年及以前(1)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

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

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