Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Tool and method for designing and validating a data flow system by a formal model

Tool and method for designing and validating a data flow system by a formal model

US Patent 11610041 · Granted Mar 21, 2023

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

System for formally supervising communications2025
Method and electronic device for monitoring executable code adapted to be execut2025
Method for validating a data flow system2024
Time-division multiplexing method and circuit for arbitrating concurrent access 2024
Shared data management system2024
Method for measuring a transmission delay with control of degrees of contention 2023
Computer-implemented method and a system for encoding a stack application memory2019
Speculative and iterative execution of delayed data flow graphs2019
Speculative and iterative execution of delayed data flow graphs2019
Computer-implemented method and a system for encoding a heap application memory 2019
Method for data transfer between real-time tasks using a DMA memory controller2019
Device and method for retransmitting data in a network switch2018