Volume 47,
Number 1,
January 1998
Special Issue on Dependability of Computing Systems
- Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote:
Abstraction Techniques for Validation Coverage Analysis and Test Generation.
2-14
- Fran Hanchek, Shantanu Dutt:
Methodologies for Tolerating Cell and Interconnect Faults in FPGAs.
15-33
- Elias Procópio Duarte Jr., Takashi Nanya:
A Hierarachical Adaptive Distributed System-Level Diagnosis Algorithm.
34-45
- Seungjae Han, Kang G. Shin:
A Primary-Backup Channel Approach to Dependable Real-Time Communication in Multihop Networks.
46-61
- Michael Nicolaidis:
Fail-Safe Interfaces for VLSI: Theoretical Foundations and Implementation.
62-77
- Jean-Charles Fabre, Tanguy Pérennou:
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach.
78-95
- Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi:
Analysis of Preventive Maintenance in Transactions Based Software Systems.
96-107
- David T. Stott, Gregory L. Ries, Mei-Chen Hsueh, Ravishankar K. Iyer:
Dependability Analysis of a High-Speed Network Using Software-Implemented Fault Injection and Simulated Fault Injection.
108-119
Brief Contributions
- Mario Blaum, Jehoshua Bruck, Kurt Rubin, Wilfried Lenth:
A Coding Approach for Detection of Tampering in Write-Once Optical Disks.
120-125
- Richard W. Linderman, Ralph L. R. Kohler, Mark H. Linderman:
A Dependable High Performance Wafer Scale Architecture for Embedded Signal Processing.
125-128
- Lama Nachman, Kewal K. Saluja, Shambhu J. Upadhyaya, Robert Reuse:
A Novel Approach to Random Pattern Testing of Sequential Circuits.
129-134
- Fong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois:
Design Verification of the S3.mp Cache-Coherent Shared-Memory System.
135-140
Volume 47,
Number 2,
February 1998
Computer Arithmetic
Logic (Design and) Synthesis
Multiprocessor Scheduling
Theory and Algorithms
Brief Contributions
- Pen-Yuang Chang, Jong-Chuang Tsay:
An Approach to Designing Modular Extensible Linear Arrays for Regular Algorithms.
212-216
- Winfrid G. Schneeweiss:
On the Polynomial Form of Boolean Functions: Derivations and Applications.
217-221
- Avi Ziv, Jehoshua Bruck:
Analysis of Checkpointing Schemes with Task Duplication.
222-227
- Anujan Varma, Quinn Jacobson:
Destage Algorithms for Disk Arrays with Nonvolatile Caches.
228-235
- Marcelo Lubaszewski, Bernard Courtois:
A Reliable Fail-Safe System.
236-241
- Gagan Hasteer, Prithviraj Banerjee:
A Parallel Algorithm for State Assignment of Finite State Machines.
242-246
- Zheng Tang, Okihiko Ishizuka:
A Learning Multiple-Valued Logic Network: Algebra, Algorithm, and Applications.
247-251
- Ali R. Hurson, Krishna M. Kavi, Joford T. Lim:
Cyclic Staggered Scheme: A Loop Allocation Policy for DOACROSS Loops.
251-255
- Seongmoon Wang, Sandeep K. Gupta:
ATPG for Heat Dissipation Minimization During Test Application.
256-262
- Michael Barbehenn:
A Note on the Complexity of Dijkstra's Algorithm for Graphs with Weighted Vertices.
263
- Ahmed El-Amawy, Priyalal Kulasinghe:
On the Complexity of Designing Optimal Branch-and-Combine Clock Networks.
264-269
Volume 47,
Number 3,
March 1998
Computer Arithmetic
Fault Tolerance,
Diagnosis and Testing
- Bernard Mans, Nicola Santoro:
Optimal Elections in Faulty Loop Networks and Applications.
286-297
- Andrzej Pelc:
Optimal Diagnosis of Heterogeneous Systems with Random Faults.
298-304
- Jacob Savir:
Random Pattern Testability of Memory Control Logic.
305-312
- Dimitris Nikolos:
Optimal Self-Testing Embedded Parity Checkers.
313-321
Load Balancing
- Jie Li, Hisao Kameda:
Load Balancing Problems for Multiclass Jobs in Distributed/Parallel Computer Systems.
322-332
Brief Contributions
Volume 47,
Number 4,
April 1998
Special Section - Papers from the 17th IEEE International Conference of Distributed Computing
- Partho Pratim Mishra, Mani B. Srivastava:
Effect of Connection Rerouting on Application Performance in Mobile Networks.
371-390
- Aniruddha S. Gokhale, Douglas C. Schmidt:
Measuring and Optimizing CORBA Latency and Scalability Over High-Speed Networks.
391-413
- Kritchalach Thitikamol, Peter J. Keleher:
Per-Node Multithreading and Remote Latency.
414-426
- Markos Zaharioudakis, Michael J. Carey:
Hierarchical, Adaptive Cache Consistency in a Page Server OODBMS.
427-444
- Pei Cao, Chengjie Liu:
Maintaining Strong Cache Consistency in the World Wide Web.
445-457
- Robert E. Strom, Guruduth Banavar, Kevan Miller, Atul Prakash, Michael Ward:
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects.
458-471
Brief Contributions
Volume 47,
Number 5,
May 1998
Cache Memory
Coding Theory
Communication Protocols
CORDIC Algorithms
- Dhananjay S. Phatak:
Double Step Branching CORDIC: A New Algorithm for Fast Sine and Cosine Generation.
587-602
Fault Tolerance
Performance Evaluation
- Eskil Dekker:
Architecture Scalability of Parallel Vector Computers with a Shared Memory.
614-624
Volume 47,
Number 6,
June 1998
Compiler Techniques
Fault Tolerance
- G. Robert Redinbo:
Generalized Algorithm-Based Fault Tolerance: Error Correction via Kalman Estimation.
639-655
- Nitin H. Vaidya:
A Case for Two-Level Recovery Schemes.
656-666
Modeling and Performance Evaluation
Networks
Real-Time Systems
Brief Contributions
Volume 47,
Number 7,
July 1998
Special Section-Papers from the 13th IEEE Symposium on Computer Arithmetic
Regular Papers
Brief Contributions
Volume 47,
Number 8,
August 1998
Testing Algorithms,
Methods and Tools
Neurocomputer Architecture
Petri Nets
Brief Contributions
Volume 47,
Number 9,
September 1998
Computer Arithmetic
Logic Design
Networks
Brief Contributions
Comments
Volume 47,
Number 10,
October 1998
Cache Coherence
Communication
Fault Tolerance,
Diagnosis and Testing
Security
- Markus G. Kuhn:
Cipher Instruction Search Attack on the Bus-Encryption Security Microcontroller DS5002FP.
1153-1157
Brief Contributions
- Ran Libeskind-Hadas:
A Tight Lower Bound on the Number of Channels Required for Deadlock-Free Wormhole Routing.
1158-1160
- Jyh-Huei Guo, Chin-Liang Wang:
Systolic Array Implementation o Euclid's Algorithm for Inversion and Division in GF(2m).
1161-1167
Volume 47,
Number 11,
November 1998
Built-In Selft-Test
Computer Arithmetic
Theory and Algorithms
Brief Contributions
Volume 47,
Number 12,
1998
Coding Theory and Application
Communication Protocols
- Roberto Baldoni:
A Positive Acknowledgment Protocol for Causal Broadcasting.
1341-1350
Computer Security
Instruction and Schedule Cache
Brief Contributions
Errata
- Jien-Chung Lo:
Correction to ``A Fast Binary Adder with Conditional Carry Generation'' IEEE Transaction on Computers 46(2) 248-253 (1997).
1425
- Nicola Nicolici, Bashir M. Al-Hashimi:
Correction to the Proof of Theorem 2 in ``Parallel Signature Analysis Design with Bounds on Aliasing.
1426
Copyright © Fri Mar 12 17:32:55 2010
by Michael Ley (ley@uni-trier.de)
