设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(2)
CNKI会议论文(4)
CNKI期刊论文0611(12)
Springer电子图书(5)
CNKI学位论文(5601)
知网期刊论文(4042)
在“
SpringerLink电子期刊
”中,
命中:
417
条,耗时:0.0149903 秒
在所有数据库中总计命中:
9,666
条
1.
Automatically Proving Termination and
Memory
Safety
for Programs with Pointer Arithmetic
作者:
Thomas Ströder
;
Jürgen Giesl
;
Marc Brockschmidt…
关键词:
LLVM
C ;
programs
;
Termination
;
Memory
Safety
;
Symbolic Execution
刊名:Journal of Automated Reasoning
出版年:2017
2.
Formal Verification of a
Memory
Allocation Module of Contiki with
Frama-C
: A Case Study
关键词:
Deductive verification
;
Specification
;
\(\textsc {Frama}\text {
;
}\textsc {C}\)
;
Contiki
;
Memory
allocation
刊名:Lecture Notes in Computer Science
出版年:2017
3.
Phase I–II study of lenalidomide and alemtuzumab in refractory chronic lymphocytic leukemia (CLL): effects on T cells and immune checkpoints
作者:
Maria Winqvist
;
Fariba Mozaffari
;
Marzia Palma…
关键词:
Chronic lymphocytic leukemia
;
Lenalidomide
;
Alemtuzumab
;
T cells
;
Immune checkpoints
刊名:Cancer Immunology, Immunotherapy
出版年:2017
4.
An operational happens-before
memory
model
作者:
Yang Zhang
;
Xinyu Feng
关键词:
relaxed
memory
model
;
happens
;
before
;
operatonal semantics
;
DRF
;
Guarantee
;
JMM
刊名:Frontiers of Computer Science in China
出版年:2016
5.
Novel Designs for
Memory
Checkers Using Semantics and Digital Sequential Circuits
关键词:
Operational semantics
;
Separation logic
;
Memory
;
safety
;
Parallel programs
;
Digital sequential circuits
刊名:Lecture Notes in Computer Science
出版年:2015
6.
AUSPICE: Automatic
Safety
Property Verification for Unmodified E
刊名:Lecture Notes in Computer Science
出版年:2016
7.
The influence of
memory
on indoor environment exploration: A numerical study
作者:
Vaisagh Viswanathan
;
Michael Lees
;
Peter M. A. Sloot
刊名:Behavior Research Methods
出版年:2016
8.
Specifying the Concept of Future Generations for Addressing Issues Related to High-Level Radioactive Waste
作者:
Celine Kermisch
关键词:
Future generations
;
Geological disposal
;
Nuclear power
;
Radioactive waste
;
Safety
;
Security
刊名:Science and Engineering Ethics
出版年:2016
9.
A randomized trial of the efficacy and
safety
of quilizumab in adults with inadequately controlled allergic asthma
作者:
Jeffrey M. Harris
;
Romeo Maciuca
;
Mary S. Bradley…
关键词:
Allergic asthma
;
Biomarkers
;
COSTA
;
IgE
;
M1 prime
;
Quilizumab
;
Exacerbations
;
FEV1
刊名:Respiratory Research
出版年:2016
10.
Weak
Memory
Models as LLVM-to-LLVM Transformations
刊名:Lecture Notes in Computer Science
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(417)
题名(19)
关键词(15)
文摘(390)
按出版年细分(417)
2017年(3)
2016年(28)
2015年(35)
2014年(50)
2013年(41)
2012年(33)
2011年(12)
2010年(18)
2009年(32)
2008年(24)
2007年(40)
2006年(20)
2005年(22)
2004年(9)
2003年(18)
2002年(12)
2001年(4)
2000年(4)
2000年及以前(12)
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
.