中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

53 records (took 0.027 seconds)

    AUTOMATISCHE VERIFIZIERUNG DER OPTIMIERUNG VON KONSTRUKTEN AUF HOHER EBENE UNTER VERWENDUNG VON PRÜFVEKTOREN
    3.
    发明专利
    AUTOMATISCHE VERIFIZIERUNG DER OPTIMIERUNG VON KONSTRUKTEN AUF HOHER EBENE UNTER VERWENDUNG VON PRÜFVEKTOREN 未知

    公开(公告)号：DE112020003634T5

    公开(公告)日：2022-06-09

    申请号：DE112020003634

    申请日：2020-07-24

    Applicant: IBM

    Inventor： IRELAND IAIN ALEXANDER ,  COPELAND REID ,  KIELSTRA ALLAN ,  SIEGWART DAVID KEVIN ,  KOJU TOSHIHIKO

    IPC: G06F8/40

    Abstract: Ein Verfahren zur automatischen Verifizierung der Optimierung von Konstrukten auf hoher Ebene weist das Erstellen eines ersten ausführbaren Codes durch Kompilieren eines Computerprogramms auf, das ein Konstrukt auf hoher Ebene aufweist. Das Kompilieren weist das Erstellen eines ersten Satzes von Maschinenanweisungen zu dem Konstrukt auf hoher Ebene und das Speichern von Kompilierzeitinformationen zu dem Konstrukt auf hoher Ebene auf. Das Verfahren weist ferner das Optimieren des ersten ausführbaren Codes auf, das das Konvertieren des ersten ausführbaren Codes in eine Zwischensprachendarstellung aufweist. Die Optimierung weist ferner das Erstellen eines zweiten ausführbaren Codes auf. Hierfür weist das Verfahren das Erstellen eines zweiten Satzes von Maschinenanweisungen zu dem Konstrukt auf hoher Ebene aus der Zwischensprachendarstellung auf. Wenn das Verhalten des ersten Satzes von Maschinenanweisungen und des zweiten Satzes von Maschinenanweisungen übereinstimmen, wird der zweite Satz von Maschinenanweisungen in den zweiten ausführbaren Code aufgenommen, anderenfalls wird der erste Satz von Maschinenanweisungen aufgenommen.

    Instrucción de multiplicación y desplazamiento de decimales
    4.
    发明专利
    Instrucción de multiplicación y desplazamiento de decimales 未知

    公开(公告)号：ES2811033T3

    公开(公告)日：2021-03-10

    申请号：ES17772028

    申请日：2017-09-21

    Applicant: IBM

    Inventor： MUELLER SILVIA ,  COPELAND REID ,  BRADBURY JONATHAN ,  CARLOUGH STEVEN

    IPC: G06F7/491

    Abstract: Un procedimiento implementado por ordenador para facilitar el procesamiento dentro de un entorno informático, comprendiendo el procedimiento: obtener una instrucción para la ejecución, la instrucción para realizar una operación de multiplicación y desplazamiento; y ejecutar la instrucción, comprendiendo la ejecución: multiplicar un primer valor y un segundo valor obtenido por la instrucción para obtener un producto; desplazar el producto en una dirección especificada por una cantidad seleccionada para proporcionar un resultado, la cantidad seleccionada que está definida por el usuario; y colocar el resultado en una ubicación seleccionada, el resultado se utilizará en el procesamiento dentro del entorno informático.

    Decimal load immediate instruction
    5.
    发明专利
    Decimal load immediate instruction 未知

    公开(公告)号：AU2017336196B2

    公开(公告)日：2020-07-09

    申请号：AU2017336196

    申请日：2017-09-26

    Applicant: IBM

    Inventor： BRADBURY JONATHAN ,  COPELAND REID ,  MUELLER SILVIA MELITTA

    IPC: G06F9/30

    Abstract: An instruction generates a value for use in processing within a computing environment. The instruction obtains a sign control associated with the instruction, and shifts an input value of the instruction in a specified direction by a selected amount to provide a result. The result is placed in a first designated location in a register, and the sign, which is based on the sign control, is placed in a second designated location of the register. The result and the sign provide a signed value to be used in processing within the computing environment.

    Maschinenbefehle zum Umsetzen von einem gepackten Dezimalformat zu einem dezimalen Gleitkommaformat
    6.
    发明专利
    Maschinenbefehle zum Umsetzen von einem gepackten Dezimalformat zu einem dezimalen Gleitkommaformat 未知

    公开(公告)号：DE112015003588T5

    公开(公告)日：2017-05-24

    申请号：DE112015003588

    申请日：2015-09-15

    Applicant: IBM

    Inventor： BRADBURY JONATHAN DAVID ,  COPELAND REID ,  CARLOUGH STEVEN ,  MITRAN MARCEL

    IPC: G06F7/38 ,  G06F9/30

    Abstract: Ein Verfahren zum Ausführen eines Maschinenbefehls wird bereitgestellt, um Daten von einem gepackten Dezimalformat zu einem dezimalen Gleitkommaformat umzusetzen. Bei dem Verfahren werden Daten in einem gepackten Dezimalformat von einem Speicher gelesen, der zum Zweck des Datenaustauschs mit einem Prozessor verbunden ist. Bei dem Verfahren werden die Daten, die in dem gepackten Dezimalformat vorliegen, in ein dezimales Gleitkommaformat umgesetzt. Bei dem Verfahren werden die Daten, die in das dezimale Gleitkommaformat umgesetzt wurden, in ein oder mehrere Zielregister des Prozessors geschrieben.

    Convert from zoned format to decimal floating point format
    7.
    发明专利
    Convert from zoned format to decimal floating point format 未知

    公开(公告)号：AU2012360181A1

    公开(公告)日：2014-06-05

    申请号：AU2012360181

    申请日：2012-11-13

    Applicant: IBM

    Inventor： CARLOUGH STEVEN ,  SCHWARZ ERIC MARK ,  SLEGEL TIMOTHY ,  GAINEY JR CHARLES ,  MITRAN MARCEL ,  COPELAND REID

    IPC: G06F9/30

    Abstract: Machine instructions, referred to herein as a long Convert from Zoned instruction (CDZT) and extended Convert from Zoned instruction (CXZT), are provided that read EBCDIC or ASCII data from memory, convert it to the appropriate decimal floating point format, and write it to a target floating point register or floating point register pair. Further, machine instructions, referred to herein as a long Convert to Zoned instruction (CZDT) and extended Convert to Zoned instruction (CZXT), are provided that convert a decimal floating point (DFP) operand in a source floating point register or floating point register pair to EBCDIC or ASCII data and store it to a target memory location.

    VECTOR PACK AND UNPACK INSTRUCTIONS
    9.
    发明专利
    VECTOR PACK AND UNPACK INSTRUCTIONS 未知

    公开(公告)号：AU2022227809A9

    公开(公告)日：2025-03-06

    申请号：AU2022227809

    申请日：2022-02-18

    Applicant: IBM

    Inventor： SCHWARZ ERIC ,  SLEGEL TIMOTHY ,  BRADBURY JONATHAN ,  KLEIN MICHAEL ,  COPELAND REID ,  GUO XIN

    IPC: G06F9/30

    Abstract: Vector pack and unpack instructions are described. An instruction to perform a conversion between one decimal format and another decimal format is executed, in which the one decimal format or the other decimal format is a zoned decimal format. The executing includes obtaining a value from at least one register specified using the instruction. At least a portion of the value is converted from the one decimal format to the other decimal format different from the one decimal format to provide a converted result. A result obtained from the converted result is written into a single register specified using the instruction.

    PERFORM SIGN OPERATION DECIMAL INSTRUCTION
    10.
    发明专利
    PERFORM SIGN OPERATION DECIMAL INSTRUCTION 未知

    公开(公告)号：ZA201902529B

    公开(公告)日：2022-04-28

    申请号：ZA201902529

    申请日：2019-04-23

    Applicant: IBM

    Inventor： COPELAND REID ,  MUELLER SILVIA MELITTA ,  BRADBURY JONATHAN ,  SLEGEL TIMOTHY

    Abstract: An instruction to perform a sign operation of a plurality of sign operations configured for the instruction. The instruction is executed, and the executing includes selecting at least a portion of an input operand as a result to be placed in a select location. The selecting is based on a control of the instruction, in which the control indicates a user-defined size of the input operand to be selected as the result. A sign of the result is determined based on a plurality of criteria, including a value of the result, obtained based on the control of the instruction, having a first particular relationship or a second particular relationship with respect to a selected value. The result and the sign are stored in the select location to provide a signed output to be used in processing within the computing environment.

Patent Agency Ranking