David A. Fura

Publication Activity (10 Years)

Years Active: 1986-1994
Publications (10 Years): 0

Publications

David A. Fura, Arun K. Somani
Interval-Semantic Component Models and the Efficient Verification of Transaction-Level Circiut Behavior. TPHOLs (1994)
David A. Fura, Phillip J. Windley, Arun K. Somani
Abstraction Techniques for Modeling Real-World Interface Chips. HUG (1993)
Veljko M. Milutinovic, David A. Fura, Walter A. Helbig
Pipeline Design Tradeoffs in a 32-bit Gallium Arsenide Microprocessor. IEEE Trans. Computers 40 (11) (1991)
Veljko Milutinovic, David A. Fura, Walter A. Helbig, Joseph Linn
Architecture/Compiler Synergism in GaAs Computer Systems. Computer 20 (5) (1987)
Veljko Milutinovic, Alex Silbey, David A. Fura, Kevin Kerin, Mark Bettinger, Walter A. Helbig, William Heagerty, Richard M. Zieger, Bob Schellack, Walter R. Curtice
Issues of Importance in Designing GaAs Microcomputer Systems. Computer 19 (10) (1986)
Veljko M. Milutinovic, David A. Fura, Walter A. Helbig
An Introduction to GaAs Microprocessor Architecture for VLSI. Computer 19 (3) (1986)