


Остановите войну!
for scientists:


default search action
IEEE Transactions on Computers, Volume 46
Volume 46, Number 1, January 1997
- Lui Sha, Shirish S. Sathaye, Jay K. Strosnider:
Analysis of Dual-Link Networks for Real-Time Applications. 1-13 - Shlomi Dolev
, Jennifer L. Welch:
Crash Resilient Communication in Dynamic Networks. 14-26 - Stergios Papadimitriou, Anastasios Bezerianos
, Tassos Bountis:
Secure Communication with Chaotic Systems of Difference Equations. 27-38
- Sanjeev Khanna, W. Kent Fuchs:
A Graph Partitioning Approach to Sequential Diagnosis. 39-47 - Irith Pomeranz, Sudhakar M. Reddy:
On Dictionary-Based Fault Location in Digital Logic Circuits. 48-59
- Kumar K. Goswami, Ravishankar K. Iyer, Luke T. Young:
DEPEND: A Simulation-Based Environment for System Level Dependability Analysis. 60-74
- Rajendra S. Katti:
Nonprime Memory Systems and Error Correction in Address Translation. 75-79 - Yousef R. Shayan, Tho Le-Ngoc:
A Cellular Structure for a Versatile Reed-Solomon Decoder. 80-84 - Hosahalli R. Srinivas, Keshab K. Parhi, Luis A. Montalvo
:
Radix 2 Division with Over-Redundant Quotient Selection. 85-92 - Hasan Ural, Xiaolin Wu, Fan Zhang:
On Minimizing the Lengths of Checking Sequences. 93-99 - Kai-Hau Yeung
, Tak-Shing Yum:
Selective Broadcast Data Distribution Systems. 100-104 - Mitsuru Hamada, Eiji Fujiwara:
A Class of Error Control Codes for Byte Organized Memory Systems -SbEC-(Sb+S)ED Codes-. 105-109 - Suresh K. Bhogavilli, Hosame Abu-Amara:
Design and Analysis of High Performance Multistage Interconnection Networks. 110-117 - Qing Hu, Xiaojun Shen, Jing-Yu Yang:
Topologies of Combined (2logN - 1)-Stage Interconnection Networks. 118-124
Volume 46, Number 2, February 1997
- Eisuke Kinoshita, Ki-Ja Lee:
A Residue Arithmetic Extension for Reliable Scientific Computation. 129-138 - Colin D. Walter:
Space/Time Trade-Offs for Higher Radix Modular Multiplication Using Repeated Addition. 139-141 - Ming-Bo Lin, A. Yavuz Oruç:
The Design of an Optoelectronic Arithmetic Processor Based on Permutation Networks. 142-153 - Stuart F. Oberman, Michael J. Flynn:
Design Issues in Division and Other Floating-Point Operations. 154-161 - Huapeng Wu, M. Anwarul Hasan:
Efficient Exponentiation of a Primitive Root in GF(2^m). 162-172
- Chien-Chung Tsai, Malgorzata Marek-Sadowska:
Boolean Functions Classification via Fixed Polarity Reed-Muller Forms. 173-186
- Robert A. Rowley, Bella Bose:
Distributed Ring Embedding in Faulty De Bruijn Networks. 187-190 - Jatin Upadhyay, Vara Varavithya
, Prasant Mohapatra:
A Traffic-Balanced Adaptive Wormhole-Routing Scheme for Two-Dimensional Meshes. 190-197 - Fred S. Annexstein:
Generating De Bruijn Sequences: An Efficient Implementation. 198-200 - Krzysztof Diks, Andrzej Pelc:
Globally Optimal Diagnosis in Systems with Random Faults. 200-204 - Kriss A. Schueller, Jon T. Butler:
Complexity Analysis of the Cost-Table Approach to the Design of Multiple-Valued Logic Circuits. 205-209 - André Seznec:
Decoupled Sectored Caches. 210-215 - Rong-Huei Hou, Sy-Yen Kuo
, Yi-Ping Chang:
Optimal Release Times for Software Systems with Scheduled Delivery Time Based on the HGDM. 216-221 - Jehn-Ruey Jiang, Shing-Tsaan Huang, Yu-Chen Kuo:
Cohorts Structures for Fault-Tolerant k Entries to a Critical Section. 222-228 - José Fridman, Sampath Rangarajan:
Maximizing Mean-Time to Failure in k-Resilient Systems with Repair. 229-234 - Peter A. Franaszek, John T. Robinson:
On Variable Scope of Parity Protection in Disk Arrays. 234-240 - Jie Wu:
Reliable Unicasting in Faulty Hypercubes Using Safety Levels. 241-247 - Jien-Chung Lo:
A Fast Binary Adder with Conditional Carry Generation. 248-253
Volume 46, Number 3, March 1997
- Imrich Chlamtac, Yi-Bing Lin:
Guest Editors' Introduction-Mobile Computing: When Mobility Meets Computation. 257-259 - Ajay V. Bakre, B. R. Badrinath:
Implementation and Performance Evaluation of Indirekt TCP. 260-278 - Michele Zorzi, Ramesh R. Rao:
Error Control and Energy Consumption in Communications for Nomadic Computing. 279-289 - Rohit Dube, Cynthia D. Rais, Satish K. Tripathi:
Improving NFS Performance Over Wireless Links. 290-298 - Qi Lu, Mahadev Satyanarayanan
:
Resource Conservation in a Mobile Transaction System. 299-311 - Kyungshik Lim, Yann-Hang Lai:
Optimal Partitioning of Heterogeneous Traffic Sources in Mobile Communications Networks. 312-325 - Xuefeng Dong, Ten-Hwang Lai:
An Efficient Protocol for Call Setyp and Path Migration in IEEE 802.6 Based Personal Communication Networks. 326-336 - Anthony D. Joseph
, Joshua A. Tauber, M. Frans Kaashoek:
Mobile Computing with the Rover Toolkit. 337-352 - Sridhar Alagar, Subbarayan Venkatesan:
Causal Ordering in Distributed Mobile Systems. 353-361
- Kin K. Leung:
An Update Algorithm for Replicated Signaling Databases in Wireless and Advanced Intelligent Networks. 362-367 - Bezalel Gavish, Suresh Sridhar:
Threshold Priority Policy for Channel Assignment in Cellular Networks. 367-370 - Dhiraj K. Pradhan, Nitin H. Vaidya:
Roll-Forward and Rollback Recovery: Performance-Reliability Trade-Off. 372-378 - Hsing-Lung Chen, Nian-Feng Tzeng:
On-Line Task Migration in Hypercubes Through Double Disjoint Pats. 379-384
Volume 46, Number 4, April 1997
- John V. Woods, Paul Day, Stephen B. Furber, Jim D. Garside, N. C. Paver, Steve Temple:
AMULET1: A Asynchronous ARM Microprocessor. 385-398 - Bernard K. Gunther:
Multithreading with Distributed Functional Units. 399-411
- Kent D. Wilken, Timothy Kong:
Concurrent Detection of Software and Hardware Data-Access Faults. 412-424 - Nirmal R. Saxena, Edward J. McCluskey:
Parallel Signatur Analysis Design with Bounds on Aliasing. 425-438
- Hung-Kuei Ku, John P. Hayes:
Systematic Design of Fault-Tolerant Multiprocessors with Shared Buses. 439-455 - Yin-Min Wang:
Consistent Global checkpoints that Contain a Given Set of Local Chekpoints. 456-468
- David R. Kaeli, Philip G. Emma:
Improving the Accuracy of History Based Branch Prediction. 469-472 - Dimitri Kazakos, Lazaros F. Merakos
, Hakan Deliç:
Random Multiple Access Algorithms Using a Control Mini-Slot. 473-476 - Stephen R. Tate:
Band Ordering in Lossless Compression of Multispectral Images. 477-483 - Jie Wu, Ke Huang:
The Balanced Hypercube: A Cube-Based System for Fault-Tolerant Applications. 484-490 - Jon T. Butler, David S. Herscovici, Tsutomu Sasao, Robert J. Barton III:
Average an Worst Case Number of Nodes in Decision Diagrams of Symmetric Multiple-Valued Functions. 491-494 - Masayuki Ito, Naofumi Takagi
, Shuzo Yajima:
Efficient Initial Approximation for Multiplicative Division and Square Root by a Multiplication with Operand Modification. 495-498 - Jong Kim, Heejo Lee, Sunggu Lee:
Replicated Process Allocation for Load Distribution in Fault-Tolerant Multicomputers. 499-505 - Patrick Fitzpatrick:
Extending Backward Error Assertions to Tolerance of Large Errors in Floating Point Computations. 505-510
- Chi-Sung Laih, Min-Jea Gau:
Cryptanalysis if a Diophantine Equation Oriented Public Key Cryptosystem. 511 - Simon R. Blackburn, Sean Murphy, Kenneth G. Paterson:
Comments on "Theory and Applications of Cellular Automata in Cryptography". 637-638
Volume 46, Number 5, May 1997
- Patrick M. Lenders, Sanjay V. Rajopadhye:
Multirate VLSI Arrays and Their Synthesis. 515-529
- François Bodin, André Seznec:
Skewed Associativity Improves Program Performance and Enhances Predictability. 530-544
- Sandeep N. Bhatt, Fan R. K. Chung, Frank Thomson Leighton, Arnold L. Rosenberg:
An Optimal Strategies for Cycle-Stealing in Networks of Workstations. 545-557 - Alain Mérigot:
Associative Nets: A Graph-Based Parallel Computing Net. 558-571 - Amy W. Apon, Lawrence W. Dowdy:
The Circulating Processor Model of Parallel Systems. 572-587
- Chung-Chin Lu:
A Search of Minimal Key Functions for Normal Basis Multipliers. 588-592 - Yu-Chee Tseng, Jang-Ping Sheu:
Toward Optimal Broadcast in a Star Graph Using Multiple Spanning Trees. 593-599 - Joseph L. Ganley, James P. Cohoon:
Minimum-Congestion Hypergraph Embedding in a Cycle. 600-602 - Dimitrios Stiliadis, Anujan Varma:
Selective Victim Caching: A Method to Improve the Performance of Direct-Mapped Caches. 603-610 - M. G. Parker, Mohammed Benaissa:
Modular Arithmetic Using Low Order Redundant Bases. 611-616 - Suresh Chalasani, Rajendra V. Boppana:
Communication in Multicomputers with Nonconvex Faults. 616-622 - Marc Daumas
, David W. Matula:
Validated Roundings of Dot Products by Sticky Accumulation. 623-629 - Keqin Li:
Stochastic Bounds for Parallel Program Execution Times with Processor Constraints. 630-636
- Sukumar Nandi, Parimal Pal Chaudhuri:
Reply to Comments on "Theory and Application of Cellular Automata in Cryptography". 639
Volume 46, Number 6, June 1997
- Özalp Babaoglu
, Alberto Bartoli
, Gianluca Dini
:
Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems. 642-658 - Jorge Arturo Cobb, Mohamed G. Gouda:
The Request Reply Family of Group Routing Protocols. 659-672 - Mike P. Papazoglou
, Alex Delis, Athman Bouguettaya
, Mostafa Haghjoo:
Class Library Support for Workflow Environments and Applications. 673-686
- Younes M. Boura, Chita R. Das:
Performance Analysis of Buffering Schemes on Wormhole Routers. 687-694
- Guoping Liu, Kyungsook Y. Lee, Harry F. Jordan:
TDM and TWDM de Bruijn Networks and ShuffleNets for Optical Communications. 695-701 - Takafumi Hamano, Naofumi Takagi
, Shuzo Yajima, Franco P. Preparata:
O(n)-Depth Modular Exponentiation Circuit Algorithm. 701-704 - M. Anwarul Hasan:
Division-and-Accumulation over GF(2'''). 705-708 - Tsutomu Sasao:
Easily Testable Realizations for Generalized Reed-Muller Expressions. 709-716 - Frank K. Hwang, P. J. Wan:
Comparing File Copies with at Most Three Disagreeing Pages. 716-718 - S. Kartik, C. Siva Ram Murthy:
Task Allocation Algorithms for Maximizing Reliability of Distributed Computing Systems. 719-724 - Dali L. Tao, Kamal Kantawala:
Evaluating Reliability Improvements of Fault Tolerant Array Processors Using Algorithm-Based Fault Tolerance. 725-730 - Yuke Wang, Mostafa I. H. Abd-El-Barr, Carl McCrosky:
An Algorithm for Total Symmetric OBDD Detection. 731-733
- Dan M. Marom, David Mendlovic:
Comment on "A New Routing Algorithm for a Class of Rearrangeable Networks". 734
Volume 46, Number 7, July 1997
- Yoram Ofek, Bülent Yener, Moti Yung:
Concurrent Asynchronous Broadcast on the MetaNet. 737-748 - Seungjin Park, Bella Bose:
All-to-All Broadcasting in Faulty Hypercubes. 749-755 - Ching-Chih Han, Chao-Ju Hou, Kang G. Shin:
On Slot Allocation for Time-Constrained Messages in Dual-Bus Networks. 756-767 - Leslie Lamport:
How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor. 779-782
- Irith Pomeranz, Sudhakar M. Reddy:
Test Generation for Multiple State-Table Faults in Finite-State Machines. 783-794 - Nilanjan Mukherjee, Janusz Rajski, Jerzy Tyszer:
Design of Testable Multipliers for Fixed-Width Data Paths. 795-810
- Mitchell A. Thornton
:
Signed Binary Addition Circuitry with Inherent Even Parity Outputs. 811-816 - D. L. Tao:
A Self-Testing Nonincreasing Order Checker. 817-820 - Myung-Kyun Kim, Hyunsoo Yoon, Seung Ryoul Maeng:
On the Correctness of Inside-Out Routing Algorithm. 820-823 - W. S. VanScheik, Richard F. Tinder:
High Speed Externally Asynchronous/Internally Clocked Systems. 824-829
Volume 46, Number 8, August 1997
- Stuart F. Oberman, Michael J. Flynn:
Division Algorithms and Implementations. 833-854 - Elisardo Antelo
, Julio Villalba
, Javier D. Bruguera, Emilio L. Zapata:
High Performance Rotation Architectures Based on the Radix-4 CORDIC Algorithm. 855-870
- Hsing-Lung Chen, Nian-Feng Tzeng:
Subcube Determination in Faulty Hypercubes. 871-879 - Xiaojun Shen, Weifa Liang
, Qing Hu:
On Embedding Between 2D Meshes of the Same Size. 880-889 - Andreas Alexander Albrecht, S. K. Cheung, K. C. Hui, Kwong-Sak Leung, C. K. Wong:
Optimal Placements of Flexible Objects: Part I: Analytical Results for the Unbounded Case. 890-904 - Andreas Alexander Albrecht, S. K. Cheung, K. C. Hui, Kwong-Sak Leung, C. K. Wong:
Optimal Placements of Flexible Objects: Part II: A Simulated Annealing Approach for the Bounded Case. 905-929 - Chung-Do Yang, D. T. Lee, C. K. Wong:
The Smallest Pair of Noncrossing Paths in a Rectilinear Polygon. 930-941
- Nitin H. Vaidya:
Impact of Checkpoint Latency on Overhead Ratio of a Checkpointing Scheme. 942-947 - Yu-Chee Tseng:
A Dilated-Diagonal-Based Scheme for Broadcast in a Wormhole-Routed 2D Torus. 947-952 - Ge-Ming Chiu, Kai-Shung Chen:
Use of Routing Capability for Fault-Tolerant Routing in Hypercube Multicomputers. 953-958 - Frank K. Hwang:
A Modification to a Decomposition Algorithm of Gordon and Srikanthan. 958-960
Volume 46, Number 9, September 1997
- Dominique Michelucci, Jean-Michel Moreau:
Lazy Arithmetic. 961-975
- Avi Ziv, Jehoshua Bruck
:
An On-Line Algorithm for Checkpoint Placement. 976-985 - Ashish Mehra, Jennifer Rexford, Farnam Jahanian:
Design and Evaluation of a Window-Consistent Replication Service. 986-996 - Shantanu Dutt, Nihar R. Mahapatra:
Node-Covering, Error-Correcting Codes and Multiprocessors with Very High Average Fault Tolerance. 997-1015
- Hans Hansson
, Harold W. Lawson, Olof Bridal, Christer Eriksson, Sven Larsson, Henrik Lönn, Mikael Strömberg:
BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems. 1016-1027
- Shyue-Kung Lu, Sy-Yen Kuo
, Cheng-Wen Wu:
Fault-Tolerant Interleaved Memory Systems with Two-Level Redundancy. 1028-1034 - Sanjoy K. Baruah, Jayant R. Haritsa:
Scheduling for Overload in Real-Time Systems. 1034-1039 - Pao Hwa Sui, Sheng-De Wang:
An Improved Algorithm for Fault-Tolerant Routing in Hypercubes. 1040-1042 - Qian-Ping Gu, Shietung Peng:
k-Pairwise Cluster Fault Tolerant Routing in Hypercubes. 1042-1049 - Nozar Tabrizi, Michael J. Liebelt
, Kamran Eshraghian:
A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin's Asynchronous Design Methodology. 1050-1054
Volume 46, Number 10, October 1997
- Ted H. Szymanski
:
Design Principles for Practical Self-Routing Nonblocking Switching Networks with O(N log N) Bit-Complexity. 1057-1069 - Antonio Fernández, Kemal Efe
:
Efficient VLSI Layouts for Homogeneous Product Networks. 1070-1082 - Myung M. Bae, Bella Bose:
Resource Placement in Torus-Based Networks. 1083-1092
- Kunle Olukotun, Trevor N. Mudge, Richard B. Brown:
Multilevel Optimization of Pipelined Caches. 1083-1102