Austin, Texas
United States
49
2022-04-21
The entities that hold a legal rights for patent applications filed by inventor Strosaker Michael T.:
Michael T. Strosaker from Austin, US has applied for patents for these inventions. The list has both pending applications and granted patents:
Ongoing and on-demand secure verification of audit compliance
#2 | 2020-07-16Ongoing and on-demand secure verification of audit compliance
#3 | 2020-02-27AUTOMATICALLY ESTABLISHING SIGNIFICANCE OF STATIC ANALYSIS RESULTS
#4 | 2019-12-12Build-time code section-specific compiler selection
#5 | 2018-12-20Source code search engine
#6 | 2018-06-07Issuance of static analysis complaints
#7 | 2018-04-12Detection of key logging activity
#8 | 2017-12-28Automatically establishing significance of static analysis results
#9 | 2017-12-28Automatically establishing significance of static analysis results
#10 | 2017-11-30Sent Text Correction Feature
#11 | 2017-11-30Source code search engine
#12 | 2017-05-18INTELLIGENT SEGMENT MARKING IN RECORDINGS
#13 | 2017-05-18INTELLIGENT SEGMENT MARKING IN RECORDINGS
#14 | 2017-05-04Finding Duplicates in Prior Runs of Static Analysis Tools
#15 | 2017-02-16Source code search engine
#16 | 2016-12-15Source code search engine
#17 | 2016-07-21Virtual disk alignment access
#18 | 2016-07-21Virtual disk alignment access
#19 | 2016-07-07Binary file for computer program having multiple executable code variants for a function that are executable on a same processor architecture
#20 | 2016-06-28Source code search engine
#21 | 2016-03-31Post-return asynchronous code execution
#22 | 2016-02-04Maintaining hardware resource bandwidth quality-of-service via hardware counter
#23 | 2015-12-24Establishing subsystem boundaries based on call flow graph topology
#24 | 2015-06-25Intermediate trust state
#25 | 2014-09-18Extending platform trust during program updates
#26 | 2014-08-28Multi-level memory compression
#27 | 2014-08-28Multi-level memory compression
#28 | 2014-01-02Maintaining hardware resource bandwidth quality-of-service via hardware counter
#29 | 2014-01-02Maintaining hardware resource bandwidth quality-of-service via hardware counter
#30 | 2014-01-02Compressed memory page selection based on a population count of a dataset
#31 | 2013-04-18Protecting memory of a virtual guest
#32 | 2013-04-18Protecting memory of a virtual guest
#33 | 2013-01-03Hardware-enabled lock mediation for controlling access to a contested resource
#34 | 2013-01-03Hardware Enabled Lock Mediation
#35 | 2013-01-03Predictive collaboration management
#36 | 2012-10-25Resource sharing expansion card
#37 | 2012-08-23SMT/ECO mode based on cache miss rate
#38 | 2011-12-08SMT/ECO mode based on cache miss rate
#39 | 2011-11-10Simultaneous compiler binary optimizations
#40 | 2010-08-26Dynamic logical partition management for NUMA machines and clusters
#41 | 2010-01-14Lock windows for reducing contention
#42 | 2009-12-17Resource sharing expansion card
#43 | 2009-10-08Compiler optimized function variants for use when return codes are ignored
#44 | 2009-06-25Determining thermal characteristics of instruction sets
#45 | 2009-05-05Methods and computer program product for optimizing binaries with coding style formalization
#46 | 2009-02-05Assigning tasks to processors in heterogeneous multiprocessors
#47 | 2008-12-25Pulling heavy tasks and pushing light tasks across multiple processor units of differing capacity
#48 | 2008-06-12SYSTEM AND METHOD FOR CONTROLLING TRACE POINTS UTILIZING SOURCE CODE DIRECTORY STRUCTURES
#49 | 2008-05-29METHOD FOR DYNAMIC REDUNDANCY OF PROCESSING UNITS
17454 ⎘