Volume 39,
Number 1,
January 1990
- Jason Gait:
A Checkpointing Page Store for Write-Once Optical Disk.
2-9 BibTeX
- Ming-Syan Chen, Kang G. Shin, Dilip D. Kandlur:
Addressing, Routing, and Broadcasting in Hexagonal Mesh Multiprocessors.
10-18 BibTeX
- Myungwhan Choi, C. M. Krishna:
An Adaptive Algorithm to Ensure Differential Service in aToken-Ring Network.
19-33 BibTeX
- Pro Rong Chang, George Lee:
A Decomposition Approach for Balancing Large-Scale Acyclic Data Flow Graphs.
34-46 BibTeX
- Douglas M. Blough, Gerald M. Masson:
Performance Analysis of a Generalized Concurrent Error Detection Procedure.
47-62 BibTeX
- Kifung C. Cheung, Gurindar S. Sohi, Kewal K. Saluja, Dhiraj K. Pradhan:
Design and Analysis of a Gracefully Degrading Interleaved Memory System.
63-71 BibTeX
- Yoheved Dotan, Benjamin Arazi:
Concurrent Logic Programming as a Hardware Description Tool.
72-88 BibTeX
- Behrooz Parhami:
Generalized Signed-Digit Number Systems: A Unifying Framework for Redundant Number Representations.
89-98 BibTeX
- Kang G. Shin, Ming-Syan Chen:
On the Number of Acceptable Task Assignments in Distributed Computing Systems.
99-110 BibTeX
- Dik Lun Lee, Frederick H. Lochovsky:
HYTREM - A Hybrid Text-Retrieval Machine for Large Databases.
111-123 BibTeX
Correspondence
- Sumio Masuda, Kazuo Nakajima, Toshinobu Kashiwabara, Thio Fujisawa:
Crossing Minimization in Linear Embeddings of Graphs.
124-127 BibTeX
- David M. Mandelbaum:
A Systematic Method for Division with High Average Bit Skipping.
127-130 BibTeX
- Y. N. Srikant:
Parallel Parsing of Arithmetic Expressions.
130-132 BibTeX
- Philip Heidelberger, Alan Norton, John T. Robinson:
Parallel Quicksort Using Fetch-and-Add.
133-138 BibTeX
- Mark G. Karpovsky, Prawat Nagvajara:
Optimal Robust Compression of Test Responses.
138-141 BibTeX
- Youngju Won, Sartaj Sahni, Yacoub M. El-Ziq:
A Hardware Accelerator for Maze Routing.
141-145 BibTeX
- Jorge L. Aravena:
Recursive Moving Window DFT Algorithm.
145-148 BibTeX
- Martin L. Brady, Majid Sarrafzadeh:
Stretching a Knock-Knee Layout for Multilayer Wiring.
148-151 BibTeX
- L. Magnus Ewerbring, Franklin T. Luk:
Computing the Singular Value Decomposition on the Connection Machine.
152-155 BibTeX
- James Jacob, Nripendra N. Biswas:
Further Comments on "Detection of Faults in Programmable Logic Arrays".
155-157 BibTeX
Volume 39,
Number 2,
February 1990
- Krishna Kant, A. Ravichandran:
Synthesizing Robust Data STructures - An Introduction.
161-173 BibTeX
- Walid A. Najjar, Jean-Luc Gaudiot:
Network Resilience: A Measure of Network Fault Tolerance.
174-181 BibTeX
- Tein-Hsiang Lin, Kang G. Shin:
Location of a Faulty Module in a Computing System.
182-194 BibTeX
- Sampath Rangarajan, Donald S. Fussell, Miroslaw Malek:
Built-In Testing of Integrated Circuit Wafers.
195-205 BibTeX
- David M. Nicol, Paul F. Reynolds Jr.:
Optimal Dynamic Remapping of Data Parallel Computations.
206-219 BibTeX
- René David, Antoine Fuentes:
Fault Diagnosis of RAM's from Random Testing Experiments.
220-229 BibTeX
- V. Krishnamoorthy, Krishnaiyan Thulasiraman, M. N. S. Swamy:
Incremental Distance and Diameter Sequences of a Graph: New Measures of Network Performance.
230- BibTeX
237
- Merrill E. Isenman, Dennis Shasha:
Performance and Architectural Issues for String Matching.
238-250 BibTeX
- Binay Sugla, David A. Carlson:
Extreme Area-Time Tradeoffs in VLSI.
251-257 BibTeX
Correspondence
Volume 39,
Number 3,
March 1990
Correspondence
Volume 39,
Number 4,
April 1990
- Régis Leveugle, Gabriele Saucier:
Optimized Synthesis of Concurrently Checked Controllers.
419-425 BibTeX
- V. S. S. Nair, Jacob A. Abraham:
Real-Number Codes for Bault-Tolerant Matrix Operations On Processor Arrays.
426-435 BibTeX
- Vijay Balasubramanian, Prithviraj Banerjee:
Compiler-Assisted Synthesis of Algorithm-Based Checking in Multiprocessors.
436-446 BibTeX
- Mahadev Satyanarayanan, James J. Kistler, Puneet Kumar, Maria E. Okasaki, Ellen H. Siegel, David C. Steere:
Coda: A Highly Available File System for a Distributed Workstation Environment.
447-459 BibTeX
- Kun-Lung Wu, W. Kent Fuchs:
Recoverable Distributed Shared Virtual Memory.
460-469 BibTeX
- Dong Sam Ha, Vijay P. Kumar:
On the Design of High-Yield Reconfigurable PLA's.
470-479 BibTeX
- Vwani P. Roychowdhury, Jehoshua Bruck, Thomas Kailath:
Efficient Algorithms for Reconfiguration in VLSI/WSI Arrays.
480-489 BibTeX
- Shantanu Dutt, John P. Hayes:
On Designing and Reconfiguring k-Fault-Tolerant Tree Architectures.
490-503 BibTeX
- Jean Arlat, Karama Kanoun, Jean-Claude Laprie:
Dependability Modeling and Evaluation of Software Fault-Tolerant Systems.
504-513 BibTeX
- Parameswaran Ramanathan, Dilip D. Kandlur, Kang G. Shin:
Hardware-Assisted Software Clock Synchronization for Homogeneous Distributed Systems.
514-524 BibTeX
- Ravishankar K. Iyer, Luke T. Young, P. V. Krishna Iyer:
Automatic Recognition of Intermittent Failures: An Experimental Study of Field Data.
525-537 BibTeX
Correspondence
- Rajesh Gupta, Rajiv Gupta, Melvin A. Breuer:
The BALLAST Methodology for Structured Partial Scan Design.
538-544 BibTeX
- Kwang-Ting Cheng, Vishwani D. Agrawal:
A Partial Scan Method for Sequential Circuits with Feedback.
544-549 BibTeX
- Yuval Tamir, Marc Tremblay:
High-Performance Fault-Tolerant VLSI Systems Using Micro Rollback.
548-554 BibTeX
- Nirmal R. Saxena, Edward J. McCluskey:
Control-Flow Checking Using Watchdog Assists and Extended-Precision Checksums.
554-559 BibTeX
- Ming-Feng Chang, Weiping Shi, W. Kent Fuchs:
Optimal Diagnosis Procedures for k-out-of-n Structures.
559-564 BibTeX
- Mengly Chean, José A. B. Fortes:
The Full-Use-of-Suitable-Spares (FUSS) Approach to Hardware Reconfiguration for Fault-Tolerant Processor Arrays.
564-571 BibTeX
- Meera Balakrishnan, C. S. Raghavendra:
On Reliability Modeling of Closed Fault-Tolerant Computer Systems.
571-575 BibTeX
- James H. Barton, Edward W. Czeck, Zary Segall, Daniel P. Siewiorek:
Fault Injection Experiments Using FIAT.
575-582 BibTeX
- Sharad C. Seth, Vishwani D. Agrawal, Hassan Farhat:
A Statistical Theory of Digital Circuit Testability.
582-586 BibTeX
- Dhiraj K. Pradhan, Sandeep K. Gupta, Mark G. Karpovsky:
Aliasing Probability for Multiple Input Signature Analyzer.
586-591 BibTeX
- Larry A. Dunning, Gur Dial, Murali R. Varanasi:
Unidirectional Byte Error Detecting Codes for Computer Memory Systems.
592-595 BibTeX
Volume 39,
Number 5,
May 1990
Correspondence
- Wei Kuan Shih, Sun Wu, Y. S. Kuo:
Unifying Maximum Cut and Minimum Cut of a Planar Graph.
694-697 BibTeX
- Spira Matic:
Emulation of Hypercube Architecture on Nearest-Neighbor Mesh-Connected Processing Elements.
698-700 BibTeX
- Daniel J. Rosenkrantz:
Half-Hot State Assignments for Finite State Machines.
700-702 BibTeX
- Mostafa H. Abd-El-Barr, Zvonko G. Vranesic:
Cost Reduction in the CCD Realization of MVMT Function.
702-706 BibTeX
- William Gale, Sumit Das, Clement T. Yu:
Improvements to an Algorithm for Equipartitioning.
706-710 BibTeX
- Steven J. Friedman, Kenneth J. Supowit:
Finding the Optimal Variable Ordering for Binary Decision Diagrams.
710-713 BibTeX
- Richard Beigel, John Gill:
Sorting n Objects with a K-Sorter.
714-716 BibTeX
- Heuey Ling:
An Approach to Implementing Multiplication with Small Tables.
717-718 BibTeX
- Paolo Ancilotti, Beatrice Lazzerini, Cosimo Antonio Prete, Maurizio Sacchi:
A Distributed Commit Protocol for a Multicomputer System.
718-724 BibTeX
Volume 39,
Number 6,
June 1990
- Milos D. Ercegovac, Tomás Lang:
Redundant and On-Line CORDIC: Application to Matrix Triangularization and SVD.
725-740 BibTeX
- Shiow-Chen Shyu, Victor O. K. Li:
Performance Analysis of Static Locking in Distributed Database Systems.
741-751 BibTeX
- Sandip Kundu, Sudhakar M. Reddy:
On Symmetric Error Correcting and All Unidirectional Error Detecting Codes.
752-761 BibTeX
- Hideo Fujiwara:
Computational Complexity of Controllability/Observability Problems for Combinational Circuits.
762-767 BibTeX
- Mamoru Sasaki, Takahiro Inoue, Yuji Shirai, Fumio Ueno:
Fuzzy Multiple-Input Maximum and Minimum Circuits in Current Mode and Their Analyses Using Bounded-Difference Equations.
768-774 BibTeX
- William J. Dally:
Performance Analysis of k-Ary n-Cube Interconnection Networks.
775-785 BibTeX
- Sivarama P. Dandamudi, Derek L. Eager:
Hierarchical Interconnection Networks for Multicomputer Systems.
786-797 BibTeX
- Arthur F. Champernowne, Louis B. Bushard, John T. Rusterholz, John R. Schomburg:
Latch-to-Latch Timing Rules.
798-808 BibTeX
- Robert Michael Owens, Mary Jane Irwin:
Being Stingy with Multipliers.
809-818 BibTeX
- John N. Daigle, Robert B. Kuehl, Joseph D. Langford:
Queuing Analysis of an Optical Disk Jukebox Based Office System.
819-828 BibTeX
Correspondence
Volume 39,
Number 7,
July 1990
Correspondence
Volume 39,
Number 8,
August 1990
- Pak K. Chan, Martine D. F. Schlag:
Analysis and Design of CMOS Manchester Adders with Variable Carry-Skip.
983-992 BibTeX
- Tony M. Carter, James E. Robertson:
The Set Theory of Arithmetic Decomposition.
993-1005 BibTeX
- Homayoon Sam, Arupratan Gupta:
A Generalized Multibit Recoding of Two's Complement Binary Numbers and Its Proof with Application in Multiplier Implementations.
1006-1015 BibTeX
- Milos D. Ercegovac, Tomás Lang:
Radix-4 Square Root Without Initial PLA.
1016-1024 BibTeX
- Reza Hashemian:
Square Rooting Algorithms for Integer and Floatingg-Point Numbers.
1025-1029 BibTeX
- Israel Koren, Ofra Zinaty:
Evaluating Elementary Functions in a Numerical Coprocessor Based on Rational Approximations.
1030-1037 BibTeX
- Hai-Xiang Lin, Henk J. Sips:
On-Line CORDIC Algorithms.
1038-1052 BibTeX
- Chien-Chun Su, Hao-Yung Lo:
An Algorithm for Scaling and Single Residue Error Correction in Residue Number Systems.
1053-1064 BibTeX
- Neil M. Wigley, Graham A. Jullien:
On Modulus Replication for Residue Arithmetic Computations of Complex Inner Products.
1065-1076 BibTeX
- Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal:
Redundant Logarithmic Arithmetic.
1077-1086 BibTeX
- Jean Vuillemin:
Exact Real Computer Arithmetic with Continued Fractions.
1087-1105 BibTeX
- Peter Kornerup, David W. Matula:
An Algorithm for Redundant Binary Bit-Pipelined Rational Arithmetic.
1106-1115 BibTeX
Volume 39,
Number 9,
September 1990
- Insup Lee, Susan B. Davidson:
A Performance Analysis of Times Synchronous Communication Primitives.
1117-1131 BibTeX
- Prithviraj Banerjee, Joseph T. Rahmeh, Craig B. Stunkel, V. S. S. Nair, Kaushik Roy, Vijay Balasubramanian, Jacob A. Abraham:
Algorithm-Based Fault Tolerance on a Hypercube Multiprocessor.
1132-1145 BibTeX
- Ming-Syan Chen, Kang G. Shin:
Subcube Allocation and Task Migration in Hypercube Multiprocessors.
1146-1155 BibTeX
- Jen-Yao Chung, Jane W.-S. Liu, Kwei-Jay Lin:
Scheduling Periodic Jobs That Allow Imprecise Results.
1156-1174 BibTeX
- Lui Sha, Ragunathan Rajkumar, John P. Lehoczky:
Priority Inheritance Protocols: An Approach to Real-Time Synchronization.
1175-1185 BibTeX
- Wei Zhao, John A. Stankovic, Krithi Ramamritham:
A Window Protocol for Transmission of Time-Constrained Messages.
1186-1203 BibTeX
Correspondence
Volume 39,
Number 10,
October 1990
- Jörg-Rüdiger Sack, Subhash Suri:
An Optimal Algorithm for Detecting Weak Visibility of a Polygon.
1213-1219 BibTeX
- Luigi Ciminiera, Paolo Montuschi:
Higher Radix Square Rooting.
1220-1231 BibTeX
- Flavio Bonomi, Anurag Kumar:
Adaptive Optimal Load Balancing in a Nonhomogeneous Multiserver System with a Central Job Scheduler.
1232-1250 BibTeX
- Gianfranco Ciardo, Raymond A. Marie, Bruno Sericola, Kishor S. Trivedi:
Performability Analysis Using Semi-Markov Reard Processes.
1251-1264 BibTeX
- Scot W. Hornick, Sanjeev R. Maddila, Ernst P. Mücke, Harald Rosenberger, Steven Skiena, Ioannis G. Tollis:
Searching on a Tape.
1265-1272 BibTeX
- Peter D. Hortensius, Robert D. McLeod, Howard C. Card:
Cellular Automata-Based Signature analysis for Built-in Self-Test.
1273-1283 BibTeX
Correspondence
Volume 39,
Number 11,
November 1990
Correspondence
Volume 39,
Number 12,
December 1990
Correspondence
Copyright © Sun May 17 00:23:00 2009
by Michael Ley (ley@uni-trier.de)