利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

42 条记录 (耗时 0.044 秒)

    Dynamic fine-grained dependency analysis for a functional language
    7.
    发明授权
    Dynamic fine-grained dependency analysis for a functional language 失效
    功能语言的动态细粒度依赖性分析

    公开(公告)号：US5940619A

    公开(公告)日：1999-08-17

    申请号：US738150

    申请日：1996-10-25

    申请人： Martin Abadi ,  James J. Horning ,  Butler W. Lampson ,  Roy Levin ,  Jean-Jacques Levy ,  Yuan Yu

    发明人： Martin Abadi ,  James J. Horning ,  Butler W. Lampson ,  Roy Levin ,  Jean-Jacques Levy ,  Yuan Yu

    IPC分类号： G06F9/44 ,  G06F9/45

    CPC分类号： G06F8/311 ,  G06F8/433 ,  G06F9/45508

    摘要： In a computerized method, a computer program is analyzed while the program is interpreted. The program is expressed in a first memory as input values and functions. Some of the input values are complex values which can have a plurality of component values. Each function operates on combinations of the input values and the functions of the program. The program is interpreted in a processor connected to the first memory. The processor is also connected to a second memory to store result values produced during the interpretation. Selected input values, components of the complex values, and functions are named only if the selected values, components, and functions are necessary to produce a selected result value. For each function of the program, the function which is interpreted, the input values on which the function depends, and the result value produced by the function during interpretation, are recorded in the second memory to dynamically perform a precise dependency analysis of the program.

    摘要翻译： 在计算机化方法中，在解释程序时分析计算机程序。 该程序在第一个存储器中表示为输入值和函数。 一些输入值是可以具有多个分量值的复数值。 每个功能按照程序的输入值和功能的组合进行操作。 该程序在连接到第一存储器的处理器中解释。 处理器还连接到第二存储器以存储在解释期间产生的结果值。 选定的输入值，复数值的组成部分和功能仅在选定的值，组件和功能需要产生选定的结果值时进行命名。 对于程序的每个功能，解释的功能，功能所依赖的输入值和解释期间由功能产生的结果值被记录在第二存储器中以动态地执行程序的精确的依赖性分析。

    Method and apparatus for end-to-end encryption of a data packet in a computer network
    8.
    发明授权
    Method and apparatus for end-to-end encryption of a data packet in a computer network 失效
    用于计算机网络中的数据分组的端到端加密的方法和装置

    公开(公告)号：US5594869A

    公开(公告)日：1997-01-14

    申请号：US432331

    申请日：1995-05-01

    申请人： William R. Hawe ,  Butler W. Lampson ,  Amar Gupta

    发明人： William R. Hawe ,  Butler W. Lampson ,  Amar Gupta

    IPC分类号： H04L29/06 ,  G06F7/00

    CPC分类号： H04L63/0485 ,  H04L29/06 ,  H04L63/12 ,  H04L63/162

    摘要： A technique to facilitate decryption processing of information packets transmitted over a communication network after encryption in accordance with a specific network protocol, the details of which may be subject to later change as standards are developed or modified. Programmable registers are used in the decryption process to hold information for identifying an incoming information packet as being subject to the specific protocol and requiring decryption, and identifying a starting location of a data field to be decrypted. Specifically one programmable register contains a first offset locating an identifier field in the packet, in which a cryptographic identifier will be found if the packet is one conforming to the protocol; another programmable register contains a cryptographic identifier value that will be found in the identifier field if decryption is to be performed, and a third programmable register contains a second offset to locate the beginning of a data field to be decrypted.

    摘要翻译： 一种用于根据特定网络协议在加密之后通过通信网络传送的信息分组的解密处理的技术，其细节可能随着标准的开发或修改而随之而变化。 解密过程中使用可编程寄存器来保存用于识别进入信息包的信息为受特定协议的约束，并且需要解密，以及识别要被解密的数据字段的起始位置。 具体地，一个可编程寄存器包含定位分组中的标识符字段的第一偏移，其中如果分组是符合该协议的密钥标识符，将找到密码标识符; 另一个可编程寄存器包含将要在执行解密时在标识符字段中找到的加密标识符值，并且第三可编程寄存器包含第二偏移量以定位待解密的数据字段的开始。

    Parallel run-length decoder
    10.
    发明授权
    Parallel run-length decoder 失效
    并行游程解码器

    公开(公告)号：US4152697A

    公开(公告)日：1979-05-01

    申请号：US713544

    申请日：1976-08-11

    申请人： Ronald E. Rider ,  Butler W. Lampson

    发明人： Ronald E. Rider ,  Butler W. Lampson

    IPC分类号： G06K15/10 ,  G06T9/00 ,  G09G5/24 ,  G09G5/42 ,  H03M7/46 ,  H04N1/419 ,  G06F3/00

    CPC分类号： H03M7/46 ,  G06T9/005 ,  G09G5/24 ,  G09G5/42

    摘要： System and method for parallel decoding of character data in run length format to produce data in dot matrix form for presentation to a display device. The data for successive runs is stored in registers and processed in parallel to provide address data for memory devices programmed to deliver predetermined output data patterns in response to the address data.

    摘要翻译： 用于以游程长度格式并行解码字符数据的系统和方法以产生用于呈现给显示设备的点阵形式的数据。 用于连续运行的数据被存储在寄存器中并且被处理以提供编程为响应于地址数据传送预定输出数据模式的存储器件的地址数据。