Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Verification of a dataflow representation of a program through static type-checking

Verification of a dataflow representation of a program through static type-checking

US Patent 10579349 · Granted Mar 3, 2020

Estimated economic value: $64,161,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Process isolation for a processor-in-memory (“PIM”) device2025
System and method for managing cloud-based data ownership using access requests2025
Data co-location using address hashing for high-performance processing in memory2024
Throttling queue for a request scheduling and processing system2024
Online schema change of range-partitioned index in a distributed storage system2024
Memory latency-aware GPU architecture2024
Virtual partitioning a processor-in-memory (“PIM”)2024
Providing instant and distributed access to a source blob via copy-on-read blobs2024
Process isolation for a processor-in-memory (“PIM”) device2024
Partition and isolation of a processing-in-memory (PIM) device2024
Processing-in-memory concurrent processing system and method2024
Staging anchor trees for improved concurrency and performance in page range inde2023