长垣产业园区科技文献服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
起重机械
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
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