| 8156472 |
Process language for microprocessors with finite resources |
L. Gregory Meredith, Allen L. Brown, George M. Moore |
2012-04-10 |
| 7702749 |
Type checking for safe interoperability among web processes |
L. Gregory Meredith, Steve Bjorg |
2010-04-20 |
| 7216335 |
Operational semantics rules for governing evolution of processes and queries as processes |
L. Gregory Meredith, Steve Bjorg |
2007-05-08 |
| 7117487 |
Structural equivalence of expressions containing processes and queries |
L. Gregory Meredith, Steve Bjorg |
2006-10-03 |
| 7055142 |
Permutation nuances of the integration of processes and queries as processes at queues |
L. Gregory Meredith, Steve Bjorg |
2006-05-30 |
| 6665866 |
Extensible compiler utilizing a plurality of question handlers |
Paul J. Kwiatkowski, William Emeric Aitken, Brian Dickens, Charles Simonyi, Muthukrishnan Paramasivam +2 more |
2003-12-16 |
| 6493869 |
Inheriting code in a transformational programming system |
Paul J. Kwiatkowski, M. Paramasivam |
2002-12-10 |
| 5265466 |
Rod insertion method and friction reducing device |
William T. Sweeney |
1993-11-30 |
| 5211249 |
Apparatus and method for obtaining subterranean samples |
Michael C. Kasl, David Overman, Joel F. Wilson |
1993-05-18 |
| 4253147 |
Memory unit with pipelined cycle of operations |
James R. MacDougall |
1981-02-24 |
| 4245344 |
Processing system with dual buses |
— |
1981-01-13 |
