David A. Fura

According to our database, David A. Fura authored at least 7 papers between 1986 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1994

Interval-Semantic Component Models and the Efficient Verification of Transaction-Level Circiut Behavior.

David A. Fura, Arun K. Somani

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Abstraction Techniques for Modeling Real-World Interface Chips.

David A. Fura, Phillip J. Windley, Arun K. Somani

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1991

Pipeline Design Tradeoffs in a 32-bit Gallium Arsenide Microprocessor.

Veljko M. Milutinovic, David A. Fura, Walter A. Helbig

IEEE Trans. Computers, 1991

1988

Gallium Arsenide Computer Design - Tutorial.

Veljko M. Milutinovic, David A. Fura

IEEE, ISBN: 978-0-8186-0795-0, 1988

1987

Architecture/Compiler Synergism in GaAs Computer Systems.

Veljko Milutinovic, David A. Fura, Walter A. Helbig, Joseph Linn

Computer, 1987

1986

Issues of Importance in Designing GaAs Microcomputer Systems.

Veljko Milutinovic, Alex Silbey, David A. Fura, Kevin Kerin, Mark Bettinger, Walter A. Helbig, William Heagerty, Richard M. Zieger, Bob Schellack, Walter R. Curtice

Computer, 1986

An Introduction to GaAs Microprocessor Architecture for VLSI.

Veljko M. Milutinovic, David A. Fura, Walter A. Helbig

Computer, 1986