M. Esen Tuna

According to our database, M. Esen Tuna authored at least 5 papers between 1993 and 1996.

Collaborative distances:

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

1996

A Tutorial on Digital Design Derivation Using DRS.

Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

Specification and synthesis of bounded indirection.

M. Esen Tuna, Kamlesh Rath, Steven D. Johnson

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

1994

Continuations in Hardware-Software Codesign.

M. Esen Tuna, Steven D. Johnson, Robert G. Burger

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1993

System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition.

Bhaskar Bose, M. Esen Tuna, Steven D. Johnson

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

Behavior tables: a basis for system representation and transformational system synthesis.

Kamlesh Rath, M. Esen Tuna, Steven D. Johnson

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993