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