The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 08 - August (vol. 60)
ISSN: 0018-9340
Special Section on Science of Design for Safety Critical Systems

Introducing Safety Requirements Traceability Support in Model-Driven Development of Robotic Applications (Abstract)

Pedro Sánchez , Technical University of Cartagena, Cartagena
Diego Alonso , Technical University of Cartagena, Cartagena
Bárbara Álvarez , Technical University of Cartagena, Cartagena
Juan A. Pastor , Technical University of Cartagena, Cartagena
Francisca Rosique , Technical University of Cartagena, Cartagena
pp. 1059-1071

Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems (Abstract)

Carol S. Smidts , Ohio State University, Columbus
Irem Y. Tumer , Oregon State University, Corvallis
pp. 1072-1084

Efficient Reachability Analysis for Time Petri Nets (Abstract)

Rachid Hadjidj , Qatar university
Hanifa Boucheneb , Ecole Polytechnique de Montreal, Montreal
pp. 1085-1099
Regular Papers

Efficient, Decentralized Computation of the Topology of Spatial Regions (Abstract)

Doron Nussbaum , Carleton University, Ottawa
Jörg-Rüdiger Sack , Carleton University, Ottawa
Nicola Santoro , Carleton University, Ottawa
Matt Duckham , The University of Melbourne, Melbourne
pp. 1100-1113

Redundancy Mining for Soft Error Detection in Multicore Processors (Abstract)

Ransford Hyman, , University of South Florida, Tampa
Koustav Bhattacharya , University of South Florida, Tampa
Nagarajan Ranganathan , University of South Florida, Tampa
pp. 1114-1125

RT-PLRU: A New Paging Scheme for Real--Time Execution of Program Codes on NAND Flash Memory for Portable Media Players (Abstract)

Duhee Lee , Seoul National University, Seoul
Chang-Gun Lee , Seoul National University, Seoul
Kanghee Kim , Soongsil University, Seoul
Jong-Chan Kim , Seoul National University, Seoul
pp. 1126-1141

A New Placement-Ideal Layout for Multiway Replication Storage System (Abstract)

Jun Wang , University of Central Florida, Orlando
Peng Gu , University of Central Florida, Orlando
Huijun Zhu , University of Central Florida, Orlando
Pengju Shang , University of Central Florida, Orlando
pp. 1142-1156

Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions (Abstract)

Ali Movaghar , Sharif University of Technology, Tehran
Mehdi Kargahi , University of Tehran, Tehran
pp. 1169-1181

A Power and Throughput-Efficient Packet Classifier with n Bloom Filters (Abstract)

Heeyeol Yu , Texas A&M University, College Station
Rabi N. Mahapatra , Texas A&M University, College Station
pp. 1182-1193

Implementing End-to-End Register Data-Flow Continuous Self-Test (Abstract)

Antonio González , Intel Barcelona Research Center, Barcelona
Jaume Abella , Intel Barcelona Research Center, Barcelona
Javier Carretero , Intel Barcelona Research Center, Barcelona
Xavier Vera , Intel Barcelona Research Center, Barcelona
Pedro Chaparro , Intel Barcelona Research Center, Barcelona
pp. 1194-1206
Brief Contributions

Efficient Multi-Input/Multi-Output VLSI Architecture for Two-Dimensional Lifting-Based Discrete Wavelet Transform (Abstract)

Xin Tian , Huazhong University of Science and Technology, WuHan
Lin Wu , Huazhong University of Science and Technology, WuHan
Yi-Hua Tan , Huazhong University of Science and Technology, WuHan
Jin-Wen Tian , Huazhong University of Science and Technology, WuHan
pp. 1207-1211

Improved n-Term Karatsuba-Like Formulas in GF(2) (Abstract)

Ivan Oseledets , Institute of Numerical Mathematics, Moscow
pp. 1212-1216
100 ms
(Ver )