Inventors list |
Agents list |
Assignees list |
List by place |
Classification tree browser |
Top 100 Inventors |
Top 100 Agents |
Top 100 Assignees |
Shaz Qadeer
SEATTLE, WA US
1. 20090178044 FAIR STATELESS MODEL CHECKING - Techniques for providing a fair stateless model checker are disclosed 07-09-20092. 20080271042 TESTING MULTI-THREAD SOFTWARE USING PRIORITIZED CONTEXT SWITCH LIMITS 10-30-2008