- Implementing End-to-End Register Data-Flow Continuous Self-Test
[作者:Carretero, J; Chaparro, P; Vera, X; Abella, J; Gonzalez, A,期刊:IEEE Transactions on Computers, 页码:1194-1206 , 文章类型: 期刊论文,,卷期:2011年60-8]
- While Moore's Law predicts the ability of semiconductor industry to engineer smaller and more efficient transistors and circuits, there are serious issues not contemplated in that law. One concern is the verification eff...
- RT-PLRU: A New Paging Scheme for Real-Time Execution of Program Codes on NAND Flash Memory for Portable Media Players
[作者:Kim, JC; Lee, D; Lee, CG; Kim, K,期刊:IEEE Transactions on Computers, 页码:1126-1141 , 文章类型: 期刊论文,,卷期:2011年60-8]
- NAND flash memory has been widely used as a nonvolatile storage for storing data. However, it is challenging to execute program codes on NAND flash memory, since NAND flash memory only supports page-based reads, not byte...
- Efficient, Decentralized Computation of the Topology of Spatial Regions
[作者:Duckham, M; Nussbaum, D; Sack, JR; Santoro, N,期刊:IEEE Transactions on Computers, 页码:1100-1113 , 文章类型: 期刊论文,,卷期:2011年60-8]
- The capability to query the topology of spatial regions is fundamental to today's centralized spatial computing systems, like spatial databases and GIS. By contrast, this paper explores decentralized algorithms for compu...
- Introducing Safety Requirements Traceability Support in Model-Driven Development of Robotic Applications
[作者:Sanchez, P; Alonso, D; Rosique, F; Alvarez, B; Pastor, JA,期刊:IEEE Transactions on Computers, 页码:1059-1071 , 文章类型: 期刊论文,,卷期:2011年60-8]
- Requirements traceability is a technique intended to help determine the impact of changes in software design, support their integration, preserve knowledge, and assure the quality and correctness of the overall system. T...
|