Inventor · disambiguated record
William Lam
Also filed as: LAM WILLIAM · LAM WILLIAM K · LAM WILLIAM KWEI-CHEUNG
29 granted patents·7 pending applications·417 citations·filing 1998–2021
97Inventor score
Top patents by PatentIndex Score
36 records- 0197US9239691B2System and method for distributed computing in non-volatile memorySANDISK TECHNOLOGIES INC·Filed 2015·Granted Jan 19, 2016·19 cites·21 claims
- 0297US9003109B1System and method for distributed computing in non-volatile memorySANDISK TECHNOLOGIES INC·Filed 2014·Granted Apr 7, 2015·33 cites·27 claims
- 0395US9594524B2System and method for distributed computing in non-volatile memorySANDISK TECHNOLOGIES LLC·Filed 2016·Granted Mar 14, 2017·11 cites·20 claims
- 0493US7080365B2Method and apparatus for simulation system compilerSUN MICROSYSTEMS INC·Filed 2002·Granted Jul 18, 2006·102 cites·68 claims
- 0588US7036114B2Method and apparatus for cycle-based computationSUN MICROSYSTEMS INC·Filed 2002·Granted Apr 25, 2006·61 cites·59 claims
- 0684US9367391B2Error correction operations in a memory deviceMICRON TECHNOLOGY INC·Filed 2014·Granted Jun 14, 2016·9 cites·41 claims
- 0782US9354824B2System and method for distributed computing in non-volatile memorySANDISK TECHNOLOGIES INC·Filed 2016·Granted May 31, 2016·2 cites·19 claims
- 0882US8489929B2Facilitating large-scale testing using virtualization technology in a multi-tenant database environmentLAM WILLIAM·Filed 2010·Granted Jul 16, 2013·12 cites·12 claims
- 0980US10114659B2Remote provisioning of hosts in public cloudsVMWARE INC·Filed 2016·Granted Oct 30, 2018·2 cites·20 claims
- 1078US7076416B2Method and apparatus for evaluating logic states of design nodes for cycle-based simulationSUN MICROSYSTEMS INC·Filed 2002·Granted Jul 11, 2006·25 cites·23 claims
- 1175US8762787B2Facilitating large-scale testing using virtualization technology in a multi-tenant database environmentSALESFORCE COM INC·Filed 2013·Granted Jun 24, 2014·4 cites·15 claims
- 1271US12190122B2Remote provisioning of hosts in public cloudsVMWARE INC·Filed 2021·Granted Jan 7, 2025·0 cites·20 claims
- 1370US6988266B2Method of transforming variable loops into constant loopsSUN MICROSYSTEMS INC·Filed 2001·Granted Jan 17, 2006·16 cites·18 claims
- 1468US7475369B1Eliminate false passing of circuit verification through automatic detecting of over-constraining in formal verificationSUN MICROSYSTEMS INC·Filed 2005·Granted Jan 6, 2009·4 cites·10 claims
- 1567US7051303B1Method and apparatus for detection and isolation during large scale circuit verificationSUN MICROSYSTEMS INC·Filed 2003·Granted May 23, 2006·13 cites·19 claims
- 1665US7236917B1Method and apparatus for generating minimal node data and dynamic assertions for a simulationSUN MICROSYSTEMS INC·Filed 2003·Granted Jun 26, 2007·12 cites·26 claims
- 1764US7447621B1PLI-less co-simulation of ISS-based verification systems in hardware simulatorsSUN MICROSYSTEMS INC·Filed 2003·Granted Nov 4, 2008·12 cites·14 claims
- 1863US7454726B2Technique for generating input stimulus to cover properties not covered in random simulationSUN MICROSYSTEMS INC·Filed 2006·Granted Nov 18, 2008·4 cites·17 claims
- 1963US7424418B1Method for simulation with optimized kernels and debugging with unoptimized kernelsSUN MICROSYSTEMS INC·Filed 2003·Granted Sep 9, 2008·10 cites·20 claims
- 2063US6715134B2Method and apparatus to facilitate generating simulation modules for testing system designsSUN MICROSYSTEMS INC·Filed 2002·Granted Mar 30, 2004·12 cites·24 claims
- 2162US11093259B2Remote provisioning of hosts in public cloudsVMWARE INC·Filed 2018·Granted Aug 17, 2021·0 cites·20 claims
- 2259US7017150B2Method and apparatus for automatically isolating minimal distinguishing stimuli in design verification and software developmentSUN MICROSYSTEMS INC·Filed 2001·Granted Mar 21, 2006·7 cites·8 claims
- 2359US6678868B2Using Boolean expressions to represent shapes within a layout of an integrated circuitSUN MICROSYSTEMS INC·Filed 2002·Granted Jan 13, 2004·6 cites·33 claims
- 2458US6775810B2Boosting simulation performance by dynamically customizing segmented object codes based on stimulus coverageSUN MICROSYSTEMS INC·Filed 2002·Granted Aug 10, 2004·8 cites·22 claims
- 2556US9134925B1System and method for distributed computing in non-volatile memorySANDISK TECHNOLOGIES INC·Filed 2015·Granted Sep 15, 2015·0 cites·25 claims
- 2652US6389576B1Method and apparatus for optimizing real functions in Boolean domainSUN MICROSYSTEMS INC·Filed 1999·Granted May 14, 2002·25 cites·19 claims
- 2745US2016359907A1Automatically auditing virtual machines for security hardening complianceVMWARE INC·Filed 2015·Application pending·0 cites
- 2841US7246053B2Method for transforming behavioral architectural and verification specifications into cycle-based compliant specificationsSUN MICROSYSTEMS INC·Filed 2002·Granted Jul 17, 2007·0 cites·18 claims
- 2941US2003093765A1Method and system for robust distributed circuit synthesisLAM WILLIAM K·Filed 2001·Application pending·0 cites
- 3040US12182250B2Credentials management and usage in application modernizationVMware LLC·Filed 2021·Granted Dec 31, 2024·0 cites·33 claims
- 3140US2003036894A1Method and apparatus for amortizing critical path computationsFiled 2001·Application pending·0 cites
- 3236US2016357968A1Security hardening of virtual machines at time of creationVMWARE INC·Filed 2015·Application pending·0 cites
- 3335US6389376B1Method and apparatus for generating n-segment steiner treesSUN MICROSYSTEMS INC·Filed 1999·Granted May 14, 2002·8 cites·19 claims
- 3434US2016359908A1Automatic real-time alerting of security hardening non-complianceVMWARE INC·Filed 2015·Application pending·0 cites
- 3534US2016359906A1Automatic security hardening of an entityVMWARE INC·Filed 2015·Application pending·0 cites
- 3630US2001020290A1Method and system for robust distributed circuit synthesisSUN MICROSYSTEMS INC·Filed 1998·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →