Tobiah E. Smith

According to our database, Tobiah E. Smith authored at least 4 papers between 1991 and 1994.

Collaborative distances:

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

1994

Using simulated annealing to synthesize resource-bounded software.

Tobiah E. Smith, Dorothy E. Setliff

Autom. Softw. Eng., 1994

1993

Towards supporting design phase synthesis.

Tobiah E. Smith, Dorothy E. Setliff

Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

1992

Knowledge-based constraint-driven software synthesis.

Tobiah E. Smith, Dorothy E. Setliff

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1991

Towards an automatic synthesis system for real-time software.

Tobiah E. Smith, Dorothy E. Setliff

Proceedings of the Real-Time Systems Symposium, 1991