Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

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

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

Cycle-Time Properties of the Timed Token Medium Access Control Protocol

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

The Warp Computer: Architecture, Implementation, and Performance

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

GF(2/sup M/) Multiplication and Division Over the Dual Basis

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

Generation of High Quality Tests for Robustly Untestable Path Delay Faults

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

Cyclic Staggered Scheme: A Loop Allocation Policy for DOACROSS Loops

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

Addition Related Arithmetic Operations via Controlled Transport of Charge

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

A Computer Program for the Statistical Analysis of Repeated Event Data Using a Mixed Effects Regression Model

Computer Methods and Programs in Biomedicine

Computer Science Applications

Health Informatics

English

The Fat-Pyramid and Universal Parallel Computation Independent of Wire Delay

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

Fault-Tolerant Meshes and Hypercubes With Minimal Numbers of Spares

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English