| 8195739 |
Adaptive polling |
James Bernardin, James Lewis |
2012-06-05 |
| 7819120 |
Respiratory component mounting assembly |
David S. Taylor, Desmond T. Curran, Peter B. Allen, Scott R. Alexander |
2010-10-26 |
| 7730455 |
Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints |
Ajay Chander, Nayeem Islam, David Espinosa, George C. Necula |
2010-06-01 |
| 7574695 |
Performing checks on the resource usage of computer programs |
Ajay Chander, Nayeem Islam, David Espinosa, George C. Necula |
2009-08-11 |
| 7454800 |
Anatomically fitted respiratory component belt |
David S. Taylor, Christopher P. Henderson |
2008-11-25 |
| 7197774 |
Supplied air helmet having face seal with differentiated permeability |
Desmond T. Curran, Richard D. Williams, Peter N. Yates, Derek S. Baker |
2007-04-03 |
| D532163 |
Side portion of a welding helmet |
Desmond T. Curran, Daniel J. Martin |
2006-11-14 |
| 7130891 |
Score-based scheduling of service requests in a grid services computing platform |
James Bernardin |
2006-10-31 |
| D529606 |
Air duct |
Paul Hind, Desmond T. Curran |
2006-10-03 |
| 7104264 |
Rigid air ducting for respirator hoods and helmets |
Christopher P. Henderson |
2006-09-12 |
| 7093004 |
Using execution statistics to select tasks for redundant assignment in a distributed computing platform |
James Bernardin, James Lewis |
2006-08-15 |
| D523728 |
Hinge for a welding helmet window |
Desmond T. Curran, Daniel J. Martin |
2006-06-27 |
| D518923 |
Top portion of a welding helmet |
Desmond T. Curran, Daniel J. Martin |
2006-04-11 |
| D517745 |
Chin portion of welding helmet visor |
Desmond T. Curran, Daniel J. Martin |
2006-03-21 |
| D517744 |
Side portion of a welding helmet |
Desmond T. Curran, Daniel J. Martin |
2006-03-21 |
| D501958 |
Belt interior rear panel ornamentation |
David S. Taylor |
2005-02-15 |
| 6757730 |
Method, apparatus and articles-of-manufacture for network-based distributed computing |
James Bernardin |
2004-06-29 |
| 6128774 |
Safe to execute verification of software |
George C. Necula |
2000-10-03 |
| 4370057 |
Method of verification of a sheet element, such as a banknote |
— |
1983-01-25 |
| 4290630 |
Security devices |
— |
1981-09-22 |
| 4234214 |
Document carrying a legible code, and method and apparatus for producing same |
— |
1980-11-18 |
| 4186943 |
Security devices |
— |
1980-02-05 |
