| 12175505 |
Methods and apparatus for anomaly detections |
Jagdish Ramakrishnan, Elham Shaabani, Chao Li |
2024-12-24 |
| 11429992 |
Systems and methods for dynamic pricing |
Ravi Sastry Ganti Mahapatruni, Quoc Tan Tran, Brian Thomas Seaman |
2022-08-30 |
| 11403682 |
Methods and apparatus for anomaly detections |
Jagdish Ramakrishnan, Elham Shaabani, Chao Li |
2022-08-02 |
| 8555221 |
Partitioning for hardware-accelerated functional verification |
Michael D. Moffitt, Paul G. Villarrubia |
2013-10-08 |
| 8495535 |
Partitioning and scheduling uniform operator logic trees for hardware accelerators |
Zoltan T. Hidvegi, Michael D. Moffitt |
2013-07-23 |
| 8327304 |
Partitioning for hardware-accelerated functional verification |
Michael D. Moffitt, Paul G. Villarrubia |
2012-12-04 |
| 7734452 |
Method and system for performing ternary verification |
Jason R. Baumgartner, Hari Mony, Viresh Paruthi |
2010-06-08 |
| 7552043 |
Method, system and program product for selectively removing instrumentation logic from a simulation model |
Gabor Bobok, Wolfgang Roesner, Derek E. Williams |
2009-06-23 |
