The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 05 - May (vol. 59)
ISSN: 0018-9340
SPECIAL SECTION ON SYSTEM-LEVEL DESIGN OF RELIABLE ARCHITECTURES

Formal Reliability Analysis Using Theorem Proving (Abstract)

Osman Hasan , Concordia University, Montreal
Naeem Abbasi , Concordia University, Montreal
Sofiène Tahar , Concordia University, Montreal
pp. 579-592

Efficient Microarchitectural Vulnerabilities Prediction Using Boosted Regression Trees and Patient Rule Inductions (Abstract)

Lide Duan , Louisiana State University, Baton Rouge
Bin Li , Louisiana State University, Baton Rouge
Lu Peng , Louisiana State University, Baton Rouge
pp. 593-607

Concurrent Structure-Independent Fault Detection Schemes for the Advanced Encryption Standard (Abstract)

Mehran Mozaffari-Kermani , The University of Western Ontario, London, Ontario, Canada
Arash Reyhani-Masoleh , The University of Western Ontario, London, Ontario, Canada
pp. 608-622

Microarchitectural Online Testing for Failure Detection in Memory Order Buffers (Abstract)

Javier Carretero , Intel Barcelona Research Center, Intel Labs, Barcelona
Pedro Chaparro , Intel Barcelona Research Center, Intel Labs, Barcelona
Xavier Vera , Intel Barcelona Research Center, Intel Labs, Barcelona
Jaume Abella , Intel Barcelona Research Center, Intel Labs, Barcelona
pp. 623-637

PERFECTORY: A Fault-Tolerant Directory Memory Architecture (Abstract)

Sangyeun Cho , University of Pittsburgh, Pittsburgh
Bruce R. Childers , University of Pittsburgh, Pittsburgh
Hyunjin Lee , University of Pittsburgh, Pittsburgh
pp. 638-650

Thread Relocation: A Runtime Architecture for Tolerating Hard Errors in Chip Multiprocessors (Abstract)

Sandip Kundu , University of Massachusetts Amherst, Amherst
Omer Khan , University of Massachusetts Amherst, Amherst
pp. 651-665
REGULAR PAPERS

An Interleaving Structure for Guaranteed QoS in Real-Time Broadcasting Systems (Abstract)

Kyungtae Kang , University of Illinois at Urbana-Champaign, Urbana
Lui Sha , University of Illinois at Urbana-Champaign, Urbana
pp. 666-678

Improved Design of High-Performance Parallel Decimal Multipliers (Abstract)

Elisardo Antelo , University of Santiago de Compostela, Santiago de Compostela
Paolo Montuschi , Politecnico di Torino, Torino
Alvaro Vazquez , ENS-Lyon, Lyon
pp. 679-693

Redundant-Digit Floating-Point Addition Scheme Based on a Stored Rounding Value (Abstract)

Saeid Gorgin , Shahid Beheshti University, Tehran
Ghassem Jaberipur , Shahid Beheshti University and Institute for Research in Fundamental Sciences (IPM), Tehran
Behrooz Parhami , University of California, Santa Barbara
pp. 694-706

Adaptation of Reputation Management Systems to Dynamic Network Conditions in Ad Hoc Networks (Abstract)

Tamer Nadeem , Siemens Corporate Research, Princeton, NJ, USA
Mohamed Tamer Refaei , MITRE Corporation, McLean, VA, USA
Luiz A. DaSilva , Virginia Polytechnic Institute, Arlington, VA, USA
Mohamed Eltoweissy , Virginia Polytechnic Institute, Arlington, VA, USA
pp. 707-719
105 ms
(Ver 3.1 (10032016))