会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 92. 发明授权
    • Fast and accurate data race detection for concurrent programs with asynchronous calls
    • 快速准确的异步调用并发程序的数据竞争检测
    • US08539450B2
    • 2013-09-17
    • US12702023
    • 2010-02-08
    • Vineet KahlonNishant SinhaYun ZhangEric J. Kruus
    • Vineet KahlonNishant SinhaYun ZhangEric J. Kruus
    • G06F9/44G06F9/45
    • G06F8/458G06F11/3604
    • A system and method for analyzing a concurrent program employ asynchronous function calls for communication and recursion. A control flow graph is constructed based on a context-sensitive pointer analysis, whereupon encountering a function pointer, a points-to set of the function pointer is computed in a context-sensitive fashion to determine a set of potential function calls. The context-sensitive pointer analysis is terminated when no new potential function calls are encountered and where the potential function calls may contribute new data races other than those that exist in the contexts traversed thus far. To decide this, a characterization of pointer aliasing based upon complete update sequences is employed. A set of contexts that may contribute to different data races are enumerated by tracking update sequences for function and lock pointers and pointers that are shared or point to shared memory locations. Data race detection is carried out on the control flow graph.
    • 用于分析并发程序的系统和方法使用用于通信和递归的异步函数调用。 基于上下文敏感指针分析构建控制流程图,随后遇到函数指针,以上下文相关方式计算函数指针的点对集合,以确定一组潜在的函数调用。 当没有遇到新的潜在函数调用时,上下文敏感的指针分析被终止,潜在函数调用的潜在函数调用可能会贡献除了迄今为止遍历的上下文中存在的数据之外的新数据种族。 为了确定这一点,使用基于完整更新序列的指针混叠的表征。 可以通过跟踪共享或指向共享存储器位置的功能和锁定指针和指针的更新序列来枚举可能有助于不同数据竞赛的一组上下文。 在控制流程图上进行数据竞赛检测。
    • 99. 发明授权
    • Methods for substantially equalizing rates at which material is removed over an area of a structure or film that includes recesses or crevices
    • 用于在包括凹陷或缝隙的结构或膜的区域上去除材料的速率基本相等的方法
    • US08153019B2
    • 2012-04-10
    • US11834258
    • 2007-08-06
    • Nishant SinhaJ. Neil Greeley
    • Nishant SinhaJ. Neil Greeley
    • C09K13/08C11D7/28
    • C09K13/08C09K13/06H01L21/31055H01L21/31111
    • Methods for preventing isotropic removal of materials at corners formed by seams, keyholes, and other anomalies in films or other structures include use of etch blockers to cover or coat such corners. This covering or coating prevents exposure of the corners to isotropic etch solutions and cleaning solutions and, thus, prevents higher material removal rates at the corners than at smoother areas of the structure or film from which material is removed. Solutions, including wet etchants and cleaning solutions, that include at least one type of etch blocker are also disclosed, as are systems for preventing higher rates of material removal at corners formed by seams, crevices, or recesses in a film or other structure. Semiconductor device structures in which etch blockers are located so as to prevent isotropic etchants from removing material from corners of seams, crevices, or recesses in a surface of a film or other structure at undesirably high rates are also disclosed.
    • 在膜或其他结构中由接缝,键孔和其它异常形成的角部处的各向同性物质的各向同性除去方法包括使用蚀刻阻挡剂来覆盖或涂覆这些角。 这种覆盖物或涂层防止角部暴露于各向同性蚀刻溶液和清洁溶液,并且因此防止在角质层处更高的材料去除速率,而不是从其中去除材料的结构或膜的更光滑的区域。 还公开了包括至少一种类型的蚀刻阻挡剂的解决方案,包括湿蚀刻剂和清洁溶液,以及用于防止在膜或其它结构中由接缝,缝隙或凹陷形成的拐角处更高速率的材料去除的系统。 还公开了其中蚀刻阻挡剂被定位以防止各向同性蚀刻剂从不期望的高速率的膜或其它结构的表面中的接缝,裂缝或凹陷的角落移除材料的半导体器件结构。