Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Hardware

Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs With Symmetries

IEEE Transactions on Parallel and Distributed Systems

Computational Theory

Signal Processing

English

Efficient Initial Approximation for Multiplicative Division and Square Root by a Multiplication With Operand Modification

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

Alleviating Consumption Channel Bottleneck in Wormhole Routed K-Ary N-Cube Systems

IEEE Transactions on Parallel and Distributed Systems

Computational Theory

Signal Processing

English

How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

A Cost Model for Selecting Checkpoint Positions in Time Warp Parallel Simulation

IEEE Transactions on Parallel and Distributed Systems

Computational Theory

Signal Processing

English

Computing in the RAIN: A Reliable Array of Independent Nodes

IEEE Transactions on Parallel and Distributed Systems

Computational Theory

Signal Processing

English

Analysis of Asynchronous Binary Arbitration on Digital Transmission-Line Busses

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

Accuracy vs. Precision in Digital VLSI Architectures for Signal Processing

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

Resource Sharing Interconnection Networks in Multiprocessors

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

Embedding Graphs Onto the Supercube

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English