Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Partitioning for a massively parallel simulation system

Partitioning for a massively parallel simulation system

US Patent 7689958 · Granted Mar 30, 2010

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Automated function category detection2023
Encoding dependencies in call graphs2021
Buffer overflow detection based on a synthesis of assertions from templates and 2021
Happens-before-based dynamic concurrency analysis for actor-based programs2020
Efficient timestamp solution for analyzing concurrent software systems2020
Efficient model checking technique for finding software defects2015
Path-sensitive analysis framework for bug checking2015
Method and system for performing backward-driven path-sensitive dataflow analysi2014
Efficient model checking technique for finding software defects2014
System and method for overflow detection using partial evaluations2013
Layered static program analysis framework for software testing2013
Context-sensitive analysis framework using value flows2013