设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
CNKI学位论文(32)
知网期刊论文(9)
在“
SpringerLink电子期刊
”中,
命中:
14
条,耗时:小于0.01 秒
在所有数据库中总计命中:
41
条
1.
Model checking of state-rich formalism
by linking to
\(CSP\,\Vert \,B\)
作者:
Kangfeng Ye…
关键词:
\(CSP \parallel B\)
;
CSP
ZB ;
ProB
;
Model checking
;
Buffer
刊名:International Journal on Software Tools for Technology Transfer
出版年:2017
2.
Towards a verified compiler prototype for the synchronous language SIGNAL
作者:
Zhibin Yang
;
Jean-Paul Bodeveix
;
Mamoun Filali
;
Kai Hu…
关键词:
synchronous languages
;
SIGNAL
;
guarded
actions
;
verified compiler
;
Coq
;
architecture analysis and design language (AADL)
刊名:Frontiers of Computer Science in China
出版年:2016
3.
Representation of synchronous, asynchronous, and polychronous components by clocked
guarded
actions
作者:
Jens Brandt
;
Mike Gemünde
;
Klaus Schneider…
关键词:
Models of computation
;
Co
;
simulation
;
Synchronous vs. asynchronous models
;
Guarded
command language
刊名:Design Automation for Embedded Systems
出版年:2014
4.
The demographic consequences of mutualism: ants increase host-plant fruit production but not population growth
作者:
Kevin R. Ford
;
Joshua H. Ness
;
Judith L. Bronstein
;
William F. Morris
关键词:
Ant plant
;
Cactus demography
;
Integral projection model
;
Protection mutualism
;
Sonoran Desert
刊名:Oecologia
出版年:2015
5.
Melton: a practical and precise memory leak detection tool for C programs
作者:
Zhenbo Xu
;
Jian Zhang
;
Zhongxing Xu
关键词:
memory leak
;
bug finding
;
static analysis
;
symbolic execution
刊名:Frontiers of Computer Science in China
出版年:2015
6.
Multi-rate System Design Through Integrating Synchronous Components
关键词:
Synchronous programming
;
Component
;
based design
;
Affine relation
;
Symbolic schedule
刊名:Lecture Notes in Computer Science
出版年:2015
7.
An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata
刊名:Lecture Notes in Computer Science
出版年:2015
8.
Recasting Border Crossing Politics and Pedagogies to Combat Educational Inequity: Experiences, Identities, and Perceptions of Latino/a Immigrant Youth
作者:
Camille M. Wilson (1)
Lucila D. Ek (2)
Ty-Ron M. O. Douglas (3)
关键词:
Immigrants
;
Diversity
;
Border crossing
刊名:The Urban Review
出版年:2014
9.
Multi-threaded code generation from Signal program to OpenMP
作者:
Kai Hu (1)
Teng Zhang (2)
Zhibin Yang (2) (3)
关键词:
multi
;
thread
;
synchronous language
;
Signal
;
code generation
;
OpenMP
刊名:Frontiers of Computer Science in China
出版年:2013
10.
Formal Verification of Hardware Synthesis
作者:
Thomas Braibant (18)
Adam Chlipala (19)
刊名:Lecture Notes in Computer Science
出版年:2013
1
2
按检索点细分(14)
题名(1)
关键词(1)
文摘(14)
按出版年细分(14)
2017年(1)
2016年(1)
2015年(4)
2014年(2)
2013年(2)
2008年(2)
2007年(2)
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
.