Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Theory

Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2000English

Agent-Based Load Balancing on Homogeneous Minigrids: Macroscopic Modeling and Characterization

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2005English

Computationally Efficient and Numerically Stable Reliability Bounds for Repairable Fault-Tolerant Systems

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2002English

A Simplified Method to Calculate Failure Times in Fault-Tolerant Systems

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1983English

A Minimal Universal Test Set for Self-Test of EXOR-Sum-of-Products Circuits

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2000English

An Overview of Packet Reordering in Transmission Control Protocol (TCP): Problems, Solutions, and Challenges

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2007English

AGAMOS: A Graph-Based Approach to Modulo Scheduling for Clustered Microarchitectures

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2009English

A Probabilistic Pipeline Algorithm for K Selection on the Tree Machine

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1987English

Fault Tolerance Measures for M-Ary N-Dimensional Hypercubes Based on Forbidden Faulty Sets

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1998English

RIDDLE: A Foundation for Test Generation on a High-Level Design Description

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1991English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy