| 11860996 |
Security concepts for web frameworks |
Filip J. Pizlo, Yin Zin Mark Lam, Jean-Francois Bastien |
2024-01-02 |
| 11709675 |
Software verification of dynamically generated code |
Filip J. Pizlo, Bernard J. Semeria, Jacques Fortier, Ivan Krstic, Yusuke Suzuki +2 more |
2023-07-25 |
| 8724813 |
Wireless device setup |
Wolfgang Baltes |
2014-05-13 |
| 6584487 |
Method, system, and apparatus for managing tasks |
— |
2003-06-24 |
| 6336215 |
Apparatus and method for on-line code only replacement of a running program using checkpoints |
Roy T. Oberhauser |
2002-01-01 |
| 6314567 |
Apparatus and method for transferring state data when performing on-line replacement of a running program code and data |
Roy T. Oberhauser |
2001-11-06 |
| 6269442 |
Apparatus and method for on-line replacement of a running program code and data using checkpoints |
Roy T. Oberhauser |
2001-07-31 |
| 6202205 |
System and method for profile-based, on-the-fly optimization of library code |
Patrick MacRoberts |
2001-03-13 |
| 6199203 |
Memory management techniques for on-line replaceable software |
— |
2001-03-06 |
| 6185734 |
Hierarchical registry structure for managing multiple versions of software components |
Andrew Maag, Alan McGowen |
2001-02-06 |
| 6154878 |
System and method for on-line replacement of software |
— |
2000-11-28 |
