IEEE Transactions on Computers, Volume 60

Volume 60, Number 1, January 2011

• Fabrizio Lombardi:
  Editorial. 1
  
• Albert Y. Zomaya:
  State of the Journal. 2
  
• Dimitris Gizopoulos, Shubhendu Mukherjee:
  Guest Editors' Introduction: Special Section on Dependable Computer Architecture. 3-4
  
• Shantanu Gupta, Shuguang Feng, Amin Ansari, Scott A. Mahlke:
  StageNet: A Reconfigurable Fabric for Constructing Dependable CMPs. 5-19
  
• Somnath Paul, Fang Cai, Xinmiao Zhang, Swarup Bhunia:
  Reliability-Driven ECC Allocation for Multiple Bit Error Resilience in Processor Cache. 20-34
  
• Amin Ansari, Shantanu Gupta, Shuguang Feng, Scott A. Mahlke:
  Maximizing Spare Utilization by Virtually Reorganizing Faulty Cache Lines. 35-49
  
• Alaa R. Alameldeen, Zeshan Chishti, Chris Wilkerson, Wei Wu, Shih-Lien Lu:
  Adaptive Cache Design to Enable Reliable Low-Voltage Operation. 50-63
  
• Suzhen Wu, Hong Jiang, Dan Feng, Lei Tian, Bo Mao:
  Improving Availability of RAID-Structured Storage Systems by Workload Outsourcing. 64-79
  
• Soojun Im, Dongkun Shin:
  Flash-Aware RAID Techniques for Dependable and High-Performance Flash Memory SSD. 80-92
  
• Weikang Qian, Xin Li, Marc D. Riedel, Kia Bazargan, David J. Lilja:
  An Architecture for Fault-Tolerant Computation with Stochastic Logic. 93-105
  
• Hwanju Kim, Heeseung Jo, Joonwon Lee:
  XHive: Efficient Cooperative Caching for Virtual Machines. 106-119
  
• Zhenyu Zhong, Kang Li:
  Speed Up Statistical Spam Filter by Approximation. 120-134
  
• Krzysztof Jankowski, Pierre Laurent:
  Packed AES-GCM Algorithm Suitable for AES/PCLMULQDQ Instructions. 135-138
  

Volume 60, Number 2, February 2011

• Javier D. Bruguera, Marius Cornea, Debjit Das Sarma:
  Guest Editors' Introduction: Special Section on Computer Arithmetic. 145-147
  
• Fabrizio Lamberti, Nikolaos Andrikos, Elisardo Antelo, Paolo Montuschi:
  Reducing the Computation Time in (Short Bit-Width) Two's Complement Multipliers. 148-156
  
• Sylvie Boldo, Jean-Michel Muller:
  Exact and Approximated Error of the FMA. 157-164
  
• Niels Moller, Torbjörn Granlund:
  Improved Division by Invariant Integers. 165-175
  
• Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman:
  Simulation-Based Verification of Floating-Point Division. 176-188
  
• Vassil S. Dimitrov, Kimmo U. Järvinen, Jithra Adikari:
  Area-Efficient Multipliers Based on Multiple-Radix Representations. 189-201
  
• Mark G. Arnold, Sylvain Collange:
  A Real/Complex Logarithmic Number System ALU. 202-213
  
• Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy:
  Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation. 214-227
  
• Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux:
  Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic. 228-241
  
• Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond:
  Certifying the Floating-Point Implementation of an Elementary Function Using Gappa. 242-253
  
• Jithra Adikari, Vassil S. Dimitrov, Laurent Imbert:
  Hybrid Binary-Ternary Number System for Elliptic Curve Cryptosystems. 254-265
  
• Jean-Luc Beuchat, Jérémie Detrey, Nicolas Estibals, Eiji Okamoto, Francisco Rodríguez-Henríquez:
  Fast Architectures for the \eta_T Pairing over Small-Characteristic Supersingular Elliptic Curves. 266-281
  
• Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux:
  Performing Arithmetic Operations on Round-to-Nearest Representations. 282-291
  
• Xue-Liang Liao, Shi Bai, Yu-Ping Wang, Shi-Min Hu:
  ISRA-Based Grouping: A Disk Reorganization Approach for Disk Energy Conservation and Disk Performance Enhancement. 292-304
  

Volume 60, Number 3, March 2011

• Yuan-Hao Chang, Tei-Wei Kuo:
  A Management Strategy for the Reliability and Performance Improvement of MLC-Based Flash-Memory Storage Systems. 305-320
  
• Youngwoo Park, Kyu Ho Park:
  High-Performance Scalable Flash File System Using Virtual Metadata Storage with Phase-Change RAM. 321-334
  
• Ningde Xie, Guiqiang Dong, Tong Zhang:
  Using Lossless Data Compression in Data Storage Systems: Not for Saving Space. 335-345
  
• Kai Zheng, Hongbin Lu, Erich M. Nahum:
  Scalable Pattern Matching on Multicore Platform via Dynamic Differentiated Distributed Detection (D⁴). 346-359
  
• Ziliang Zong, Adam Manzanares, Xiaojun Ruan, Xiao Qin:
  EAD and PEBD: Two Energy-Aware Duplication Scheduling Algorithms for Parallel Tasks on Homogeneous Clusters. 360-374
  
• Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury:
  A Parallel Efficient Architecture for Large Cryptographically Robust n × k (k>n/2) Mappings. 375-385
  
• Xiang-Yang Li, Yajun Wang, Yu Wang:
  Complexity of Data Collection, Aggregation, and Selection for Wireless Sensor Networks. 386-399
  
• Miao Zhao, Ming Ma, Yuanyuan Yang:
  Efficient Data Gathering with Mobile Collectors and Space-Division Multiple Access Technique in Wireless Sensor Networks. 400-417
  
• Antonio G. M. Strollo, Davide De Caro, Nicola Petra:
  Elementary Functions Hardware Implementation Using Constrained Piecewise-Polynomial Approximations. 418-432
  
• Gianlorenzo D'Angelo, Gabriele Di Stefano, Alfredo Navarra, Maria Cristina Pinotti:
  Recoverable Robust Timetables: An Algorithmic Approach on Trees. 433-446
  

Volume 60, Number 4, April 2011

• Ming T. Liu:
  A Brief History of the IEEE Transactions on Computers. 449
  
• Alfredo Benso, Yiorgos Makris, Pinaki Mazumder:
  Guest Editors' Introduction: Special Section on Chips and Architectures for Emerging Technologies and Applications. 450-451
  
• Alessandro Cilardo:
  Exploring the Potential of Threshold Logic for Cryptography-Related Operations. 452-462
  
• Zine Abid, Ming Liu, Wei Wang:
  3D Integration of CMOL Structures for FPGA Applications. 463-471
  
• Thomas J. Ashby, Pedro Diaz, Marcelo Cintra:
  Software-Based Cache Coherence with Hardware-Assisted Selective Self-Invalidations Using Bloom Filters. 472-483
  
• Preeti Ranjan Panda, M. Balakrishnan, Anant Vishnoi:
  Compressing Cache State for Postsilicon Processor Debug. 484-497
  
• Adam B. Kinsman, Nicola Nicolici:
  Trade-Offs in Test Data Compression and Deterministic X-Masking of Responses. 498-507
  
• Frank Olaf Sem-Jacobsen, Tor Skeie, Olav Lysne, José Duato:
  Dynamic Fault Tolerance in Fat Trees. 508-525
  
• Lei Jin, Sangyeun Cho:
  Macro Data Load: An Efficient Mechanism for Enhancing Loaded Data Reuse. 526-537
  
• Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch:
  Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. 538-551
  
• Jae-Wan Jang, Myeongjae Jeon, Hyo-Sil Kim, Heeseung Jo, Jin-Soo Kim, Seungryoul Maeng:
  Energy Reduction in Consolidated Servers through Memory-Aware Virtual Machine Scheduling. 552-564
  
• Yong Tang, Bin Xiao, Xicheng Lu:
  Signature Tree Generation for Polymorphic Worms. 565-579
  
• Ping Xu, Xiang-Yang Li, ShaoJie Tang, Jizhong Zhao:
  Efficient and Strategyproof Spectrum Allocations in Multichannel Wireless Networks. 580-593
  
• Po-Ching Lin, Ying-Dar Lin, Yuan-Cheng Lai:
  A Hybrid Algorithm of Backward Hashing and Automaton Tracking for Virus Scanning. 594-601
  
• M. Anwar Hasan, Christophe Nègre:
  Low Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation. 602-607
  

Volume 60, Number 5, May 2011

• Albert Y. Zomaya:
  State of the Journal. 609-613
  
• Samuel Tsen, Sonia Gonzalez-Navarro, Michael J. Schulte, Katherine Compton:
  Hardware Designs for Binary Integer Decimal-Based Rounding. 614-627
  
• Chun-Lung Hsu, Yu-Sheng Huang, Ming-Da Chang, Hung-Yen Huang:
  Design of an Error-Tolerance Scheme for Discrete Wavelet Transform in JPEG 2000 Encoder. 628-638
  
• Yawei Li, Zhiling Lan:
  FREM: A Fast Restart Mechanism for General Checkpoint/Restart. 639-652
  
• Eyee Hyun Nam, Bryan Suk Joon Kim, Hyeonsang Eom, Sang Lyul Min:
  Ozone (O3): An Out-of-Order Flash Memory Controller Architecture. 653-666
  
• Ana Paula Couto da Silva, Emilio Leonardi, Marco Mellia, Michela Meo:
  Exploiting Heterogeneity in P2P Video Streaming. 667-679
  
• Siew Kei Lam, Thambipillai Srikanthan, Christopher T. Clarke:
  Architecture-Aware Technique for Mapping Area-Time Efficient Custom Instructions onto FPGAs. 680-692
  
• Sun-Yuan Hsieh, Yi-Ling Huang, Ying-Chi Yang:
  Multiprefix Trie: A New Data Structure for Designing Dynamic Router-Tables. 693-706
  
• Bülent Tavli, Wendi Rabiner Heinzelman:
  Energy-Efficient Real-Time Multicast Routing in Mobile Ad Hoc Networks. 707-722
  
• Haoyu Song, Jonathan S. Turner:
  Toward Advocacy-Free Evaluation of Packet Classification Algorithms. 723-733
  
• Shang-Wei Lin, Pao-Ann Hsiung:
  Counterexample-Guided Assume-Guarantee Synthesis through Learning. 734-750
  

Volume 60, Number 6, June 2011

• Mong-Ling Chiao, Da-Wei Chang:
  ROSE: A Novel Flash Translation Layer for NAND Flash Memory Based on Hybrid Address Translation. 753-766
  
• Yi-Jung Chen, Chia-Lin Yang, Jaw-Wei Chi, Jian-Jia Chen:
  TACLC: Timing-Aware Cache Leakage Control for Hard Real-Time Systems. 767-782
  
• Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano, Tsutomu Yoshinaga:
  Prediction Router: A Low-Latency On-Chip Router Architecture with Multiple Predictors. 783-799
  
• Xiaomin Zhu, Xiao Qin, Meikang Qiu:
  QoS-Aware Fault-Tolerant Scheduling for Real-Time Tasks on Heterogeneous Clusters. 800-812
  
• Hung-Min Sun, Hsun Wang, King-Hang Wang, Chien-Ming Chen:
  A Native APIs Protection Mechanism in the Kernel Mode against Malicious Code. 813-823
  
• Jaehong Min, Daeyoung Yoon, Youjip Won:
  Efficient Deduplication Techniques for Modern Backup Operation. 824-840
  
• Sherief Reda, Ryan Cochran, Abdullah Nazma Nowroz:
  Improved Thermal Tracking for Processors Using Hard and Soft Sensor Allocation Techniques. 841-851
  
• Mingsong Chen, Prabhat Mishra:
  Property Learning Techniques for Efficient Generation of Directed Tests. 852-864
  
• Bing-Hong Liu, Min-Lun Chen, Ming-Jer Tsai:
  Message-Efficient Location Prediction for Mobile Objects in Wireless Sensor Networks Using a Maximum Likelihood Technique. 865-878
  
• Samer Samarah, Azzedine Boukerche, Alexander Shema Habyalimana:
  Target Association Rules: A New Behavioral Patterns for Point of Coverage Wireless Sensor Networks. 879-889
  
• Ashkan Hosseinzadeh Namin, Huapeng Wu, Majid Ahmadi:
  A Word-Level Finite Field Multiplier Using Normal Basis. 890-895
  
• George Michelogiannakis, Daniel U. Becker, William J. Dally:
  Evaluating Elastic Buffer and Wormhole Flow Control. 896-903
  
• G. Robert Redinbo:
  Systematic Wavelet Subcodes for Data Protection. 904-909
  

Volume 60, Number 7, July 2011

• Sameh Galal, Mark Horowitz:
  Energy-Efficient Floating-Point Unit Design. 913-922
  
• Miaoqing Huang, Kris Gaj, Tarek A. El-Ghazawi:
  New Hardware Architectures for Montgomery Modular Multiplication Algorithm. 923-936
  
• Ehab Anis Daoud, Nicola Nicolici:
  On Using Lossy Compression for Repeatable Experiments during Silicon Debug. 937-950
  
• Luc Malrait, Sara Bouchenak, Nicolas Marchand:
  Experience with CONSER: A System for Server Control through Fluid Modeling. 951-963
  
• Mohamed Hefeeda, Cheng-Hsin Hsu, Kianoosh Mokhtarian:
  Design and Evaluation of a Proxy Cache for Peer-to-Peer Traffic. 964-977
  
• Miao Liu, Duo Liu, Yi Wang, Meng Wang, Zili Shao:
  On Improving Real-Time Interrupt Latencies of Hybrid Operating Systems with Two-Level Hardware Interrupts. 978-991
  
• Aleksandar Milenkovic, Vladimir Uzelac, Milena Milenkovic, Martin Burtscher:
  Caches and Predictors for Real-Time, Unobtrusive, and Cost-Effective Program Tracing in Embedded Systems. 992-1005
  
• Satoshi Fujita:
  A Branch-and-Bound Algorithm for Solving the Multiprocessor Scheduling Problem with Improved Lower Bounding Techniques. 1006-1016
  
• Xiaoyong Tang, Kenli Li, Zeng Zeng, Bharadwaj Veeravalli:
  A Novel Security-Driven Scheduling Algorithm for Precedence-Constrained Tasks in Heterogeneous Distributed Systems. 1017-1029
  
• Stefano Di Carlo, Paolo Prinetto, Alessandro Savino:
  Software-Based Self-Test of Set-Associative Cache Memories. 1030-1044
  
• Tingting Chen, Fan Wu, Sheng Zhong:
  FITS: A Finite-Time Reputation System for Cooperation in Wireless Ad Hoc Networks. 1045-1056
  

Volume 60, Number 8, August 2011

• Sandeep K. Shukla, Jean-Pierre Talpin:
  Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems. 1057-1058
  
• Pedro Sánchez, Diego Alonso, Francisca Rosique, Bárbara Álvarez, Juan A. Pastor:
  Introducing Safety Requirements Traceability Support in Model-Driven Development of Robotic Applications. 1059-1071
  
• Irem Y. Tumer, Carol Smidts:
  Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems. 1072-1084
  
• Rachid Hadjidj, Hanifa Boucheneb:
  Efficient Reachability Analysis for Time Petri Nets. 1085-1099
  
• Matt Duckham, Doron Nussbaum, Jörg-Rüdiger Sack, Nicola Santoro:
  Efficient, Decentralized Computation of the Topology of Spatial Regions. 1100-1113
  
• Ransford Hyman Jr., Koustav Bhattacharya, Nagarajan Ranganathan:
  Redundancy Mining for Soft Error Detection in Multicore Processors. 1114-1125
  
• Jong-Chan Kim, Duhee Lee, Chang-Gun Lee, Kanghee Kim:
  RT-PLRU: A New Paging Scheme for Real-Time Execution of Program Codes on NAND Flash Memory for Portable Media Players. 1126-1141
  
• Pengju Shang, Jun Wang, Huijun Zhu, Peng Gu:
  A New Placement-Ideal Layout for Multiway Replication Storage System. 1142-1156
  
• Yawen Chen, Hong Shen:
  Embedding Meshes and Tori on Double-Loop Networks of the Same Size. 1157-1168
  
• Mehdi Kargahi, Ali Movaghar:
  Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions. 1169-1181
  
• Heeyeol Yu, Rabi N. Mahapatra:
  A Power and Throughput-Efficient Packet Classifier with n Bloom Filters. 1182-1193
  
• Javier Carretero, Pedro Chaparro, Xavier Vera, Jaume Abella, Antonio González:
  Implementing End-to-End Register Data-Flow Continuous Self-Test. 1194-1206
  
• Xin Tian, Lin Wu, Yihua Tan, Jin-Wen Tian:
  Efficient Multi-Input/Multi-Output VLSI Architecture for Two-Dimensional Lifting-Based Discrete Wavelet Transform. 1207-1211
  
• Ivan V. Oseledets:
  Improved n-Term Karatsuba-Like Formulas in GF(2). 1212-1216
  

Volume 60, Number 9, September 2011

• Cecilia Metra, Rajesh Galivanche:
  Guest Editors' Introduction: Special Section on Concurrent On-Line Testing and Error/Fault Resilience of Digital Systems. 1217-1218
  
• Guihai Yan, Yinhe Han, Xiaowei Li:
  ReviveNet: A Self-Adaptive Architecture for Improving Lifetime Reliability via Localized Timing Adaptation. 1219-1232
  
• Ramtilak Vemu, Jacob A. Abraham:
  CEDA: Control-Flow Error Detection Using Assertions. 1233-1245
  
• Saeed Shamshiri, Kwang-Ting (Tim) Cheng:
  Modeling Yield, Cost, and Quality of a Spare-Enhanced Multicore Chip. 1246-1259
  
• Michail Maniatakos, Naghmeh Karimi, Chandra Tirumurti, Abhijit Jas, Yiorgos Makris:
  Instruction-Level Impact Analysis of Low-Level Faults in a Modern Microprocessor Controller. 1260-1273
  
• Naghmeh Karimi, Michail Maniatakos, Abhijit Jas, Chandra Tirumurti, Yiorgos Makris:
  Workload-Cognizant Concurrent Error Detection in the Scheduler of a Modern Microprocessor. 1274-1287
  
• Soheil Aminzadeh, Alireza Ejlali:
  A Comparative Study of System-Level Energy Management Methods for Fault-Tolerant Hard Real-Time Systems. 1288-1299
  
• Ming Gao, Hsiu-Ming Chang, Peter Lisherness, Kwang-Ting (Tim) Cheng:
  Time-Multiplexed Online Checking. 1300-1312
  
• Muhammad Mudassar Nisar, Abhijit Chatterjee:
  Guided Probabilistic Checksums for Error Control in Low-Power Digital Filters. 1313-1326
  
• Mehran Mozaffari Kermani, Arash Reyhani-Masoleh:
  A Low-Power High-Performance Concurrent Fault Detection Approach for the Composite Field S-Box and Inverse S-Box. 1327-1340
  
• Arash Hariri, Arash Reyhani-Masoleh:
  Concurrent Error Detection in Montgomery Multiplication over Binary Extension Fields. 1341-1353
  
• Wonhak Hong, Rajashekhar Modugu, Minsu Choi:
  Efficient Online Self-Checking Modulo 2^n+1 Multiplier Design. 1354-1365
  
• Valeria Garofalo, Nicola Petra, Ettore Napoli:
  Analytical Calculation of the Maximum Error for a Family of Truncated Multipliers Providing Minimum Mean Square Error. 1366-1371
  
• Nicholas Pippenger:
  On-the-Fly Algorithms and Sequential Machines. 1372-1375
  

Volume 60, Number 10, October 2011

• Chin-Yung Lu, Shiou-An Wang, Sy-Yen Kuo:
  An Extended XQDD Representation for Multiple-Valued Quantum Logic. 1377-1389
  
• Rahul Ratan, A. Yavuz Oruç:
  Self-Routing Quantum Sparse Crossbar Packet Concentrators. 1390-1405
  
• Chang Joo Lee, Onur Mutlu, Veynu Narasiman, Yale N. Patt:
  Prefetch-Aware Memory Controllers. 1406-1430
  
• Ge-Ming Chiu, Li-Hsing Yen, Tai-Lin Chin:
  Optimal Storage Placement for Tree-Structured Networks with Heterogeneous Channel Costs. 1431-1444
  
• Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle:
  An Empirical Architecture-Centric Approach to Microarchitectural Design Space Exploration. 1445-1458
  
• Kazuteru Namba, Hideo Ito:
  Test Sets for Robust Path Delay Fault Testing on Two-Rail Logic Circuits. 1459-1470
  
• Ge Nong, Sen Zhang, Wai Hong Chan:
  Two Efficient Algorithms for Linear Time Suffix Array Construction. 1471-1484
  
• Amlan Ganguly, Kevin Chang, Sujay Deb, Partha Pratim Pande, Benjamin Belzer, Christof Teuscher:
  Scalable Hybrid Wireless Network-on-Chip Architectures for Multicore Systems. 1485-1502
  
• Ching-Nung Yang, Chih-Yang Chiu, Gen-Cheng Wu:
  Efficient Encoding/Decoding for Second-Order Spectral-Null Codes by Reducing Random Walks. 1503-1510
  
• Pedro Reviriego, Chris J. Bleakley, Juan Antonio Maestro, Anne O'Donnell:
  Offset DMR: A Low Overhead Soft Error Detection and Correction Technique for Transform-Based Convolution. 1511-1516
  

Volume 60, Number 11, November 2011

• Kuo-Yi Chen, J. Morris Chang, Ting-Wei Hou:
  Multithreading in Java: Performance and Scalability on Multicore Systems. 1521-1534
  
• Daniel Piso Fernandez, Javier D. Bruguera:
  Variable Latency Goldschmidt Algorithm Based on a New Rounding Method and a Remainder Estimate. 1535-1546
  
• Soumyaroop Roy, Nagarajan Ranganathan, Srinivas Katkoori:
  State-Retentive Power Gating of Register Files in Multicore Processors Featuring Multithreaded In-Order Cores. 1547-1560
  
• Minh Huynh, Stuart Goose, Prasant Mohapatra, Raymond Liao:
  RRR: Rapid Ring Recovery Submillisecond Decentralized Recovery for Ethernet Ring. 1561-1570
  
• David Eppstein, Michael T. Goodrich:
  Succinct Greedy Geometric Routing Using Hyperbolic Geometry. 1571-1580
  
• Howard M. Heys, Liang Zhang:
  Pipelined Statistical Cipher Feedback: A New Mode for High-Speed Self-Synchronizing Stream Encryption. 1581-1595
  
• Derek Pao, Xing Wang, Xiaoran Wang, Cong Cao, Yuesheng Zhu:
  String Searching Engine for Virus Scanning. 1596-1609
  
• Chih-Hsun Chou, Kuo-Feng Ssu, Hewijin Christine Jiau, Wei-Tong Wang, Chao Wang:
  A Dead-End Free Topology Maintenance Protocol for Geographic Forwarding in Wireless Sensor Networks. 1610-1621
  
• Jaehoon (Paul) Jeong, Shuo Guo, Tian He, David H. C. Du:
  Autonomous Passive Localization Algorithm for Road Sensor Networks. 1622-1637
  
• Hady S. AbdelSalam, Stephan Olariu:
  Toward Efficient Task Management in Wireless Sensor Networks. 1638-1651
  
• Adam B. Kinsman, Nicola Nicolici:
  Computational Vector-Magnitude-Based Range Determination for Scientific Abstract Data Types. 1652-1663
  

Volume 60, Number 12, 2011

• Chun-Hung Lai, Fu-Ching Yang, Ing-Jer Huang:
  A Trace-Capable Instruction Cache for Cost-Efficient Real-Time Program Trace Compression in SoC. 1665-1677
  
• Todor Mladenov, Saeid Nooshabadi, Keseon Kim:
  Implementation and Evaluation of Raptor Codes on Embedded Systems. 1678-1691
  
• Zhimin Chen, Patrick Schaumont:
  A Parallel Implementation of Montgomery Multiplication on Multicore Systems: Algorithm, Analysis, and Prototype. 1692-1703
  
• Chun-An Chen, Sun-Yuan Hsieh:
  (t, k)-Diagnosis for Component-Composition Graphs under the MM* Model. 1704-1717
  
• Jun Zhu, Zhefu Jiang, Zhen Xiao, Xiaoming Li:
  Optimizing the Performance of Virtual Machine Synchronization for Fault Tolerance. 1718-1729
  
• Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
  Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. 1730-1743
  
• Cristiana Bolchini, Antonio Miele, Chiara Sandionigi:
  A Novel Design Methodology for Implementing Reliability-Aware Systems on SRAM-Based FPGAs. 1744-1758
  
• Xinfa Hu, Guoliang Xing, Joseph Y.-T. Leung:
  Exploring the Interplay between Computation and Communication in Distributed Real-Time Scheduling. 1759-1771
  
• Sookyoung Lee, Mohamed F. Younis:
  EQAR: Effective QoS-Aware Relay Node Placement Algorithm for Connecting Disjoint Wireless Sensor Subnetworks. 1772-1787
  
• Wei Dong, Chun Chen, Xue Liu, Yunhao Liu, Jiajun Bu, Kougen Zheng:
  SenSpire OS: A Predictable, Flexible, and Efficient Operating System for Wireless Sensor Networks. 1788-1801
  
• Alex X. Liu, Fei Chen, JeeHyun Hwang, Tao Xie:
  Designing Fast and Scalable XACML Policy Evaluation Engines. 1802-1817
  
• Robert M. Hierons:
  Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports. 1818-1822
  

Last update Fri May 24 18:07:01 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page