Issued Patents All Time
Showing 1–22 of 22 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |