专利汇可以提供A METHOD FOR SCHEDULE VALIDATION OF EMBEDDED SYSTEMS专利检索,专利查询,专利分析的服务。并且Efficient methods for verifying the timing behavior of a system in which various tasks are executed on a processor, and each task is enabled (i.e., becomes ready to execute) in response to the occurrence of an external event and/or the completion of another task. The methods are computationally efficient, requiring an execution time that is polynomial in the number of tasks in the system. The methods can be used in complementary fashion with more computationally intensive techniques for timing behavior verification, such as simulation or prototyping, by limiting the use of such techniques to those systems whose correctness is not proven by the methods.,下面是A METHOD FOR SCHEDULE VALIDATION OF EMBEDDED SYSTEMS专利的具体信息内容。
标题 | 发布/更新时间 | 阅读量 |
---|---|---|
一种基于蚁群算法的智能开关抢修方法及系统 | 2020-05-08 | 731 |
在进场程序中引导飞行器的方法和系统 | 2020-05-08 | 830 |
基坑水平位移自动监测系统及方法 | 2020-05-08 | 394 |
人脸识别方法及系统 | 2020-05-11 | 599 |
基于AES算法和PUF技术的嵌入式系统加密保护装置和方法 | 2020-05-08 | 249 |
一种嵌入式系统的编译部署方法、编译方法及编译系统 | 2020-05-11 | 108 |
异构嵌入式系统及其加速神经网络目标检测的方法 | 2020-05-11 | 133 |
一种辅助ADAS自动驾驶系统的摄像头监控平台 | 2020-05-08 | 896 |
一种简易家庭保姆监控报警系统 | 2020-05-12 | 306 |
智能课桌教学系统及学生课桌教学系统 | 2020-05-12 | 448 |
高效检索全球专利专利汇是专利免费检索,专利查询,专利分析-国家发明专利查询检索分析平台,是提供专利分析,专利查询,专利检索等数据服务功能的知识产权数据服务商。
我们的产品包含105个国家的1.26亿组数据,免费查、免费专利分析。
专利汇分析报告产品可以对行业情报数据进行梳理分析,涉及维度包括行业专利基本状况分析、地域分析、技术分析、发明人分析、申请人分析、专利权人分析、失效分析、核心专利分析、法律分析、研发重点分析、企业专利处境分析、技术处境分析、专利寿命分析、企业定位分析、引证分析等超过60个分析角度,系统通过AI智能系统对图表进行解读,只需1分钟,一键生成行业专利分析报告。