发明名称 System and Method for Stability Guarantees in Concurrent Software
摘要 A flexible, extensible and efficient compile-time mechanism that leverages native high-level application programming language constructs (e.g., the template and macro features of C++), thus minimizing any programmer or a software developer learning curve and eliminating the need for programming tool (e.g., compiler) changes, to identify and control aspects of shared resource access in concurrent software at the time of source code compilation.
申请公布号 US2013174134(A1) 申请公布日期 2013.07.04
申请号 US201213722601 申请日期 2012.12.20
申请人 FARRAR DANIEL JAMES 发明人 FARRAR DANIEL JAMES
分类号 G06F9/45 主分类号 G06F9/45
代理机构 代理人
主权项
地址