先进制造业知识服务平台
国家科技图书文献中心机械分馆 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台
主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
1751-8601
刊名
IET Computers & Digital Techniques
参考译名
IET计算机与数字技术
收藏年代
2007~2012
关联期刊
参考译名
收藏年代
IEE Proceedings
英国电气工程师学会论文集:计算机与数字技术
1999~2006
全部
2007
2008
2009
2010
2011
2012
2011, vol.5, no.1
2011, vol.5, no.2
2011, vol.5, no.3
2011, vol.5, no.4
2011, vol.5, no.5
2011, vol.5, no.6
题名
作者
出版年
年卷期
Efficient model checking of PSL safety properties
T. Launiainen; K. Heljanko; T. Junttila
2011
2011, vol.5, no.6
Long-run order-independence of vector-based transition systems
M. Raffelsieper; M. R. Mousavi; H. Zantema
2011
2011, vol.5, no.6
Routing of asynchronous Clos networks
W. Song; D. Edwards; Z. Liu; S. Dasgupta
2011
2011, vol.5, no.6
Signal transition graph decomposition: internal communication for speed independent circuit implementation
D. Wist; M. Schaefer; W. Vogler; R. Wollowski
2011
2011, vol.5, no.6
Encoding of processor instruction sets with explicit concurrency control
A. Mokhov; A. Alekseyev; A. Yakovlev
2011
2011, vol.5, no.6
Ranking of input cubes based on their lingering synchronisation effects and their use in random sequential test generation
I. Pomeranz; S. M. Reddy
2011
2011, vol.5, no.5
Sizes of test sets for path delay faults using strong and weak non-robust tests
I. Pomeranz; S. M. Reddy
2011
2011, vol.5, no.5
Improving the speed of decimal division
A. Kaivani; A. Hosseiny; G. Jaberipur
2011
2011, vol.5, no.5
Reordering the assembly instructions in basic blocks to reduce switching activities on the instruction bus
N. Chabini; M. C. Wolf
2011
2011, vol.5, no.5
Low energy multi-stage level converter for sub-threshold logic
H. Shao; X. Li; C. Y. Tsui
2011
2011, vol.5, no.5
1
2
3
4
5
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024