Volume 40,
Number 1,
January 1991
Correspondence
Volume 40,
Number 2,
February 1991
Correspondence
Volume 40,
Number 3,
March 1991
Corrspondence
- O. J. Murphy, R. L. McCraw:
Designing Storage Efficient Decision Trees.
315-320
- Klaus D. Heidtmann:
Arithmetic Spectrum Applied to Fault Detection for Combinational Networks.
320-324
- S. Wayne Bollinger, Scott F. Midkiff:
Heuristic Technique for Processor and Link Assignment in Multicomputers.
325-333
- Richard P. Brent, Bing Bing Zhou:
A Stabilized Parallel Algorithm for Direct-Form Recursive Filters.
333-336
- Yann-Hang Lee, C. Mani Krishna:
Optimal Scheduling of Signature Analysis for VLSI Testing.
336-341
- Shantanu Dutt, John P. Hayes:
Subcube Allocation in Hypercube Computers.
341-352
- Qing Yang, Laxmi N. Bhuyan:
Analysis of Packet-Switched Multiple-Bus Multiprocessor Systems.
352-356
- J. Richard Burke, Chienhua Chen, Tsung-Ying Lee, Dharma P. Agrawal:
Performance Analysis of Single Stage Interconnection Networks.
357-365
- Y. C. Liu, Harry G. Perros:
A Decomposition Procedure for the Analysis of a Closed Fork/Join Queueing System.
365-370
Volume 40,
Number 4,
April 1991
- Huai-An Lin:
Constructing Protocols with Alternative Functions.
376-386
- Paul W. King:
Formalization of Protocol Engineering Concepts.
387-403
- Pradeep Jain, Simon S. Lam:
Specification of Real-Time Broadcast Networks.
404-422
- Samuel C. Chamberlain, Paul D. Amer:
Broadcast Channels in Estelle.
423-436
- Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano:
A Protocol for Multirendezvous of LOTOS Processes.
437-447
- Mohamed G. Gouda, Nicholas J. Multari:
Stabilizing Communication Protocols.
448-458
- Yoshiaki Kakuda, Hironori Saito:
An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis.
459-467
- Robert L. Probert, Kassem Saleh:
Synthesis of Communication Protocols: Survey and Assessment.
468-476
- Norio Shiratori, Yao-Xue Zhang, Kaoru Takahashi, Shoichi Noguchi:
A User Friendly Software Environment for Protocol Synthesis.
477-486
- Murali Rajagopal, Raymond E. Miller:
Synthesizing a Protocol Converter from Executable Protocol Traces.
487-499
- Elke Heck, Dieter Hogrefe, Bruno Müller-Clostermann:
Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols.
500-513
- Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno:
Strategic Testing Environment with Formal Description Techniques.
514-525
- Do Y. Lee, Jai-Yong Lee:
A Well-Defined Estelle Specification for the Automatic Test Generation.
526-542
- Piyu Tripathy, Behçet Sarikaya:
Test Generation from LOTOS Specifications.
543-552
- Haruhisa Ichikawa, Masaki Itoh, June Kato, Akira Takura, Masashi Shibasaki:
SDE: Incremental Specification and Development of Communications Software.
553-561
- E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi:
The L.0 Language and Environment for Protocol Simulation and Prototyping.
562-571
Volume 40,
Number 5,
May 1991
Correspondence
Volume 40,
Number 6,
June 1991
- James W. Dolter, Parameswaran Ramanathan, Kang G. Shin:
Performance Analysis of Virtual Cut-Through Switching in HARTS: A Hexagonal Mesh Multicomputer.
669-680
- Augustus K. Uht:
A Theory of Reduced and Minimal Procedural Dependencies.
681-692
- Bernard L. Menezes, Roy M. Jenevein:
The KYKLOS Multicomputer Network: Interconnection Strategies, Properties, and Applications.
692-705
- Yu-Chin Hsu, Youn-Long Lin, Hang-Ching Hsieh, Ting-Hai Chao:
Combining Logic Minimization and Folding for PLA's.
706-713
- Ten-Hwang Lai, Alan P. Sprague:
Placement of the Processors of a Hypercube.
714-722
- Weijia Shang, José A. B. Fortes:
Time Optimal Linear Schedules for Algorithms with Uniform Dependencies.
723-742
- Dhiraj K. Pradhan, Sandeep K. Gupta:
A New Framework for Designing and Analyzing BIST Techniques and Zero Aliasing Compression.
743-763
Correspondence
Volume 40,
Number 7,
July 1991
Correspondence
Volume 40,
Number 8,
August 1991
Correspondence
Volume 40,
Number 9,
September 1991
Correspondence
- Jie-Yong Juang, Benjamin W. Wah:
A Contention-Based Bus-Control Scheme for Multiprocessor Systems.
1046-1053
- Chaitali Chakrabarti, Joseph JáJá:
VLSI Architectures for Multidimensional Transforms.
1053-1057
- C. S. Raghavendra, Rajendra V. Boppana:
On Self-Routing in Benes and Shuffle-Exchange Networks.
1057-1064
- N. Yoshida, Eiichi Goto, Shuichi Ichikawa:
Pseudorandom Rounding for Truncated Multipliers.
1065-1067
- P. Caspi, J. Piotrowski, Raoul Velazco:
An A Priori Approach to the Evaluation of Signature Analysis Efficiency.
1068-1071
- Kar-Lik Wong, Wan-Chi Siu:
Data Routing Networks for Systolic/Pipeline Realization of Prime Factor Mapping.
1072-1074
- Yinghua Min, Yashwant K. Malaiya, Boping Jin:
Analysis of Detection Capability of Parallel Signature Analyzers.
1075-1081
- K. B. Lakshmanan, Bala Ravikumar, K. Ganesan:
Coping with Erroneous Information while Sorting.
1081-1084
Volume 40,
Number 10,
October 1991
Correspondence
Volume 40,
Number 11,
November 1991
Correspondence
- Stephen Y. H. Su, Michal Cutler, Mingshien Wang:
Self-Diagnosis of Faelures in VLSI Tree Array Processors.
1252-1257
- Bruce L. Montgomery:
Efficient Unidirectional Error Codes for Block Memories.
1257-1259
- Michel Dubois, Faye A. Briggs:
The Run-Time Efficiency of Parallel Asynchronous Algorithms.
1260-1266
- Demetrios K. Kostopoulos:
An Algorithm for the Computation of Binary Logarithms.
1267-1270
- Andrzej Pelc:
Undirected Graph Models for System-Level Fault Diagnosis.
1271-1276
- Kyungsook Y. Lee, Hyunsoo Yoon:
Indirect Star-Type Networks for Large Multiprocessor Systems.
1277-1282
- Wojciech E. Kozlowski, Henryk Krawczyk:
A Comparison-Based Approach to Multicomputer System Diagnosis in Hybrid Fault Situations.
1283-1287
- Daniel C. McCrackin, Barna Szabados:
Using Horizontal Prefetching to Circumvent the Jump Problem.
1287-1291
- Shing-Tsaan Huang, Satish K. Tripathi, Nian-Shing Chen, Yu-Chee Tseng:
An Efficient Routing Algorithm for Realizing Linear Permutations on p^t-Shuffle-Exchange Networks.
1292-1298
- Suman Purwar:
An Efficient Method of Computing Generalized Reed-Muller Expansions from Binary Decision Diagram.
1298-1301
- Lorenzo Donatiello, Vincenzo Grassi:
On Evaluating the Cumulative Performance Distribution of Fault-Tolerant Computer Systems.
1301-1307
- Majid Sarrafzadeh, D. T. Lee:
Topological Via Minimization Revisited.
1307-1312
- Kemal Efe:
A Variation on the Hypercube with Lower Diameter.
1312-1316
Volume 40,
Number 12,
December 1991
- Chin-Teng Lin, C. S. George Lee:
Neural-Network-Based Fuzzy Logic Control and Decision System.
1320-1336
- Li-Xin Wang, Jerry M. Mendel:
Three-Dimensional Structured Networks for Matrix Equation Solving.
1337-1346
- Gene A. Tagliarini, J. Fury Christ, Edward W. Page:
Optimization Using Neural Networks.
1347-1358
- David Suter:
Constraint Networks in Vision.
1359-1367
- Scott T. Toborg, Kai Hwang:
Cooperative Vision Integration Through Data-Parallel Neural Computations.
1368-1379
- Leonardo Maria Reyneri, Enrica Filippi:
An Analysis on the Performance of Silicon Implementations of Backpropagation Algorithms for Artificial Neural Networks.
1380-1389
- Wei-Ming Lin, Viktor K. Prasanna, K. Wojtek Przytula:
Algorithmic Mapping of Neural Network Models onto Parallel SIMD Machines.
1390-1401
- Kai-Yeung Siu, Vwani P. Roychowdhury, Thomas Kailath:
Depth-Size Tradeoffs for Neural Computation.
1402-1412
Correspondence
Copyright © Fri Mar 12 17:32:54 2010
by Michael Ley (ley@uni-trier.de)
