长垣产业园区科技文献服务平台

期刊


ISSN1751-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 propertiesT. Launiainen; K. Heljanko; T. Junttila20112011, vol.5, no.6
Long-run order-independence of vector-based transition systemsM. Raffelsieper; M. R. Mousavi; H. Zantema20112011, vol.5, no.6
Routing of asynchronous Clos networksW. Song; D. Edwards; Z. Liu; S. Dasgupta20112011, vol.5, no.6
Signal transition graph decomposition: internal communication for speed independent circuit implementationD. Wist; M. Schaefer; W. Vogler; R. Wollowski20112011, vol.5, no.6
Encoding of processor instruction sets with explicit concurrency controlA. Mokhov; A. Alekseyev; A. Yakovlev20112011, vol.5, no.6
Ranking of input cubes based on their lingering synchronisation effects and their use in random sequential test generationI. Pomeranz; S. M. Reddy20112011, vol.5, no.5
Sizes of test sets for path delay faults using strong and weak non-robust testsI. Pomeranz; S. M. Reddy20112011, vol.5, no.5
Improving the speed of decimal divisionA. Kaivani; A. Hosseiny; G. Jaberipur20112011, vol.5, no.5
Reordering the assembly instructions in basic blocks to reduce switching activities on the instruction busN. Chabini; M. C. Wolf20112011, vol.5, no.5
Low energy multi-stage level converter for sub-threshold logicH. Shao; X. Li; C. Y. Tsui20112011, vol.5, no.5
12345