| Document Date: 2010-12-20 17:07:49
Open Document File Size: 1,89 MBShare Result on Facebook
City )Ln Trace / / Company GPU / / / IndustryTerm dependable software / non-traditional processing hardware / certified software approach / physical hardware / foreign systems / individual technologies / replay systems / certified software / detailed hardware / user applications / correctly-designed hardware / main developer / Internet Architecture / verification systems / crash-proof computing hosts / runtime systems / software components / software developers / certifying static analysis and rewriting tools / file systems / slight manufacturing defects / possible devices / type systems / software-fault isolation / web server process / legacy applications / system software / web server plug-in / Low-level system software uses / / NaturalFeature FLINT / / OperatingSystem VMs / DoS / Singularity / L3 / / Organization Department of Computer Science / MIT / Yale University / / Person Bryan Ford / / Position architect / page table manager / kernel memory manager / physical memory manager / simplified keyboard driver / virtual memory manager / scheduler / manager / optimistic concurrency / kernel virtual memory manager / / ProgrammingLanguage C / / TVStation KDev / / Technology virtual machine / use algorithms / automatic identification / flow control / individual technologies / virtual memory / Operating System / shared memory / operating systems / DSL / flash / web server / / URL http /
SocialTag |
Advanced Development of Certified OS Kernels Zhong Shao (PI) and Bryan Ford (Co-PI) Department of Computer Science, Yale University P.O.Box[removed], New Haven, CT[removed], USA {zhong.shao,bryan.ford}@yale.edu Technical