Thomas W. Lake

According to our database, Thomas W. Lake authored at least 6 papers between 1988 and 2000.

Collaborative distances:

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

2000

Non-Interference Analysis for Mixed Criticality Code in Avionics Systems.

Mike G. Hill, Thomas W. Lake

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1996

Reverse Engineering of Assembler Programs: A Model-Based Approach and its Logical Basis.

Tom Lake, Tim Blanchard

Proceedings of the 3rd Working Conference on Reverse Engineering, 1996

1995

Distributed simulation with locality.

Tim Blanchard, Tom Lake

Proceedings of the Ninth Workshop on Parallel and Distributed Simulation, 1995

Featherweight Threads and ANDF Compilation of Concurrency.

Ben Sloman, Tom Lake

Proceedings of the Euro-Par '95 Parallel Processing, 1995

1994

Cooperative acceleration: robust conservative distributed discrete event simulation.

Timothy David Blanchard, Thomas W. Lake, Stephen John Turner

Proceedings of the Eighth Workshop on Parallel and Distributed Simulation, 1994

1988

Languages for Parallel Processing / Sprachen für die parallele Datenverarbeitung.

Tom Lake

it Inf. Technol., 1988