Vida Vakilotojar

According to our database, Vida Vakilotojar authored at least 2 papers between 1997 and 1998.

Collaborative distances:

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

1998

The design and verification of a high-performance low-control-overhead asynchronous differential equation solver.

Kenneth Y. Yun, Peter A. Beerel, Vida Vakilotojar, Ayoob E. Dooply, Julio Arceo

IEEE Trans. Very Large Scale Integr. Syst., 1998

1997

RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking.

Vida Vakilotojar, Peter A. Beerel

Integr., 1997