会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 13. 发明申请
    • SINGLE INSTRUCTION MULTIPLE DATE (SIMD) PROCESSOR HAVING A PLURALITY OF PROCESSING ELEMENTS INTERCONNECTED BY A RING BUS
    • 具有多个处理元件的单个指令多个日期(SIMD)处理器由环形总线互连
    • US20120030448A1
    • 2012-02-02
    • US13203809
    • 2009-09-25
    • Hanno Lieske
    • Hanno Lieske
    • G06F9/30G06F9/315G06F9/305
    • G06F15/8015G06F15/163G06F15/17337H04N5/44H04N19/107H04N19/436H04N19/44H04N19/61H04N19/86
    • A single instruction multiple data (SIMD) processor having a plurality of processing elements and including: a splitting unit for splitting an address of the read-only parameter data in the data memory into a first part and a second part at a bit position corresponding to the number of the processor elements; and a comparing unit for comparing the number of shifting, on a ring bus, of the read-only parameter data, which is taken from the internal memory at the address in accordance with the first part, with a difference between an own processor element position and a portion of the global address of the read-only parameter data to be accessed, the portion designating a position in the ring of the processor element in which the read-only parameter data to be accessed is stored and corresponding to the second part, to cause the other processor elements to take the read-only parameter data.
    • 一种具有多个处理元件的单指令多数据(SIMD)处理器,包括:分割单元,用于将数据存储器中的只读参数数据的地址分割成与第一部分和第二部分相对应的比特位置 处理器元件的数量; 以及比较单元,用于比较在环形总线上从根据第一部分的地址处的内部存储器获取的只读参数数据与自身处理器单元位置之间的差异 以及要访问的只读参数数据的全局地址的一部分,指定处理器元件的环中的位置的部分,其中存储要访问的只读参数数据并对应于第二部分, 以使其他处理器元件采用只读参数数据。
    • 20. 发明申请
    • EFFICIENT DECISION PROCEDURE FOR BOUNDED INTEGER NON-LINEAR OPERATIONS USING SMT(LIA)
    • 使用SMT(LIA)的边界整数非线性运算的有效决策程序
    • US20090222393A1
    • 2009-09-03
    • US12331325
    • 2008-12-09
    • Malay K. Ganai
    • Malay K. Ganai
    • G06N5/02G06F9/305G06F7/57
    • G06F17/11
    • Systems and methods are disclosed for deciding a satisfiability problem with linear and non-linear operations by: encoding non-linear integer operations into encoded linear operations with Boolean constraints by Booleaning and linearizing, combining the linear and encoded linear operations into a formula, solving the satisifiability of the formula using a solver, wherein the encoding and solving includes at least one of following: a. Booleanizing one of the non-linear operands by bit-wise structural decomposition b. Linearizing a non-linear operator by selectively choosing one of the operands for Booleanization c. Solving using an incremental lazy bounding refinement (LBR) procedure without re-encoding formula, and verifying the linear and non-linear operations in a computer software.
    • 公开了用于通过以下方式来确定线性和非线性操作的可满足性问题的系统和方法:通过布莱恩和线性化将非线性整数运算编码为具有布尔约束的编码线性运算,将线性和编码线性运算组合成公式, 使用求解器的公式的令人满意的,其中编码和求解包括以下中的至少一个:a。 通过逐位结构分解布尔化非线性操作数之一b。 通过选择一个布尔化操作数来对非线性运算符进行线性化c。 使用增量懒惰边界细化(LBR)过程解决,而无需重新编码公式,并验证计算机软件中的线性和非线性操作。