| 8959490 |
Optimizing heap memory usage |
Kumar Rangarajan |
2015-02-17 |
| 8549503 |
Detecting dangling pointers and memory leaks within software |
— |
2013-10-01 |
| 8245209 |
Detecting dangling pointers and memory leaks within software |
— |
2012-08-14 |
| 8185880 |
Optimizing heap memory usage |
Kumar Rangarajan |
2012-05-22 |
| 7990980 |
Modeling non-deterministic priority queues for efficient model checking |
Ziv Glazberg, Janees Elamkulam, Sandeep Kohli, Ishai Rabinovitz |
2011-08-02 |
| 7861231 |
System and method of identification of dangling pointers |
Kumar Rangarajan, Ziv Glazberg, Ishai Rabinovitz |
2010-12-28 |
| 5633843 |
User friendly compact disk (CD) read only memory (ROM) player |
Kiyoshi Maruyama, Steven E. Millman, Chung-Wai Yue, Halil B. Bakoglu |
1997-05-27 |
| 5113180 |
Virtual display adapter |
Steven P. Larky, Alan W. Peevers, Joe C. St. Clair |
1992-05-12 |
| 5065368 |
Video RAM double buffer select control |
Randall L. Henderson, Nathan R. Hiltebeitel, Robert Tamlyn, Steven W. Tomashot, Todd Williams |
1991-11-12 |
| 5001672 |
Video ram with external select of active serial access register |
Timothy J. Ebbers, Randall L. Henderson, Nathan R. Hiltebeitel, Robert Tamlyn, Steven W. Tomashot +1 more |
1991-03-19 |
| 4870406 |
High resolution graphics display adapter |
Leon Lumelsky, Robert L. Mansfield, Hector G. Romero, Jr., Marc Segre, Alexander K. Spencer +2 more |
1989-09-26 |
| 4720705 |
Virtual resolution displays |
Bruce D. Lucas |
1988-01-19 |
| 4644503 |
Computer memory system with integrated parallel shift circuits |
David F. Bantz, Bruce D. Lucas |
1987-02-17 |
| 4587629 |
Random address memory with fast clear |
Frederick Dill, Peter J. Warter, Jr. |
1986-05-06 |
