Kim P. Gostelow

According to our database, Kim P. Gostelow authored at least 10 papers between 1972 and 2014.

Collaborative distances:

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

2014

Spot: a programming language for verified flight software.

Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2012

Fault Mitigation Schemes for Future Spaceflight Multicore Processors.

James Alexander, Bradley Clement, Kim P. Gostelow, John Lai

Proceedings of the Infotech@Aerospace 2012, 2012

1990

Concepts, Methods, and Languages for Building Timely Intelligent Systems.

Jay S. Lark, Lee D. Erman, Stephanie Forrest, Kim P. Gostelow

Real Time Syst., 1990

1982

The U-Interpreter.

Arvind, Kim P. Gostelow

Computer, 1982

1980

Performance of a Simulated Dataflow Computer.

Kim P. Gostelow, Robert E. Thomas

IEEE Trans. Computers, 1980

1979

A view of dataflow.

Kim P. Gostelow, Robert E. Thomas

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

1977

Indeterminancy, Monitors, and Dataflow.

Arvind, Kim P. Gostelow, Wil Plouffe

Proceedings of the Sixth Symposium on Operating System Principles, 1977

Some Relationships Between Asynchronous Interpreters of a Dataflow Language.

Arvind, Kim P. Gostelow

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

A Computer Capable of Exchanging Processors for Time.

Arvind, Kim P. Gostelow

Proceedings of the Information Processing, 1977

1972

Proper termination of flow-of-control in programs involving concurrent processes.

Kim P. Gostelow, Vincent G. Cerf, Gerald Estrin, Saul Volansky

ACM SIGPLAN Notices, 1972