| 10372423 |
System and method for managing resources using a compositional programming model |
Bruce D. Lucas, Rafah A. Hosn, Maria-Cristina V. Marinescu, Mark N. Wegman, Charles F. Wiecha |
2019-08-06 |
| 8671284 |
Security model for actor-based languages and apparatus, methods, and computer programming products using same |
Bard Bloom, Salvatore A. Guarnieri, Marco Pistoia |
2014-03-11 |
| 8661264 |
Security model for actor-based languages and apparatus, methods, and computer programming products using same |
Bard Bloom, Salvatore A. Guarnieri, Marco Pistoia |
2014-02-25 |
| 8056047 |
System and method for managing resources using a compositional programming model |
Bruce D. Lucas, Rafah A. Hosn, Maria-Cristina V. Marinescu, Mark N. Wegman, Charles F. Wiecha |
2011-11-08 |
| 7509298 |
System and method for a logical-model based application understanding and transformation |
Satish Chandra, Raghavan Komondoor, Ganesan Ramalingam, Saurabh Sinha |
2009-03-24 |
| 6301700 |
Method and apparatus for slicing class hierarchies |
Jong-Deok Choi, Ganesan Ramalingam, Frank Tip |
2001-10-09 |
| 6279149 |
Aggregate structure identification and its application to program analysis |
Ganesan Ramalingam, Frank Tip |
2001-08-21 |
| 6179491 |
Method and apparatus for slicing class hierarchies |
Jong-Deok Choi, Ganesan Ramalingam, Frank Tip |
2001-01-30 |
| 5594169 |
Optically sensed wire gyroscope apparatus and system, and methods for manufacture and cursor control |
Steven P. Hotelling |
1997-01-14 |
| 4831983 |
Stepper motor control for fuel injection |
Eric Day |
1989-05-23 |
| 4488069 |
Stepping motor |
— |
1984-12-11 |
| 4438381 |
Synchronous motor system |
— |
1984-03-20 |
| 4423343 |
Synchronous motor system |
— |
1983-12-27 |
| 4255696 |
Synchronous motor system |
— |
1981-03-10 |
