设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Wiley电子期刊(1)
ProQuest学位论文(5)
Elsevier电子期刊(22)
SpringerLink电子期刊(64)
GSW全文库(1)
在“
Elsevier电子期刊
”中,
命中:
22
条,耗时:0.0539709 秒
在所有数据库中总计命中:
93
条
1.
PF-Miner: A practical paired functions mining method for Android kernel in
error
path
s
作者:
Hu-Qiu Liu
1
;
liuhq11@mails.tsinghua.edu.cn" class="auth_mail" title="E-mail the corresponding author
;
huqiuliu@gmail.com" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Yu-Ping Wang
;
wyp@mail.tsinghua.edu.cn" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Jia-Ju Bai
bjj13@mails.tsinghua.edu.cn" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Shi-Min Hu
shimin@tsinghua.edu.cn" class="auth_mail" title="E-mail the corresponding author
Author Vitae
关键词:
Paired function mining
;
Violations detection
;
Error
path
checking
刊名:Journal of Systems and Software
出版年:2016
2.
Three-dimensional virtual planning and intraoperative navigation for two-jaw orthognathic surgery
作者:
Tatsuo Shirota
a
;
tshirota@dent.showa-u.ac.jp" class="auth_mail" title="E-mail the corresponding author
;
Sunao Shiogama
a
;
Hitoshi Watanabe
a
;
Yuji Kurihara
a
;
Tetsutaro Yamaguchi
b
;
Koutaro Maki
b
;
Takaaki Kamatani
a
;
Seiji Kondo
a
关键词:
Orthognathic surgery
;
Computer simulation
;
Navigation
;
Le Fort I osteotomy
刊名:Journal of Oral and Maxillofacial Surgery, Medicine, and
Path
ology
出版年:2016
3.
Systematically testing OpenFlow controller applications
作者:
Peter Pere&scaron
;
í
;
ni
a
Author Vitae
;
Maciej Kuźniar
a
Author Vitae
;
Marco Canini
;
b
;
marco.canini@uclouvain.be" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Daniele Venzano
c
Author Vitae
;
Dejan Kostić
d
Author Vitae
;
Jennifer Rexford
e
Author Vitae
关键词:
Software-defined networking
;
OpenFlow
;
Reliability
;
Model
checking
;
Symbolic execution
刊名:Computer Networks
出版年:2015
4.
A methodology for mobile crane lift
path
checking
in heavy industrial projects
作者:
Zhen Lei
a
;
zlei@ualberta.ca
;
Hosein Taghaddos
b
;
Ulrich Hermann
b
;
Mohamed Al-Hussein
a
关键词:
Mobile crane
;
Path
planning
;
Industrial project
;
Robotic motion planning
刊名:Automation in Construction
出版年:2013
5.
Design of the coarse-grained reconfigurable architecture DART with on-line
error
detection
作者:
S.M.A.H. Jafri
a
;
jafri@kth.se" class="auth_mail
Author Vitae
;
S.J. Piestrak
b
;
1
;
stanislaw.piestrak@univ-lorraine.fr" class="auth_mail
Author Vitae
;
O. Sentieys
c
;
olivier.sentieys@irisa.fr" class="auth_mail
Author Vitae
;
S. Pillement
d
;
2
;
Sebastien.Pillement@univ-nantes.fr" class="auth_mail
Author Vitae
关键词:
Coarse-grained reconfigurable architecture (CGRA)
;
Fault-tolerant system
;
Reconfigurable system
;
On-line
error
detection
;
Self-
checking
circuit
;
Residue code
;
Arithmetic code
;
Temporary faults
刊名:Microprocessors and Microsystems
出版年:March, 2014
6.
A User-friendly Tool for Model
Checking
Healthcare Workflows
作者:
Adrian Rutle
;
Fazle Rabbi
;
Wendy MacCaull
;
Yngve Lamo
关键词:
Workflow modelling
;
User-friendly verification
;
Model
checking
;
Model-driven engineering
刊名:Procedia Computer Science
出版年:2013
7.
Formal equivalence verification and debugging techniques with auto-correction mechanism for RTL designs
作者:
Bijan Alizadeh
;
Payman Behnam
关键词:
Equivalence
checking
;
Formal verification
;
Debugging
;
RTL designs
刊名:Microprocessors and Microsystems
出版年:November, 2013
8.
Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model
checking
作者:
Matthew L. Bolton
;
Ellen J. Bass
;
Radu I. Siminiceanu
关键词:
Human&ndash
;
automation interaction
;
Model
checking
;
Task analysis
;
Human
error
;
Formal methods
刊名:International Journal of Human-Computer Studies
出版年:2012
9.
Wh-questions: Moving beyond the first phase
作者:
Jill G. de Villiers
a
;
jdevil@science.smith.edu
;
Peter A. de Villiers
a
;
1
;
pdevilli@science.smith.edu
;
Thomas Roeper
b
;
2
;
roeper@linguist.umass.edu
关键词:
SLI
;
African American English
;
wh-questions
;
Long distance wh-movement
;
Feature
checking
刊名:Lingua
出版年:2011
10.
Verifying the consistency of web-based technical documentations
作者:
Christian Schö
;
nberg
;
Franz Weitl
;
Burkhard Freitag
关键词:
Document verification
;
Model
checking
;
Information extraction
;
Document modeling
;
Temporal description logics
刊名:Journal of Symbolic Computation
出版年:2011
1
2
3
按检索点细分(22)
关键词(1)
文摘(16)
按出版年细分(22)
2027年及以后(2)
2016年(2)
2015年(1)
2013年(2)
2012年(1)
2011年(2)
2010年(2)
2009年(1)
2007年(1)
2005年(2)
2003年(1)
2002年(1)
2001年(1)
2000年及以前(3)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.