D. Fura

发表

An Interpreter Interface Language : From Its Formal Embedding in Higher-Order Logic to Its Role in Better Simulation Practices

Arun Kumar Somani, D. Fura, 2007 .

An Introduction to GaAs Microprocessor Architecture for VLSI

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

Pipeline Design Tradeoffs in a 32-bit Gallium Arsenide Microprocessor

Veljko M. Milutinovic, David A. Fura, Walter A. Helbig, 1991, IEEE Trans. Computers.

Architecture/Compiler Synergism in GaAs Computer Systems

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

Issues of Importance in Designing GaAs Microcomputer Systems

Veljko M. Milutinovic, David A. Fura, Richard M. Zieger, 1986, Computer.

Architectural Approaches For Gallium Arsenide Exploitation In High-Speed Computer Design

David Allen Fura, D. Fura, 1985 .

Interpreter composition issues in the formal verification of a processor-memory module

David A. Fura, Gerald C. Cohen, G. C. Cohen, 1994 .

Towards the formal specification of the requirements and design of a processor interface unit

David A. Fura, Phillip J. Windley, Gerald C. Cohen, 1993 .

Formal design specification of a Processor Interface Unit

David A. Fura, Phillip J. Windley, Gerald C. Cohen, 1992 .

Abstraction Techniques for Modeling Real-World Interface Chips

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