Issued Patents All Time
Showing 1–19 of 19 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11502913 | Simulating time synchronization | Yakov Kamen, Alex Wilms | 2022-11-15 |
| 11252065 | Clock synchronization in a heterogeneous system | Yakov Kamen, Alex Wilms, Ankur Kumar Sharma, David Gofman, Danjue Li +1 more | 2022-02-15 |
| 11252068 | Clock synchronization in a heterogeneous system | Yakov Kamen, Danjue Li, Ankur Kumar Sharma | 2022-02-15 |
| 11197075 | Clock synchronization in a heterogeneous system | Yakov Kamen, Danjue Li, Ankur Kumar Sharma | 2021-12-07 |
| 7770152 | Method and apparatus for coordinating state and execution context of interpreted languages | Deepak Alur, Syed Mohammad Ali, John Crupi, Daniel Malks | 2010-08-03 |
| 7703074 | Method and apparatus for tracking changes in a system | Syed Mohammad Ali, Deepak Alur, John Crupi, Daniel Malks | 2010-04-20 |
| 7660802 | Method and apparatus for generating components for pattern-based system design analysis using a characteristics model | Syed Mohammad Ali, Deepak Alur, John Crupi, Daniel Malks | 2010-02-09 |
| 7653898 | Method and apparatus for generating a characteristics model for a pattern-based system design analysis using a schema | Syed Mohammad Ali, Deepak Alur, John Crupi, Daniel Malks, Rajmohan Krishnamurthy | 2010-01-26 |
| 7634766 | Method and apparatus for pattern-based system design analysis using a meta model | Syed Mohammad Ali, Deepak Alur, John Crupi, Daniel Malks, Michael W. Godfrey | 2009-12-15 |
| 7624108 | Method and apparatus for formally specifying application-specific read/write consistency | Robert N. Goldberg, Bruce K. Daniels, Syed Mohammad Ali | 2009-11-24 |
| 7571434 | Method and apparatus for transparent invocation of a characteristics extractor for pattern-based system design analysis | Deepak Alur, John Crupi, Daniel Malks, Syed Mohammad Ali | 2009-08-04 |
| 7165101 | Transparent optimization of network traffic in distributed systems | Bruce K. Daniels, Syed Mohammad Ali, Robert N. Goldberg, Peter Yared | 2007-01-16 |
| 7162721 | Application-independent API for distributed component collaboration | Syed Mohammad Ali, Robert N. Goldberg, Bruce K. Daniels, Peter Yared | 2007-01-09 |
| 7062756 | Dynamic object usage pattern learning and efficient caching | Robert N. Goldberg, Bruce K. Daniels, Syed Mohammad Ali, Peter Yared | 2006-06-13 |
| 7058655 | Determining object graph and object graph projection | Robert N. Goldberg, Peter Yared, Bruce K. Daniels, Syed Mohammad Ali | 2006-06-06 |
| 7028055 | Method and apparatus for improving transaction specification by marking application states | Robert N. Goldberg, Syed Mohammad Ali, Bruce K. Daniels | 2006-04-11 |
| 6996798 | Automatically deriving an application specification from a web-based application | Syed Mohammad Ali, Bruce K. Daniels, Robert N. Goldberg | 2006-02-07 |
| 6980998 | Method and apparatus for merging data graphs using data identity control | Bruce K. Daniels, Robert N. Goldberg, Syed Mohammad Ali | 2005-12-27 |
| 6769048 | Cache synchronization method, system and apparatus for a distributed application and an object located in a client cache | Robert N. Goldberg, Bruce K. Daniels, Peter Yared, Syed Mohammad Ali | 2004-07-27 |