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 BibTeX
- Fran Hanchek, Shantanu Dutt:
Methodologies for Tolerating Cell and Interconnect Faults in FPGAs.
15-33 BibTeX
- Elias Procópio Duarte Jr., Takashi Nanya:
A Hierarachical Adaptive Distributed System-Level Diagnosis Algorithm.
34-45 BibTeX
- Seungjae Han, Kang G. Shin:
A Primary-Backup Channel Approach to Dependable Real-Time Communication in Multihop Networks.
46-61 BibTeX
- Michael Nicolaidis:
Fail-Safe Interfaces for VLSI: Theoretical Foundations and Implementation.
62-77 BibTeX
- Jean-Charles Fabre, Tanguy Pérennou:
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach.
78-95 BibTeX
- Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi:
Analysis of Preventive Maintenance in Transactions Based Software Systems.
96-107 BibTeX
- 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 BibTeX
Brief Contributions
- Mario Blaum, Jehoshua Bruck, Kurt Rubin, Wilfried Lenth:
A Coding Approach for Detection of Tampering in Write-Once Optical Disks.
120-125 BibTeX
- Richard W. Linderman, Ralph L. R. Kohler, Mark H. Linderman:
A Dependable High Performance Wafer Scale Architecture for Embedded Signal Processing.
125-128 BibTeX
- Lama Nachman, Kewal K. Saluja, Shambhu J. Upadhyaya, Robert Reuse:
A Novel Approach to Random Pattern Testing of Sequential Circuits.
129-134 BibTeX
- Fong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois:
Design Verification of the S3.mp Cache-Coherent Shared-Memory System.
135-140 BibTeX
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 BibTeX
- Winfrid G. Schneeweiss:
On the Polynomial Form of Boolean Functions: Derivations and Applications.
217-221 BibTeX
- Avi Ziv, Jehoshua Bruck:
Analysis of Checkpointing Schemes with Task Duplication.
222-227 BibTeX
- Anujan Varma, Quinn Jacobson:
Destage Algorithms for Disk Arrays with Nonvolatile Caches.
228-235 BibTeX
- Marcelo Lubaszewski, Bernard Courtois:
A Reliable Fail-Safe System.
236-241 BibTeX
- Gagan Hasteer, Prithviraj Banerjee:
A Parallel Algorithm for State Assignment of Finite State Machines.
242-246 BibTeX
- Zheng Tang, Okihiko Ishizuka:
A Learning Multiple-Valued Logic Network: Algebra, Algorithm, and Applications.
247-251 BibTeX
- Ali R. Hurson, Krishna M. Kavi, Joford T. Lim:
Cyclic Staggered Scheme: A Loop Allocation Policy for DOACROSS Loops.
251-255 BibTeX
- Seongmoon Wang, Sandeep K. Gupta:
ATPG for Heat Dissipation Minimization During Test Application.
256-262 BibTeX
- Michael Barbehenn:
A Note on the Complexity of Dijkstra's Algorithm for Graphs with Weighted Vertices.
263 BibTeX
- Ahmed El-Amawy, Priyalal Kulasinghe:
On the Complexity of Designing Optimal Branch-and-Combine Clock Networks.
264-269 BibTeX
Volume 47,
Number 3,
March 1998
Computer Arithmetic
Fault Tolerance,
Diagnosis and Testing
Load Balancing
- Jie Li, Hisao Kameda:
Load Balancing Problems for Multiclass Jobs in Distributed/Parallel Computer Systems.
322-332 BibTeX
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 BibTeX
- Aniruddha S. Gokhale, Douglas C. Schmidt:
Measuring and Optimizing CORBA Latency and Scalability Over High-Speed Networks.
391-413 BibTeX
- Kritchalach Thitikamol, Peter J. Keleher:
Per-Node Multithreading and Remote Latency.
414-426 BibTeX
- Markos Zaharioudakis, Michael J. Carey:
Hierarchical, Adaptive Cache Consistency in a Page Server OODBMS.
427-444 BibTeX
- Pei Cao, Chengjie Liu:
Maintaining Strong Cache Consistency in the World Wide Web.
445-457 BibTeX
- Robert E. Strom, Guruduth Banavar, Kevan Miller, Atul Prakash, Michael Ward:
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects.
458-471 BibTeX
Brief Contributions
Volume 47,
Number 5,
May 1998
Cache Memory
Coding Theory
Communication Protocols
CORDIC Algorithms
Fault Tolerance
Performance Evaluation
- Eskil Dekker:
Architecture Scalability of Parallel Vector Computers with a Shared Memory.
614-624 BibTeX
Volume 47,
Number 6,
June 1998
Compiler Techniques
Fault Tolerance
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 BibTeX
Brief Contributions
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
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 BibTeX
- Nicola Nicolici, Bashir M. Al-Hashimi:
Correction to the Proof of Theorem 2 in ``Parallel Signature Analysis Design with Bounds on Aliasing.
1426 BibTeX
Copyright © Sun May 17 00:23:04 2009
by Michael Ley (ley@uni-trier.de)
