Kim P. Gostelow

Publication Activity (10 Years)

Years Active: 1972-2014
Publications (10 Years): 0

Top Topics

Development Process

Programming Language

Database Languages

Software Components

Top Venues

Publications

Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some
Spot: a programming language for verified flight software. HILT (2014)
James Alexander, Bradley Clement, Kim P. Gostelow, John Lai
Fault Mitigation Schemes for Future Spaceflight Multicore Processors. Infotech@Aerospace (2012)
Jay S. Lark, Lee D. Erman, Stephanie Forrest, Kim P. Gostelow
Concepts, Methods, and Languages for Building Timely Intelligent Systems. Real Time Syst. 2 (1-2) (1990)
Arvind, Kim P. Gostelow
The U-Interpreter. Computer 15 (2) (1982)
Kim P. Gostelow, Robert E. Thomas
Performance of a Simulated Dataflow Computer. IEEE Trans. Computers 29 (10) (1980)
Kim P. Gostelow, Robert E. Thomas
A view of dataflow. MARK (1979)
Arvind, Kim P. Gostelow, Wil Plouffe
Indeterminancy, Monitors, and Dataflow. SOSP (1977)
Arvind, Kim P. Gostelow
Some Relationships Between Asynchronous Interpreters of a Dataflow Language. Formal Description of Programming Concepts (1977)
Arvind, Kim P. Gostelow
A Computer Capable of Exchanging Processors for Time. IFIP Congress (1977)
Kim P. Gostelow, Vincent G. Cerf, Gerald Estrin, Saul Volansky
Proper termination of flow-of-control in programs involving concurrent processes. ACM Annual Conference (2) (1972)
Kim P. Gostelow, Vincent G. Cerf, Gerald Estrin, Saul Volansky
Proper termination of flow-of-control in programs involving concurrent processes. ACM SIGPLAN Notices 7 (11) (1972)