Austin / Orlando / Raleigh / Palo Alto / Cambridge / San Diego / Limerick / /
Company
Microsoft Press / Air Force Research Laboratory / Olin / Las Vegas NV / Compaq / TSL Software / discover using TSL / /
Country
France / Ireland / / /
Event
Reorganization / /
Facility
Compaq Systems Research Center / University of Utah / Aaron Greenhouse / Air Force Research Laboratory / /
IndustryTerm
software system / component-based systems software / web-based monitoring system / real time / real-time deadlines / timecritical processing / software modules / in component based systems / call chain / oil pipeline / improved algorithms / component systems / systems software / hardware devices / embedded software / resource-constrained embedded systems / search space / Priority inheritance protocols / correct systems / component software / systems software components / event-processing loop / Internet servers / applicationlevel systems software / software contexts / software systems / component-based software / realtime scheduling tool / real-time operating systems / type systems / brute-force algorithm / to static systems / extended type systems / /
OperatingSystem
UNIX / UNIX-like / Microsoft Windows 2000 / TinyOS / Linux / Windows 2000 / RTLinux / /
Organization
Defense Advanced Research Projects Agency / University of Utah / John Regehr Alastair Reid School of Computing / National Science Foundation / /
Person
K. Rustan M. Leino / Albert Lin / Ragunathan Rajkumar / Lui Sha / Conor Madigan / Matthew B. Dwyer / Matthew Flatt / David A. Solomon / James C. Corbett / Alastair Reid / John Lehoczky / Leigh Stoller / Eric Eide / David Culler / Jason Hill / John Hatcliff / David L. Detlefs / Sharad Malik / Greg Nelson / Kristofer Pister / Robby / Gerard J. Holzmann / William L. Scherlis / Victor Yodaiken / Shawn Laubach / Lintao Zhang / Bryan Ford / John Regehr / James B. Saxe / Robert Szewczyk / Greg Benson / Corina S. Pasareanu / Cormac Flanagan / Martin Abadi / Ying Zhao / Mark E. Russinovich / Jay Lepreau / Alec Woo / Seth Hollar / Matthew Moskewicz / /