EMBEDDING CLASS HIERARCHY INTO OBJECT MODELS FOR MULTIPLE CLASS INHERITANCE
    11.
    发明申请
    EMBEDDING CLASS HIERARCHY INTO OBJECT MODELS FOR MULTIPLE CLASS INHERITANCE 有权
    嵌入层次分类到多个类别的对象模型中

    公开(公告)号:US20120117547A1

    公开(公告)日:2012-05-10

    申请号:US13251463

    申请日:2011-10-03

    IPC分类号: G06F9/45

    摘要: A model is provided for transforming a program with a priori given class hierarchy that is induced by inheritance. An inheritance remover is configured to remove inheritance from a given program to produce an analysis-friendly program which does not include virtual-function pointer tables and runtime libraries associated with inheritance-related operations. The analysis-friendly program preserves the semantics of the given program with respect to a given class hierarchy. A clarifier is configured to identify implicit expressions and function calls and transform the given program into at least one intermediate program having explicit expressions and function calls.

    摘要翻译: 提供了一个模型,用于使用由继承引发的先验给定的类层次结构来转换程序。 继承去除器配置为从给定的程序中删除继承,以生成一个不包含与继承相关的操作相关联的虚拟函数指针表和运行时库的分析友好的程序。 分析友好的程序保留给定程序相对于给定类层次结构的语义。 澄清器被配置为识别隐式表达式和函数调用,并将给定程序转换成具有显式表达式和函数调用的至少一个中间程序。

    Methods of forming devices comprising carbon nanotubes
    12.
    发明授权
    Methods of forming devices comprising carbon nanotubes 有权
    形成包含碳纳米管的器件的方法

    公开(公告)号:US08034315B2

    公开(公告)日:2011-10-11

    申请号:US12235244

    申请日:2008-09-22

    IPC分类号: H01L29/72

    摘要: Some embodiments include devices that contain bundles of CNTs. An undulating topography extends over the CNTs and within spaces between the CNTs. A global maximum lateral width is defined as the greatest lateral width of any of the spaces. A material is directly over the CNTs, with the material being a plurality of particles that have minimum cross-sectional equatorial widths exceeding the global maximum lateral width. Some embodiments include methods in which a plurality of crossed carbon nanotubes are formed over a semiconductor substrate. The CNTs form an undulating upper topography extending across the CNTs and within spaces between the CNTs. A global maximum lateral width is defined as the greatest lateral width of any of the spaces. A material is deposited over the CNTs, with the material being deposited as particles that have minimum cross-sectional equatorial widths exceeding the global maximum lateral width.

    摘要翻译: 一些实施方案包括含有CNT束的装置。 起伏的形貌在碳纳米管之间和CNT之间的空间内延伸。 全局最大横向宽度被定义为任何空间的最大横向宽度。 材料直接在碳纳米管之上,其中材料是具有超过全局最大横向宽度的最小横截面赤道宽度的多个颗粒。 一些实施例包括在半导体衬底上形成多个交叉碳纳米管的方法。 CNT形成延伸跨过CNT并且在CNT之间的空间内的波状上部形貌。 全局最大横向宽度被定义为任何空间的最大横向宽度。 材料沉积在CNT上,其中材料被沉积成具有超过全局最大横向宽度的最小横截面赤道宽度的颗粒。

    SEMICONDUCTOR MATERIAL MANUFACTURE
    13.
    发明申请
    SEMICONDUCTOR MATERIAL MANUFACTURE 有权
    半导体材料制造

    公开(公告)号:US20110193190A1

    公开(公告)日:2011-08-11

    申请号:US13088863

    申请日:2011-04-18

    IPC分类号: H01L29/06 H01L21/762

    CPC分类号: H01L21/76254

    摘要: Electronic apparatus, systems, and methods include a semiconductor layer bonded to a bulk region of a wafer or a substrate, in which the semiconductor layer can be bonded to the bulk region using electromagnetic radiation. Additional apparatus, systems, and methods are disclosed.

    摘要翻译: 电子设备,系统和方法包括结合到晶片或基板的主体区域的半导体层,其中半导体层可以使用电磁辐射结合到主体区域。 公开了附加装置,系统和方法。

    Method of Forming Capacitors, and Methods of Utilizing Silicon Dioxide-Containing Masking Structures
    14.
    发明申请
    Method of Forming Capacitors, and Methods of Utilizing Silicon Dioxide-Containing Masking Structures 有权
    形成电容器的方法,以及使用含二氧化硅掩蔽结构的方法

    公开(公告)号:US20110143543A1

    公开(公告)日:2011-06-16

    申请号:US13032492

    申请日:2011-02-22

    IPC分类号: H01L21/306

    摘要: Some embodiments include methods of forming capacitors. Storage nodes are formed within a material. The storage nodes have sidewalls along the material. Some of the material is removed to expose portions of the sidewalls. The exposed portions of the sidewalls are coated with a substance that isn't wetted by water. Additional material is removed to expose uncoated regions of the sidewalls. The substance is removed, and then capacitor dielectric material is formed along the sidewalls of the storage nodes. Capacitor electrode material is then formed over the capacitor dielectric material. Some embodiments include methods of utilizing a silicon dioxide-containing masking structure in which the silicon dioxide of the masking structure is coated with a substance that isn't wetted by water.

    摘要翻译: 一些实施例包括形成电容器的方法。 存储节点形成在材料内。 存储节点具有沿材料的侧壁。 去除一些材料以暴露侧壁的部分。 侧壁的暴露部分涂覆有未被水润湿的物质。 除去附加材料以暴露侧壁的未涂覆区域。 物质被去除,然后电容器电介质材料沿着存储节点的侧壁形成。 然后在电容器电介质材料上形成电容器电极材料。 一些实施方案包括利用含二氧化硅掩蔽结构的方法,其中掩蔽结构的二氧化硅被未被水润湿的物质涂覆。

    PRECISE THREAD-MODULAR SUMMARIZATION OF CONCURRENT PROGRAMS
    15.
    发明申请
    PRECISE THREAD-MODULAR SUMMARIZATION OF CONCURRENT PROGRAMS 有权
    精确的目前程序的线性模块化概述

    公开(公告)号:US20110078511A1

    公开(公告)日:2011-03-31

    申请号:US12894710

    申请日:2010-09-30

    IPC分类号: G06F11/08 G06F11/00

    CPC分类号: G06F11/3604

    摘要: Methods and systems for concurrent program verification. A concurrent program is summarized into a symbolic interference skeleton (IS) using data flow analysis. Sequential consistency constraints are enforced on read and write events in the IS. Error conditions are checked together with the IS using a processor.

    摘要翻译: 并发程序验证的方法和系统。 使用数据流分析将并发程序总结为符号干扰骨架(IS)。 在IS中的读写事件上执行顺序一致性约束。 使用处理器与IS一起检查错误状况。

    Methods of forming capacitors
    16.
    发明授权
    Methods of forming capacitors 有权
    形成电容器的方法

    公开(公告)号:US07892937B2

    公开(公告)日:2011-02-22

    申请号:US12252499

    申请日:2008-10-16

    IPC分类号: H01L21/20

    摘要: Some embodiments include methods of forming capacitors. Storage nodes are formed within a material. The storage nodes have sidewalls along the material. Some of the material is removed to expose portions of the sidewalls. The exposed portions of the sidewalls are coated with a substance that isn't wetted by water. Additional material is removed to expose uncoated regions of the sidewalls. The substance is removed, and then capacitor dielectric material is formed along the sidewalls of the storage nodes. Capacitor electrode material is then formed over the capacitor dielectric material. Some embodiments include methods of utilizing a silicon dioxide-containing masking structure in which the silicon dioxide of the masking structure is coated with a substance that isn't wetted by water.

    摘要翻译: 一些实施例包括形成电容器的方法。 存储节点形成在材料内。 存储节点具有沿材料的侧壁。 去除一些材料以暴露侧壁的部分。 侧壁的暴露部分涂覆有未被水润湿的物质。 除去附加材料以暴露侧壁的未涂覆区域。 物质被去除,然后电容器电介质材料沿着存储节点的侧壁形成。 然后在电容器电介质材料上形成电容器电极材料。 一些实施方案包括利用含二氧化硅掩蔽结构的方法,其中掩蔽结构的二氧化硅被未被水润湿的物质涂覆。

    Methods for treating surfaces
    17.
    发明授权
    Methods for treating surfaces 失效
    表面处理方法

    公开(公告)号:US07837805B2

    公开(公告)日:2010-11-23

    申请号:US11847073

    申请日:2007-08-29

    IPC分类号: B08B3/04 B08B3/08 B08B3/10

    摘要: Some embodiments include methods of treating surfaces with aerosol particles. The aerosol particles may be formed as liquid particles, and then passed through a chamber under conditions which change the elasticity of the particles prior to impacting a surface with the particles. The change in elasticity may be an increase in the elasticity, or a decrease in the elasticity. The change in elasticity may be accomplished by causing a phase change of one or more components of the aerosol particles such as, for example, by at least partially freezing the aerosol particles, or by forming entrained bubbles within the aerosol particles. Some embodiments include apparatuses that may be utilized during treatment of surfaces with aerosol particles.

    摘要翻译: 一些实施方案包括用气溶胶颗粒处理表面的方法。 气溶胶颗粒可以形成为液体颗粒,然后在使颗粒撞击表面之前改变颗粒的弹性的条件下通过室。 弹性的变化可能是弹性的增加或弹性的降低。 弹性变化可以通过引起气溶胶颗粒的一种或多种组分的相变,例如通过至少部分地冷冻气溶胶颗粒,或通过在气溶胶颗粒内形成夹带的气泡来实现。 一些实施方案包括在用气溶胶颗粒处理表面期间可以使用的装置。

    POLISHING SYSTEMS AND METHODS FOR REMOVING CONDUCTIVE MATERIAL FROM MICROELECTRONIC SUBSTRATES
    19.
    发明申请
    POLISHING SYSTEMS AND METHODS FOR REMOVING CONDUCTIVE MATERIAL FROM MICROELECTRONIC SUBSTRATES 有权
    用于从微电子基板去除导电材料的抛光系统和方法

    公开(公告)号:US20100025854A1

    公开(公告)日:2010-02-04

    申请号:US12185675

    申请日:2008-08-04

    申请人: Nishant Sinha

    发明人: Nishant Sinha

    IPC分类号: H01L23/48 H01L21/44

    摘要: Polishing systems and methods for removing conductive material (e.g., noble metals) from microelectronic substrates are disclosed herein. Several embodiments of the methods include forming an aperture in a substrate material, disposing a conductive material on the substrate material and in the aperture, and disposing a fill material on the conductive material. The fill material at least partially fills the aperture. The substrate material is then polished to remove at least a portion of the conductive material and the fill material external to the aperture during which the fill material substantially prevents the conductive material from smearing into the aperture during polishing the substrate material.

    摘要翻译: 本文公开了用于从微电子衬底去除导电材料(例如贵金属)的抛光系统和方法。 所述方法的若干实施例包括在基底材料中形成孔,将导电材料设置在基底材料和孔中,并将填充材料设置在导电材料上。 填充材料至少部分地填充孔。 然后抛光衬底材料以去除导电材料和孔的外部的填充材料的至少一部分,在此期间,填充材料在抛光衬底材料期间基本上防止导电材料污染到孔中。