利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

25 条记录 (耗时 0.081 秒)

    Systems and methods for providing complex software
    2.
    发明申请
    Systems and methods for providing complex software 审中-公开
    提供复杂软件的系统和方法

    公开(公告)号：US20060026583A1

    公开(公告)日：2006-02-02

    申请号：US11060741

    申请日：2005-02-18

    申请人： Juergen Remmel ,  Andreas Schmitt ,  Frank Stephan ,  Christian Taut ,  Michael Franz ,  Stefan Weisenberger ,  Michael Acker ,  Yvonne Sander ,  Veronika Schmid-Lutz

    发明人： Juergen Remmel ,  Andreas Schmitt ,  Frank Stephan ,  Christian Taut ,  Michael Franz ,  Stefan Weisenberger ,  Michael Acker ,  Yvonne Sander ,  Veronika Schmid-Lutz

    IPC分类号： G06F9/44

    CPC分类号： G06F8/71

    摘要： Systems and methods are provided for configuring and executing complex software. The complex software may include code corresponding to a core layer and code corresponding to at least one of a plurality of industry extensions. A method for configuring software is provided that includes presenting at least one business set for selection by the user. The method further includes receiving a selection of at least one business set from the user, and receiving a selection of functions from the user based on the selected business set. The method further includes determining whether the selection of functions by the user is valid, and activating switches to enable software elements corresponding to the selected functions, if the user selection of the functions is determined to be valid.

    摘要翻译： 提供了配置和执行复杂软件的系统和方法。 复杂软件可以包括对应于核心层的代码和对应于多个行业扩展中的至少一个的代码。 提供了一种用于配置软件的方法，其包括呈现用户选择的至少一个业务集。 该方法还包括从用户接收至少一个业务集的选择，以及基于所选择的业务集从用户接收功能的选择。 该方法还包括确定用户对功能的选择是否有效，以及如果功能的用户选择被确定为有效，则激活交换机来启用与所选功能相对应的软件元素。

    Safe computer code formats and methods for generating safe computer code
    5.
    发明申请
    Safe computer code formats and methods for generating safe computer code 有权
    用于生成安全计算机代码的安全计算机代码格式和方法

    公开(公告)号：US20070006191A1

    公开(公告)日：2007-01-04

    申请号：US11504934

    申请日：2006-08-15

    申请人： Michael Franz ,  Wolfram Amme ,  Jeffrey Von Ronne

    发明人： Michael Franz ,  Wolfram Amme ,  Jeffrey Von Ronne

    IPC分类号： G06F9/45

    CPC分类号： G06F21/50

    摘要： An inherently safe code format for representing computer programs is disclosed. The format provides incorruptible referential integrity and uses type separation to achieve intrinsic type safety. The format preserves a safety guarantee found in a source code language representation of the computer program while the computer program proceeds through various stages of the code compilation process.

    摘要翻译： 公开了用于表示计算机程序的固有的安全代码格式。 该格式提供了不可破坏的引用完整性，并使用类型分离来实现固有的类型安全。 在计算机程序进行代码编译过程的各个阶段时，该格式保留了计算机程序的源代码语言表示中的安全保证。

    Apparatus and method for recording monophasic action potentials from an in vivo heart
    6.
    发明授权
    Apparatus and method for recording monophasic action potentials from an in vivo heart 失效
    从体内心脏记录单相动作电位的装置和方法

    公开(公告)号：US4979510A

    公开(公告)日：1990-12-25

    申请号：US225043

    申请日：1988-07-27

    申请人： Michael Franz ,  Ingemar Lundquist

    发明人： Michael Franz ,  Ingemar Lundquist

    IPC分类号： A61B5/0402 ,  A61B5/042 ,  A61B5/0452

    CPC分类号： A61B5/6855 ,  A61B5/042 ,  A61B5/0452 ,  A61B2562/0209 ,  A61B2562/046

    摘要： The apparatus comprises a probe having a tip portion, a first electrode mounted on a terminal free end of the tip portion and a second electrode spaced along the tip portion from the first electrode for supplying a reference potential. The probe is constructed so as to hold the first electrode in contact with tissue of an in vivo beating heart with a positive pressure without causing macroscopic damage to the heart tissue while orienting the probe such that the second electrode is spaced from the heart tissue.A stylet is retractably mounted within the probe, for allowing a physician to maneuver the probe through a vein or the like. Once the probe is in position, it may be replaced by a probe of a different shape. The probe may also be retracted while being inserted, for preventing internal injury to the patient. The stylet may have a noncircular cross-section for restricting directions in which it can bend. In an alternative embodiment, a combination catheter is disclosed, including pacing electrodes for pacing the heart while measuring the potentials thereof.

    摘要翻译： 该装置包括具有尖端部分的探针，安装在尖端部分的端子自由端上的第一电极和沿着尖端部分与第一电极间隔开的用于提供参考电位的第二电极。 探针构造成使得第一电极与正压力的体内打浆心脏的组织保持接触，而不会导致对心脏组织的宏观损伤，同时定向探针使得第二电极与心脏组织间隔开。 探针可伸缩地安装探针，用于允许医师通过静脉等操纵探针。 一旦探头就位，它可以被不同形状的探针代替。 探针也可以在插入时缩回，以防止对患者的内部伤害。 探针可以具有用于限制其可弯曲的方向的非圆形横截面。 在替代实施例中，公开了组合导管，包括用于在测量其电位的同时起搏心脏的起搏电极。

    Dynamic incremental compiler and method
    7.
    发明授权
    Dynamic incremental compiler and method 有权
    动态增量编译器和方法

    公开(公告)号：US08769511B2

    公开(公告)日：2014-07-01

    申请号：US11676198

    申请日：2007-02-16

    申请人： Andreas Imre Gal ,  Michael Franz

    发明人： Andreas Imre Gal ,  Michael Franz

    IPC分类号： G06F9/45

    CPC分类号： G06F8/52 ,  G06F8/443 ,  G06F9/45516 ,  G06F9/45558 ,  G06F2009/45591

    摘要： A virtual machine executive (VME) system operating on a target platform that includes a virtual machine monitor (VMM) and a dynamic compiler, in particular, a trace compiler (TC). System embodiments include a virtual machine monitor configured to record a trace corresponding to a selected cycle, and configured to transform the trace into a representation of a trace tree; and a trace compiler cooperating with the virtual machine monitor to compile the representation of the trace tree into a compiled code segment of native machine code executable on the target platform, in which the trace is a linear instruction sequence traversing at least a portion of a method, a loop, or a branching node.

    摘要翻译： 在包括虚拟机监视器（VMM）和动态编译器（特别是跟踪编译器（TC））的目标平台上运行的虚拟机执行程序（VME）系统。 系统实施例包括虚拟机监视器，其被配置为记录对应于所选择的周期的跟踪，并且被配置为将跟踪转换成跟踪树的表示; 以及与虚拟机监视器协作的跟踪编译器，以将跟踪树的表示编译成在目标平台上可执行的本地机器代码的编译代码段，其中跟踪是穿过方法的至少一部分的线性指令序列 ，循环或分支节点。

    Safe computer code formats and methods for generating safe computer code
    8.
    发明授权
    Safe computer code formats and methods for generating safe computer code 有权
    用于生成安全计算机代码的安全计算机代码格式和方法

    公开(公告)号：US08392897B2

    公开(公告)日：2013-03-05

    申请号：US11504934

    申请日：2006-08-15

    申请人： Michael Franz ,  Wolfram Amme ,  Jeffrey Von Ronne

    发明人： Michael Franz ,  Wolfram Amme ,  Jeffrey Von Ronne

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

    CPC分类号： G06F21/50

    摘要： An inherently safe code format for representing computer programs is disclosed. The format provides incorruptible referential integrity and uses type separation to achieve intrinsic type safety. The format preserves a safety guarantee found in a source code language representation of the computer program while the computer program proceeds through various stages of the code compilation process.

    摘要翻译： 公开了用于表示计算机程序的固有的安全代码格式。 该格式提供了不可破坏的引用完整性，并使用类型分离来实现固有的类型安全。 在计算机程序进行代码编译过程的各个阶段时，该格式保留了计算机程序的源代码语言表示中的安全保证。

    Multi-variant parallel program execution to detect malicious code injection
    9.
    发明授权
    Multi-variant parallel program execution to detect malicious code injection 有权
    多变并行程序执行检测恶意代码注入

    公开(公告)号：US08239836B1

    公开(公告)日：2012-08-07

    申请号：US12075127

    申请日：2008-03-07

    申请人： Michael Franz ,  Andreas Gal ,  Babak Salamat

    发明人： Michael Franz ,  Andreas Gal ,  Babak Salamat

    IPC分类号： G06F9/44

    CPC分类号： G06F11/1487 ,  G06F11/1641 ,  G06F11/184 ,  G06F21/52

    摘要： Techniques, computer program products, apparatus and systems for controlling operation of a program code in a digital processor, a computer or a computer system, including techniques for generating program variants, monitoring execution of a program and variants of the program, and detecting functional differences between the multiple executions.

    摘要翻译： 技术，计算机程序产品，用于控制数字处理器，计算机或计算机系统中的程序代码的操作的装置和系统，包括用于生成程序变体的技术，监视程序的执行和程序的变体以及检测功能差异 在多个执行之间。

    Operating methods for a medical imaging system and for a computing device, and devices corresponding thereto
    10.
    发明申请
    Operating methods for a medical imaging system and for a computing device, and devices corresponding thereto 有权
    用于医疗成像系统和计算设备的操作方法以及对应于其的设备

    公开(公告)号：US20050058243A1

    公开(公告)日：2005-03-17

    申请号：US10939318

    申请日：2004-09-10

    申请人： Michael Franz

    发明人： Michael Franz

    IPC分类号： A61B6/00 ,  G01N23/04

    CPC分类号： A61B6/563 ,  A61B6/00 ,  A61B6/56 ,  Y10S378/901

    摘要： A control device (4) for a medical imaging system drives a signal source (1) and a detector (2) so that the detector (2) registers raw data of an object (5). Said device accepts the registered raw data and conveys send data corresponding to said registered raw data via a computer-to-computer link (10) to a computing device (11) not assigned to the medical imaging system. Said device determines an end data record by means of the send data and conveys it to the control device (4) via the computer-to-computer link (10). At least one end image is defined by the end data record. The control device (4) feeds out the end image to a user (15) of the medical imaging system via a viewing device (16).

    摘要翻译： 用于医疗成像系统的控制装置（4）驱动信号源（1）和检测器（2），使得检测器（2）登记物体（5）的原始数据。 所述设备接受所登记的原始数据，并将与所登记的原始数据相对应的发送数据经由计算机到计算机链路（10）传送到未分配给医学成像系统的计算设备（11）。 所述设备通过发送数据确定结束数据记录，并经由计算机到计算机链路（10）将其传送到控制设备（4）。 至少一个终端图像由最终数据记录定义。 控制装置（4）经由观察装置（16）向终端图像馈送到医疗成像系统的用户（15）。