Kim P. Gostelow

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