Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8255442 | Parallel efficiency calculation method and apparatus | — | 2012-08-28 |
| 7774173 | Model parameter determining method in a simulation by applying a quantifier elimination algorithm | Hirokazu Anai | 2010-08-10 |
| 7711528 | Accuracy verification program for model parameter computation using a quantifier elimination method | Hirokazu Anai | 2010-05-04 |
| 7587437 | Parallel efficiency calculation method and apparatus | — | 2009-09-08 |
| 7024667 | Parallel efficiency calculating method and apparatus | — | 2006-04-04 |