Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Computers, Volume 44
Volume 44, Number 1, January 1995
- Andrés Takach, Wayne H. Wolf, Miriam Leeser
:
An Automaton Model for Scheduling Constraints in Synchronous Machines. 1-12
- Chu-Hsing Lin, Chin-Chen Chang, Richard C. T. Lee:
New Public-Key Cipher System Based Upon the Diophantine Equations. 13-19
- C. Murray Woodside, John E. Neilson, Dorina C. Petriu, Shikharesh Majumdar:
The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software. 20-34
- Chung-Chi Jim Li, Shyh-Kwei Chen, W. Kent Fuchs, Wen-mei W. Hwu:
Compiler-Based Multiple Instruction Retry. 35-46
- S. Lennart Johnsson, Ching-Tien Ho:
On the Conversion Between Binary Code and Binary-Reflected Gray Code on Binary Cubes. 47-53
- Phillip J. Windley:
Formal Modeling and Verification of Microprocessors. 54-72
- Jay K. Strosnider, John P. Lehoczky, Lui Sha:
The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. 73-91
- Christine Fricker:
On Memory Contention Problems in Vector Multiprocessors. 92-105
- Chao Chi Tong, Chuan-lin Wu:
Routing in a Three-Dimensional Chip. 106-117
- Keiichi Iwamura, Yasunori Dohi, Hideki Imai:
A Design of Reed-Solomon Decoder with Systolic Array Structure. 118-122 - Bernard L. Menezes, Umesh Bakhru:
New Bounds on the Reliability of Augmented Shuffle-Exchange Networks. 123-129 - Shuenn-Shyang Wang, Ming-Yuan Shau:
Single Residue Error Correction Based on K-Term m_j-Projection. 129-131 - Richard Mazzaferri, Teresa M. Murray:
The Connection Network Class for Fault Tolerant Meshes. 131-138 - Irith Pomeranz, Sudhakar M. Reddy:
Aliasing Computation Using Fault Simulation with Fault Dropping. 139-144 - Paolo Montuschi, Luigi Ciminiera:
A Remark on "Reducing Iteration Time when Result Digit is Zero for Radix-2 SRT Division and Square Root with Redundant Remainders". 144-150 - Jehoshua Bruck, Robert Cypher, Ching-Tien Ho:
Wildcard Dimensions, Coding Theory and Fault-Tolerant Meshes and Hypercubes. 150-155 - Debasish Das, Krishnendu Mukhopadhyaya, Bhabani P. Sinha:
Implementation of Four Common Functions on an LNS Co-Processor. 155-161
- Anton T. Dahbura, Gerald M. Masson:
Large Response to "Comments on 'An O(n^2.5) Fault Identification Algorithm for Diagnosable Systems"'. IEEE Trans. Computers 44(1): 162 (1995)
Volume 44, Number 2, February 1995
- Nirmal R. Saxena, David Chih-Wei Chang, Kevin Dawallu, Jaspal Kohli, Pat Helland:
Fault-Tolerant Features in the HaL Memory Management Unit. 170-180 - Stefan Poledna:
Tolerating Sensor Timing Faults in Highly Responsive Hard Real-Time Systems. 181-191 - Mario Blaum, Jim Brady, Jehoshua Bruck, Jai Menon:
EVENODD: An Efficient Scheme for Tolerating Double Disk Failures in RAID Architectures. 192-202 - Richard D. Schlichting, Vicraj T. Thomas:
Programming Language Support for Writing Fault-Tolerant Distributed Software. 203-212
- Wuudiann Ke, Premachandran R. Menon:
Synthesis of Delay-Verifiable Combinational Circuits. 213-222 - Sybille Hellebrand, Janusz Rajski, Steffen Tarnick, Srikanth Venkataraman, Bernard Courtois:
Built-In Test for Circuits with Scan Based on Reseeding of Multiple-Polynomial Linear Feedback Shift Registers. 223-233 - Amitava Majumdar, Sarma B. K. Vrudhula:
Fault Coverage and Test Length Estimation for Random Pattern Testing. 234-247
- Ghani A. Kanawati, Nasser A. Kanawati, Jacob A. Abraham:
FERRARI: A Flexible Software-Based Fault and Error Injection System. 248-260 - David Powell, Eliane Martins, Jean Arlat, Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation. 261-274
- Suresh Rai:
Evaluating FTRE's for Dependability Measures in Fault Tolerant Systems. 275-285 - Gerardo Rubino, Bruno Sericola:
Interval Availability Analysis Using Denumerable Markov Processes: Application to Multiprocessor Subject to Breakdowns and Repair. 286-291 - Fuxing Wang, Krithi Ramamritham, John A. Stankovic:
Determining Redundancy Levels for Fault Tolerant Real-Time Systems. 292-301 - Daniel Boley, Gene H. Golub, Samy Makar, Nirmal R. Saxena, Edward J. McCluskey:
Floating Point Fault Tolerance with Backward Error Assertions. 302-311
- Sampath Rangarajan, Anton T. Dahbura, Eric A. Ziegler:
A Distributed System-Level Diagnosis Algorithm for Arbitrary Network Topologies. 312-334
- Irith Pomeranz, Sudhakar M. Reddy:
On Fault Simulation for Synchronous Sequential Circuits. 335-340 - Jie Xu, Shi-ze Huang:
Sequentially t-Diagnosable Systems: A Characterization and Its Applications. 340-345 - Hong-Yi Tzeng, Kai-Yeung Siu:
Message-Optimal Protocols for Fault-Tolerant Broadcasts/Multicasts in Distributed Systems with Crash Failures. 346-352
Volume 44, Number 3, March 1995
- Pohua P. Chang, Daniel M. Lavery, Scott A. Mahlke, William Y. Chen, Wen-mei W. Hwu:
The Importance of Prepass Code Scheduling for Superscalar and Superpipelined Processors. 353-370
- Dipanwita Roy Chowdhury, Indranil Sengupta, Parimal Pal Chaudhuri:
CA-Based Byte Error-Correcting Code. 371-382 - Mark G. Karpovsky, Tatyana D. Roziner, Claudio Moraga:
Fault Detection in Multiprocessor Systems and Array Processors. 383-393
- Sedat Akyürek, Kenneth Salem:
Management of Partially Safe Buffers. 394-407 - Nicholas S. Bowen, Dhiraj K. Pradhan:
A Fault Tolerant Hybrid Memory Structure and Memory Management Algorithms. 408-418 - Arif Merchant, Philip S. Yu:
Analytic Modeling and Comparisons of Striping Strategies for Replicated Disk Arrays. 419-433
- Debashis Bhattacharya, Prathima Agrawal, Vishwani D. Agrawal:
Test Generation for Path Delay Faults Using Binary Decision Diagrams. 434-447
- Hasan Cam, José A. B. Fortes:
A Fast VLSI-Efficient Self-Routing Permutation Network. 448-453 - Weng-Fai Wong, Eiichi Goto:
Fast Evaluation of the Elementary Functions in Single Precision. 453-457 - Daniel C. McCrackin:
Practical Delay Enforced Multistream (DEMUS) Control of Deeply Pipelined Processors. 458-462 - Sampath Rangarajan, Yennun Huang, Satish K. Tripathi:
Computing Reliability Intervals for k-Resilient Protocols. 462-466 - Wei-Kuan Shih, Jane W.-S. Liu:
Algorithms for Scheduling Imprecise Computations with Timing Constraints to Minimize Maximum Error. 466-471 - Richard Gerber, William W. Pugh, Manas Saksena:
Parametric Dispatching of Hard Real-Time Tasks. 471-479
Volume 44, Number 4, April 1995
- Pohua P. Chang, Nancy J. Warter, Scott A. Mahlke, William Y. Chen, Wen-mei W. Hwu:
Three Architecutral Models for Compiler-Controlled Speculative Execution. 481-494
- Paul E. S. Dunne, Paul H. Leng, Gerald F. Nwana:
On the Complexity of Boolean Functions Computed by Lazy Oracles. 495-502
- Jyh-Charn Liu, Kang G. Shin:
Efficient Implementation Techniques for Gracefully Degradable Multiprocessor Systems. 503-517 - Kay A. Robbins, Steven Robbins:
Buffered Banks in Multiprocessor Systems. 518-530 - Valerie E. Taylor, Abhiram G. Ranade, David G. Messerschmitt:
SPAR: A New Architecture for Large Finite Element Computations. 531-545
- Christos Faloutsos, Raymond T. Ng, Timos K. Sellis:
Flexible and Adaptable Buffer Management Techniques for Database Management Systems. 546-560
- Paulo B. Góes, Ushio Sumita:
Stochastic Models for Performance Analysis of Database Recovery Control. 561-576 - Yao Li, C. Murray Woodside:
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks. 577-592
- Vincenzo Auletta, Adele Anna Rescigno, Vittorio Scarano:
Embedding Graphs onto the Supercube. 593-597 - Mario Alberto López, Ramakrishna Thurimella:
On Computing Connected Components of Line Segments. 597-601 - Yuen-Hsien Tseng, Ja-Ling Wu:
On a Constant-Time, Low-Complexity Winner-Take-All Neural Network. 601-604 - Xiaojun Shen, Mao Xu, Xiangzu Wang:
An Optimal Algorithm for Permutation Admissibility to Multistage Interconnection Networks. 604-608
Volume 44, Number 5, May 1995
- Tien-Fu Chen, Jean-Loup Baer:
Effective Hardware Based Data Prefetching for High-Performance Processors. 609-623 - Elio D. Di Claudio, Francesco Piazza, Gianni Orlandi:
Fast Combinatorial RNS Processors for DSP Applications. 624-633 - Mateo Valero, Tomás Lang, Montse Peiron, Eduard Ayguadé:
Conflict-Free Access for Streams in Multimodule Memories. 634-646
- Paul Cull, Shawn M. Larson:
The Möbius Cubes. 647-659 - Mario Blaum, Jehoshua Bruck:
Delay-Insensitive Pipelined Communicatioon on Parallel Buses. 660-668
- Kang G. Shin, Yi-Chieh Chang:
A Coordinated Location Policy for Load Sharing in Hypercube-Connected Multicomputers. 669-682 - Jong-Chuang Tsay, Pen-Yuang Chang:
Design of Space-Optimal Regular Arrays for Algorithms with Linear Schedules. 683-694
- Hasan Cam, José A. B. Fortes:
Frames: A Simple Characterization of Permutations Realized by Frequently Used Networks. 695-697 - Ravi Nair:
Optimal 2-Bit Branch Predictors. 698-702 - Jie Wu:
Safety Levels-An Efficient Mechanism for Achieving Reliable Broadcasting in Hypercubes. 702-706 - Daniel Cohen-Or, Arie E. Kaufman:
A 3D Skewing and De-skewing Scheme for Conflict-Free Access to Rays in Volume Rendering. 707-710 - Nitin H. Vaidya:
Unidirectional Bit/Byte Error Control. 710-714 - Xiaojun Shen:
Optimal Realization of Any BPC Permutation on K-Extra-Stage Omega Networks. 714-719 - Ching-Farn Eric Wu, Yarsun Hsu, Yew-Huey Liu:
Efficient Stack Simulation for Set-Associative Virtual Address Cache with Real Tags. 719-723 - Claude Thibeault, Yvon Savaria, Jean-Louis Houle:
Equivalence Proofs of Some Yield Modeling Methods for Defect-Tolerant Integrated Circuits. 724-728 - Sung-Ming Yen, Chi-Sung Laih:
Improved Digital Signature Algorithm. 729-730 - Jae Young Lee, Hee Yong Youn, Adit D. Singh:
Adaptive Unanimous Voting (UV) Scheme for Distributed Self-Diagnosis. 730-735
Volume 44, Number 6, June 1995
- Janet Wu, Raja Das, Joel H. Saltz, Harry Berryman, Seema Hiranandani:
Distributed Memory Compiler Design for Sparse Problems. 737-754
- Stephen H. Unger:
Hazards, Critical Races, and Metastability. 754-768
- Qutaibah M. Malluhi, Magdy A. Bayoumi, T. R. N. Rao:
Efficient Mapping of ANNs on Hypercube Massively Parallel Machines. 769-779
- Slawomir Pilarski, Kevin James Wiebe:
Counter-Based Compaction: Delay and Stuck-Open Faults. 780-791 - Irith Pomeranz, Sudhakar M. Reddy:
INCREDYBLE: A New Search Strategy for Design Automation Problems with Applications to Testing. 792-804 - Samir Boubezari, Bozena Kaminska:
A Deterministic Built-In-Self-Test Generator Based on Cellular Automata Structures. 805-816 - Yuejian Wu, André Ivanov:
Single-Reference Multiple Intermediate Signature (SREMIS) Analysis for BIST. 817-825
- Hosahalli R. Srinivas, Keshab K. Parhi:
A Fast Radix-4 Division Algorithm and Its Architecture. 826-831
Volume 44, Number 7, July 1995
- Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson:
Certification of Computational Results. 833-847 - Rajendra V. Boppana, Suresh Chalasani:
Fault-Tolerant Wormhole Routing Algorithms for Mesh Networks. 848-864 - Srinivasan Tridandapani, Arun K. Somani, Upender R. Sandadi:
Low Overhead Multiprocessor Allocation Strategies Exploiting System Space Capacity for Fault Detection and Location. 865-877
- Luiz André Barroso, Michel Dubois:
Performance Evaluation of the Slotted Ring Multiprocessor. 878-890 - Yooichi Shintani, Kiyoshi Inoue, Eiki Kamada, Toru Shonai:
A Performance and Cost Analysis of Applying Superscalar Method to Mainframe Computers. 891-902
- Youssef Saab:
A Fast and Robust Network Bisection Algorithm. 903-913 - Mikhail J. Atallah, Danny Z. Chen:
Optimal Parallel Hypercube Algorithms for Polygon Problems. 914-922 - Priyalal Kulasinghe, Saïd Bettayeb:
Embedding Binary Trees into Crossed Cubes. 923-929
- Christopher J. Zarowski:
Parallel Implementation of the Schur Belekamp-Massey Algorithm on a Linearly Connected Processor Array. 930-933 - Neil Burgess, Ted Williams:
Choices of Operand Truncation in the SRT Division Algorithm. 933-938 - M. Anwarul Hasan, Vijay K. Bhargava:
Architecture for a Low Complexity Rate-Adaptive Reed-Solomon Encoder. 938-942 - E. Dekker, Len Dekker:
Parallel Minimal Norm Method of Tridiagonal Linear Systems. 942-946 - Steffen Paul, Jürgen Götze, Matthias Sauer:
Error Analysis of CORDIC-Based Jacobi Algorithms. 947-951 - Yeimkuan Chang, Laxmi N. Bhuyan:
A Combinatorial Analysis of Subcube Reliability in Hybercubes. 952-956 - Sung-Ming Yen, Chi-Sung Laih:
Improved Digital Signature Suitable for Batch Verification. 957-959
Volume 44, Number 8, August 1995
- Zhongde Wang, Graham A. Jullien, William C. Miller:
A New Design Technique for Column Compression Multipliers. 962-970 - Stephen E. McQuillan, John V. McCanny:
A Systematic Methodology for the Design of High Performance Recursive Digital Filters. 971-982 - Markus A. Hitz, Erich Kaltofen:
Integer Division in Residue Number Systems. 983-989 - Shen-Fu Hsiao, Jean-Marc Delosme:
Householder CORDIC Algorithms. 990-1001
- Jun-Woo Kang, Chin-Long Wey, P. David Fisher:
Application of Bipartite Graphs for Achieving Race-Free State Assignment. 1002-1011
- Zeljko Zilic, Zvonko G. Vranesic:
A Multiple-Valued Reed-Muller Transform for Incompletely Specified Functions. 1012-1020
- Bella Bose, Bob Broeg, Younggeun Kwon, Yaagoub Ashir:
Lee Distance and Topological Properties of k-ary n-cubes. 1021-1030
- Yao Li, C. Murray Woodside:
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks (Corrected Version). 1031-1046
- Giuseppe A. De Biase, Claudia Ferrone, Annalisa Massini:
An O(log2 N) Depth Asymptotically Nonblocking Self-Routing Permutation Network. 1047-1051 - Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng:
Contention-Free 2D-Mesh Cluster Allocation in Hypercubes. 1051-1055 - Vassilios V. Dimakopoulos, G. Sourtziotis, Antonis M. Paschalis, Dimitris Nikolos:
On TSC Checkers for m-out-n Codes. 1055-1059 - Patrick T. Gaughan, Sudhakar Yalamanchili:
A Performance Model of Pipelined K-ary n-cubes. 1059-1063 - Burton S. Kaliski Jr.:
The Montgomery Inverse and Its Applications. 1064-1065 - Ahmed El-Amawy, Yi Chang Tseng:
Maximum Performance Pipelines With Switchable Reservation Tables. 1066-1069
Volume 44, Number 9, September 1995
- Prasant Mohapatra, Chita R. Das:
On Dependability Evaluation of Mesh-Connected Processors. 1073-1084
- Tsang-Ling Sheu, Woei Lin, Chita R. Das:
Distributed Fault Diagnosis in Multistage Network-Based Multiprocessors. 1085-1095 - Neal J. Alewine, Shyh-Kwei Chen, W. Kent Fuchs, Wen-mei W. Hwu:
Compiler-Assisted Multiple Instruction Rollback Recovery Using a Read Buffer. 1096-1107 - Yeimkuan Chang, Laxmi N. Bhuyan:
Subcube Fault Tolerance in Hypercube Multiprocessors. 1108-1120
- Jermy C. Smith, Fred J. Taylor:
A Fault-Tolerant GEQRNS Processing Element for Linear Systolic Array DSP Applications. 1121-1130
- Howard M. Heys, Stafford E. Tavares:
Avalanche Characteristics of Substitution-Permutation Encryption Networks. 1131-1139
- Daniel I. Katcher, Shirish S. Sathaye, Jay K. Strosnider:
Fixed Priority Scheduling with Limited Priority Levels. 1140-1144 - Xiaojun Shen:
An Optimal O(NlgN) Algorithm for Permutation Admissibility to Extra-Stage Cube-Type Networks. 1144-1149 - Luke O'Connor:
A Differential Cryptananlysis of Tree-Structured Substitution-Permutation Networks. 1150-1152