| 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 |
