| Patent | Date |
|---|
Intents and locks with intent
Grant 11,327,905 - Zhou , et al. May 10, 2 | 2022-05-10 |
Statelessly populating data stream into successive files
Grant 10,901,944 - Ramos , et al. January 26, 2 | 2021-01-26 |
Executing native-code applications in a browser
Grant 10,824,716 - Howell , et al. November 3, 2 | 2020-11-03 |
Intents And Locks With Intent
App 20200301855 - Zhou; Lidong ; et al. | 2020-09-24 |
Intents and locks with intent
Grant 10,691,622 - Zhou , et al. | 2020-06-23 |
Performing scalable, causally consistent reads using a logical wall clock
Grant 10,564,665 - Huang , et al. Feb | 2020-02-18 |
Performing Scalable, Causally Consistent Reads Using A Logical Wall Clock
App 20190339734 - Huang; Cheng ; et al. | 2019-11-07 |
End-to-end security for hardware running verified software
Grant 10,148,442 - Hawblitzel , et al. De | 2018-12-04 |
Statelessly Populating Data Stream Into Successive Files
App 20180341659 - RAMOS; Rogerio ; et al. | 2018-11-29 |
Intents and Locks with Intent
App 20180089110 - Zhou; Lidong ; et al. | 2018-03-29 |
Enforcing deterministic execution of threads of guest operating systems running in a virtual machine hosted on a multiprocessor machine
Grant 9,753,754 - Howell , et al. September 5, 2 | 2017-09-05 |
Decentralized Sleep Management
App 20170168545 - Lorch; Jacob R. ; et al. | 2017-06-15 |
Executing Native-Code Applications in a Browser
App 20170161493 - Howell; Jonathan R. ; et al. | 2017-06-08 |
Executing native-code applications in a browser
Grant 9,588,803 - Howell , et al. March 7, 2 | 2017-03-07 |
Decentralized sleep management
Grant 9,582,062 - Lorch , et al. February 28, 2 | 2017-02-28 |
Automated verification of a software system
Grant 9,536,093 - Hawblitzel , et al. January 3, 2 | 2017-01-03 |
Trusted hardware component for distributed systems
Grant 9,455,992 - Douceur , et al. September 27, 2 | 2016-09-27 |
End-to-end Security For Hardware Running Verified Software
App 20160248592 - Hawblitzel; Chris ; et al. | 2016-08-25 |
End-to-end security for hardware running verified software
Grant 9,363,087 - Hawblitzel , et al. June 7, 2 | 2016-06-07 |
Partitioned artificial intelligence for networked games
Grant 9,327,194 - Douceur , et al. May 3, 2 | 2016-05-03 |
Automated Verification of a Software System
App 20160098562 - Hawblitzel; Chris ; et al. | 2016-04-07 |
End-to-End Security For Hardware Running Verified Software
App 20160099811 - Hawblitzel; Chris ; et al. | 2016-04-07 |
Securing anti-virus software with virtualization
Grant 9,230,100 - Wang , et al. January 5, 2 | 2016-01-05 |
Operating a sleep management service
Grant 8,966,063 - Lorch , et al. February 24, 2 | 2015-02-24 |
Detecting And Managing Sleeping Computing Devices
App 20140337504 - Lorch; Jacob R. ; et al. | 2014-11-13 |
Fast, non-write-cycle-limited persistent memory for secure containers
Grant 8,812,908 - Douceur , et al. August 19, 2 | 2014-08-19 |
Method and apparatus for thwarting traffic analysis in online games
Grant 8,719,336 - Douceur , et al. May 6, 2 | 2014-05-06 |
Leveraging remote server pools for client applications
Grant 8,549,106 - Howell , et al. October 1, 2 | 2013-10-01 |
Operating A Sleep Management Service
App 20130205152 - Lorch; Jacob R. ; et al. | 2013-08-08 |
Securing Anti-virus Software With Virtualization
App 20130055396 - Wang; Jiahe Helen ; et al. | 2013-02-28 |
Securing anti-virus software with virtualization
Grant 8,307,443 - Wang , et al. November 6, 2 | 2012-11-06 |
Partitioned Artificial Intelligence For Networked Games
App 20120142430 - Douceur; John R. ; et al. | 2012-06-07 |
Decentralized Sleep Management
App 20120117404 - Lorch; Jacob R. ; et al. | 2012-05-10 |
Network coordinate systems using IP information
Grant 8,144,611 - Agarwal , et al. March 27, 2 | 2012-03-27 |
Fast, Non-Write-Cycle-Limited Persistent Memory for Secure Containers
App 20120072771 - Douceur; John R. ; et al. | 2012-03-22 |
Partitioned artificial intelligence for networked games
Grant 8,137,199 - Douceur , et al. March 20, 2 | 2012-03-20 |
Network application performance enhancement using speculative execution
Grant 8,140,646 - Mickens , et al. March 20, 2 | 2012-03-20 |
Collection ordering for replicated state machines
Grant 8,135,987 - Douceur , et al. March 13, 2 | 2012-03-13 |
Collection Ordering For Replicated State Machines
App 20110302449 - Douceur; John R. ; et al. | 2011-12-08 |
Ad Stalking Defense
App 20110288934 - Douceur; John R. ; et al. | 2011-11-24 |
Automatic commutativity detection for generalized paxos
Grant 8,046,413 - Howell , et al. October 25, 2 | 2011-10-25 |
Isolation environment-based information access
Grant 8,024,815 - Lorch , et al. September 20, 2 | 2011-09-20 |
Reducing bandwidth requirements for peer-to-peer gaming based on error difference between actual game object state and simulated game object state being below an error threshold
Grant 7,925,601 - Douceur , et al. April 12, 2 | 2011-04-12 |
Leveraging Remote Server Pools for Client Applications
App 20100318630 - Howell; Jonathan R. ; et al. | 2010-12-16 |
Trusted Hardware Component for Distributed Systems
App 20100318786 - Douceur; John R. ; et al. | 2010-12-16 |
Network Application Performance Enhancement Using Speculative Execution
App 20100312858 - Mickens; James W. ; et al. | 2010-12-09 |
Executing Native-Code Applications in a Browser
App 20100287618 - Howell; Jonathan R. ; et al. | 2010-11-11 |
Network Coordinate Systems Using Ip Information
App 20100202298 - Agarwal; Sharad ; et al. | 2010-08-12 |
Method And Apparatus For Thwarting Traffic Analysis In Online Games
App 20100197405 - Douceur; John R. ; et al. | 2010-08-05 |
Reducing Bandwidth Requirements For Peer-to-peer Gaming Based On Importance Of Remote Objects To A Local Player
App 20100035695 - Douceur; John R. ; et al. | 2010-02-11 |
Reducing bandwidth requirements for peer-to-peer gaming based on importance of remote objects to a local player
Grant 7,627,632 - Douceur , et al. December 1, 2 | 2009-12-01 |
Partitioned Artificial Intelligence For Networked Games
App 20090203449 - Douceur; John R. ; et al. | 2009-08-13 |
Securing Anti-virus Software With Virtualization
App 20090089879 - Wang; Jiahe Helen ; et al. | 2009-04-02 |
Lossless recovery for computer systems with map assisted state transfer
Grant 7,472,129 - Adya , et al. December 30, 2 | 2008-12-30 |
Isolation Environment-Based Information Access
App 20080127355 - Lorch; Jacob R. ; et al. | 2008-05-29 |
Reducing Bandwidth Requirements for Peer-to-Peer Gaming Architectures
App 20080115121 - Douceur; John R. ; et al. | 2008-05-15 |
Efficient changing of replica sets in distributed fault-tolerant computing system
Grant 7,334,154 - Lorch , et al. February 19, 2 | 2008-02-19 |
Deterministic multiprocessor computer system
App 20060259818 - Howell; Jonathan R. ; et al. | 2006-11-16 |
Automatic commutativity detection for generalized paxos
App 20060184627 - Howell; Jonathan R. ; et al. | 2006-08-17 |
Lossless recovery for computer systems with map assisted state transfer
App 20050289169 - Adya, Atul ; et al. | 2005-12-29 |
Efficient changing of replica sets in distributed fault-tolerant computing system
App 20050283644 - Lorch, Jacob R. ; et al. | 2005-12-22 |
| 