Back to Results
First PageMeta Content
Software bugs / Software testing / Concurrent computing / Thread / Chess / Computer chess / Heisenbug / Scheduling / CHESS model checker / Games / Computer programming / Computing


Document Date: 2009-07-21 20:08:01

Open Document

File Size: 2,60 MB

Share Result on Facebook

City

Austin / /

Company

Microsoft / /

OperatingSystem

Microsoft Windows / /

Person

Tom Ball / Katie Coons / Gerard Basler / /

Position

Exploration Engine CHESS Scheduler / user-mode scheduler / CHESS Scheduler / /

Technology

CHESS algorithms / /

SocialTag