Patent | Date |
---|
Shiftable memory supporting atomic operation Grant 9,576,619 - Golab , et al. February 21, 2 | 2017-02-21 |
Shiftable memory defragmentation Grant 9,542,307 - Karp January 10, 2 | 2017-01-10 |
Distributed transaction processing through commit messages sent to a downstream neighbor Grant 9,465,648 - Karp , et al. October 11, 2 | 2016-10-11 |
Display screen or portion thereof with a context-adaptive graphical user interface Grant D761,822 - Karp July 19, 2 | 2016-07-19 |
Encryption key management using distributed storage of encryption-key fragments Grant 9,165,158 - Li , et al. October 20, 2 | 2015-10-20 |
Shiftable Memory Defragmentation App 20150046644 - Karp; Alan H. | 2015-02-12 |
Recovery segments Grant 8,909,987 - Karp , et al. December 9, 2 | 2014-12-09 |
Granting Permission to Use an Object Remotely with a Context Preserving Mechanism App 20140359705 - Karp; Alan H. ;   et al. | 2014-12-04 |
Protecting the information encoded in a bloom filter using encoded bits of data Grant 8,904,176 - Karp , et al. December 2, 2 | 2014-12-02 |
Shiftable Memory Supporting Atomic Operation App 20140310453 - Golab; Wojciech ;   et al. | 2014-10-16 |
Password changing Grant 8,826,398 - Karp September 2, 2 | 2014-09-02 |
Controlling frequency of data transfer Grant 8,683,072 - Karp , et al. March 25, 2 | 2014-03-25 |
Methods and systems for distributing digitally encoded information Grant 8,682,797 - Karp , et al. March 25, 2 | 2014-03-25 |
Mediating customer-driven exchange of access to personal data for personalized merchant offers Grant 8,655,719 - Li , et al. February 18, 2 | 2014-02-18 |
Distributed Transaction Processing App 20140040898 - KARP; Alan H. ;   et al. | 2014-02-06 |
Recovery Segments App 20130290780 - Karp.; Alan H. ;   et al. | 2013-10-31 |
Network service system and mechanism for searching service registries Grant 8,495,211 - Kuno , et al. July 23, 2 | 2013-07-23 |
Encryption Key Management App 20130177157 - Li; Jun ;   et al. | 2013-07-11 |
Password Changing App 20130086655 - Karp; Alan H. | 2013-04-04 |
Auditing data integrity Grant 8,392,708 - Shah , et al. March 5, 2 | 2013-03-05 |
Protecting The Information Encoded In A Bloom Filter Using Encoded Bits Of Data App 20130046979 - Karp; Alan H. ;   et al. | 2013-02-21 |
Look-ahead load pre-fetch in a processor Grant 8,171,266 - Karp , et al. May 1, 2 | 2012-05-01 |
Trusted hardcopy document Grant 8,117,457 - Karp February 14, 2 | 2012-02-14 |
Protecting the privacy of files referenced by their hash Grant 8,095,803 - Carter , et al. January 10, 2 | 2012-01-10 |
Transferring a data object between devices Grant 8,091,137 - Karp , et al. January 3, 2 | 2012-01-03 |
Reducing Propagation Of Message Floods In Computer Networks App 20110270979 - Schlansker; Michael S. ;   et al. | 2011-11-03 |
Using a modulation transfer function of a device to create digital content for the device Grant 8,046,838 - Karp , et al. October 25, 2 | 2011-10-25 |
Transformational conversation definition language Grant 7,970,826 - Kuno , et al. June 28, 2 | 2011-06-28 |
Intuitive File Sharing With Transparent Security App 20100198871 - Stiegler; Marc D. ;   et al. | 2010-08-05 |
Synchronization of threads in a multithreaded computer program Grant 7,757,237 - Karp , et al. July 13, 2 | 2010-07-13 |
Automated decision support system for designing auctions Grant 7,742,968 - Guler , et al. June 22, 2 | 2010-06-22 |
Authentication Grant 7,725,926 - Karp , et al. May 25, 2 | 2010-05-25 |
Method and system of typing resources in a distributed system Grant 7,702,687 - Govindarajan , et al. April 20, 2 | 2010-04-20 |
Auditing Data Integrity App 20100080391 - Shah; Mehul A. ;   et al. | 2010-04-01 |
Method and system for optional code scheduling Grant 7,673,296 - Collard , et al. March 2, 2 | 2010-03-02 |
Controlling transfer of access to data Grant 7,653,739 - Kalker , et al. January 26, 2 | 2010-01-26 |
Method for exchanging information between at least two participants via at least one intermediary to limit disclosure between the participants Grant 7,610,407 - Karp October 27, 2 | 2009-10-27 |
Method and apparatus for processing descriptive statements Grant 7,519,822 - Sayers , et al. April 14, 2 | 2009-04-14 |
Trusted Hardcopy Document App 20090019550 - Karp; Alan H. | 2009-01-15 |
Assessing health of a subsystem or service within a networked system Grant 7,426,502 - Bronstein , et al. September 16, 2 | 2008-09-16 |
Method and apparatus for identifying an object using an object description language Grant 7,426,525 - Sayers , et al. September 16, 2 | 2008-09-16 |
System and method for selectively increasing message transaction costs Grant 7,383,306 - Karp June 3, 2 | 2008-06-03 |
Transferring a data object between devices App 20080104706 - Karp; Alan H. ;   et al. | 2008-05-01 |
Detecting data races in multithreaded computer programs Grant 7,366,956 - Karp , et al. April 29, 2 | 2008-04-29 |
Wireless network system Grant 7,362,865 - Karp April 22, 2 | 2008-04-22 |
Method and system for cryptographically secure hashed end marker of streaming data Grant 7,350,070 - Smathers , et al. March 25, 2 | 2008-03-25 |
Providing instruction execution hints to a processor using break instructions Grant 7,191,430 - Karp , et al. March 13, 2 | 2007-03-13 |
Accessing file under confinement App 20070050369 - Stiegler; Marc D. ;   et al. | 2007-03-01 |
Computer language for defining business conversations Grant 7,165,113 - Karp , et al. January 16, 2 | 2007-01-16 |
Task-specific flexible binding in a software system Grant 7,107,591 - Karp , et al. September 12, 2 | 2006-09-12 |
Negotiation protocol with compromise that is guaranteed to terminate Grant 7,096,196 - Karp , et al. August 22, 2 | 2006-08-22 |
Negotiation system and processor-based method App 20060160593 - Karp; Alan H. | 2006-07-20 |
Providing a user a non-degraded presentation experience while limiting access to the non-degraded presentation experience App 20060095453 - Miller; Mark S. ;   et al. | 2006-05-04 |
Method and system for determining resource allocation to users by granting request based on user associated different limits and resource limit Grant 7,032,222 - Karp , et al. April 18, 2 | 2006-04-18 |
Method and system of typing resources in a distributed system Grant 7,028,035 - Govindarajan , et al. April 11, 2 | 2006-04-11 |
Sending a message to an alert computer App 20060075493 - Karp; Alan H. ;   et al. | 2006-04-06 |
Method of accessing a file for editing with an application having limited access permissions App 20060047727 - Karp; Alan H. ;   et al. | 2006-03-02 |
Method and system for optional code scheduling App 20060026582 - Collard; Jean-Francois ;   et al. | 2006-02-02 |
Computer executing instructions having embedded synchronization points App 20060026388 - Karp; Alan H. ;   et al. | 2006-02-02 |
Detecting memory address bounds violations App 20050283770 - Karp, Alan H. ;   et al. | 2005-12-22 |
Synchronization of threads in a multithreaded computer program App 20050283780 - Karp, Alan H. ;   et al. | 2005-12-22 |
Detecting data races in multithreaded computer programs App 20050283781 - Karp, Alan H. ;   et al. | 2005-12-22 |
Computer architechture including implemented and unimplemented registers App 20050251663 - Karp, Alan H. | 2005-11-10 |
Method and system of typing resources in a distributed system App 20050240651 - Govindarajan, Kannan ;   et al. | 2005-10-27 |
Method and system for cryptographically secure hashed end marker of streaming data App 20050226419 - Smathers, Kevin L. ;   et al. | 2005-10-13 |
Method and apparatus for processing descriptive statements App 20050204141 - Sayers, Craig P. ;   et al. | 2005-09-15 |
Method for exchanging information App 20050132073 - Karp, Alan H. | 2005-06-16 |
Method and apparatus for identifying an object using an object description language App 20050033768 - Sayers, Craig P. ;   et al. | 2005-02-10 |
System and method for selectively increasing message transaction costs App 20050027879 - Karp, Alan H. | 2005-02-03 |
Automated negotiation App 20040243495 - Karp, Alan H. | 2004-12-02 |
Method for enhancing a sporting event by localized information display Grant 6,765,565 - Sayers , et al. July 20, 2 | 2004-07-20 |
Security tags with a reversible optical indicator Grant 6,752,837 - Karp June 22, 2 | 2004-06-22 |
Verifiable random number generator using chaos Grant 6,732,127 - Karp May 4, 2 | 2004-05-04 |
Network service system and mechanism for searching service registries App 20040064554 - Kuno, Harumi Anne ;   et al. | 2004-04-01 |
Method for enhancing a sporting event by localized information display App 20040036771 - Sayers, Craig ;   et al. | 2004-02-26 |
System-specific passwords App 20040025026 - Karp, Alan H. ;   et al. | 2004-02-05 |
Security tags with a reversible visible indicator App 20040000998 - Karp, Alan H. | 2004-01-01 |
Wireless network system App 20030196115 - Karp, Alan H. | 2003-10-16 |
Advanced load address table entry invalidation based on register address wraparound Grant 6,631,460 - Morris , et al. October 7, 2 | 2003-10-07 |
Apparatus and method for selling personal information App 20030154171 - Karp, Alan H. ;   et al. | 2003-08-14 |
Transformational conversation definition language App 20030120730 - Kuno, Harumi Anne ;   et al. | 2003-06-26 |
Methods and apparatus for controlling exponent range in floating-point calculations Grant 6,578,059 - Huck , et al. June 10, 2 | 2003-06-10 |
Providing instruction execution hints to a processor using break instructions App 20030061598 - Karp, Alan H. ;   et al. | 2003-03-27 |
Look-ahead load pre-fetch in a processor App 20030046518 - Karp, Alan H. ;   et al. | 2003-03-06 |
Assessing health of a subsystem or service within a networked system App 20030018494 - Bronstein, Alexandre ;   et al. | 2003-01-23 |
Lightweight dynamic service conversation controller App 20020188666 - Lemon, Michael J. ;   et al. | 2002-12-12 |
Automated decision support system for designing auctions App 20020174052 - Guler, Kemal ;   et al. | 2002-11-21 |
Resource access control in a software system Grant 6,470,339 - Karp , et al. October 22, 2 | 2002-10-22 |
Verifiable random number generator using chaos App 20020124032 - Karp, Alan H. | 2002-09-05 |
Computer language for defining business conversations App 20020120704 - Karp, Alan H. ;   et al. | 2002-08-29 |
Execution of an instruction to load two independently selected registers in a single cycle Grant 6,408,380 - Huck , et al. June 18, 2 | 2002-06-18 |
Processor having data buffer for speculative loads Grant 6,321,328 - Karp , et al. November 20, 2 | 2001-11-20 |
Method for sharing and executing inaccessible dynamic processes for replica consistency among a plurality of existing applications Grant 6,314,453 - Hao , et al. November 6, 2 | 2001-11-06 |
System and method for deferring exceptions generated during speculative execution Grant 6,301,705 - Doshi , et al. October 9, 2 | 2001-10-09 |
Infrastructure for an open digital services marketplace Grant 6,205,466 - Karp , et al. March 20, 2 | 2001-03-20 |
Methods and apparatus for efficient control of floating-point status register Grant 6,151,669 - Huck , et al. November 21, 2 | 2000-11-21 |
Method and system to optimize software execution by a computer using hardware attributes of the computer Grant 5,944,819 - Kumar , et al. August 31, 1 | 1999-08-31 |
Sectored virtual memory management system and translation look-aside buffer (TLB) for the same Grant 5,946,716 - Karp , et al. August 31, 1 | 1999-08-31 |
Method and system for selecting instructions for re-execution for in-line exception recovery in a speculative execution processor Grant 5,881,280 - Gupta , et al. March 9, 1 | 1999-03-09 |
Mechanism to control and use window events among applications in concurrent computing Grant 5,844,553 - Hao , et al. December 1, 1 | 1998-12-01 |
Method and system for supporting speculative execution using a speculative look-aside table Grant 5,748,936 - Karp , et al. May 5, 1 | 1998-05-05 |
Method and apparatus to sense and multicast window events to a plurality of existing applications for concurrent execution Grant 5,742,778 - Hao , et al. April 21, 1 | 1998-04-21 |
Data merging method and apparatus for shared memory multiprocessing computer systems Grant 5,710,881 - Gupta , et al. January 20, 1 | 1998-01-20 |
Method and apparatus for correctly rounding results of division and square root computations Grant 5,671,170 - Markstein , et al. September 23, 1 | 1997-09-23 |
Sender-selective send/receive order processing on a per message basis Grant 5,588,117 - Karp , et al. December 24, 1 | 1996-12-24 |
Floating point arithmetic unit using modified Newton-Raphson technique for division and square root Grant 5,515,308 - Karp , et al. May 7, 1 | 1996-05-07 |
Floating point arithmetic unit using modified Newton-Raphson technique for division and square root Grant 5,341,321 - Karp , et al. August 23, 1 | 1994-08-23 |
System for inserting constructs into compiled code, defining scoping of common blocks and dynamically binding common blocks to tasks Grant 5,093,916 - Karp , et al. March 3, 1 | 1992-03-03 |
Hardware assist for protecting PC software Grant 4,866,769 - Karp September 12, 1 | 1989-09-12 |
Method for extending the exponent range of an IBM 370-type floating point processor Grant 4,603,323 - Hassitt , et al. July 29, 1 | 1986-07-29 |