利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

29 条记录 (耗时 0.021 秒)

    Programmatic access to the widest mode floating-point arithmetic supported by a processor
    14.
    发明授权
    Programmatic access to the widest mode floating-point arithmetic supported by a processor 失效
    对处理器支持的最宽模式浮点运算的编程访问

    公开(公告)号：US07530061B2

    公开(公告)日：2009-05-05

    申请号：US10393144

    申请日：2003-03-20

    申请人： Vatsa Santhanam ,  David Gross ,  John Kwan

    发明人： Vatsa Santhanam ,  David Gross ,  John Kwan

    IPC分类号： G06F9/45

    CPC分类号： G06F8/41

    摘要： A software mechanism for enabling a programmer to embed selected machine instructions into program source code in a convenient fashion, and optionally restricting the re-ordering of such instructions by the compiler without making any significant modifications to the compiler processing. Using a table-driven approach, the mechanism parses the embedded machine instruction constructs and verifies syntax and semantic correctness. The mechanism then translates the constructs into low-level compiler internal representations that may be integrated into other compiler code with minimal compiler changes. When also supported by a robust underlying inter-module optimization framework, library routines containing embedded machine instructions according to the present invention can be inlined into applications. When those applications invoke such library routines, the present invention enables the routines to be optimized more effectively, thereby improving run-time application performance. A mechanism is also disclosed using a “_fpreg” data type to enable floating-point arithmetic to be programmed from a source level where the programmer gains access to the full width of the floating-point register representation of the underlying processor.

    摘要翻译： 一种用于使程序员能够以选择的方式将所选择的机器指令嵌入到程序源代码中的软件机制，并且可选地限制编译器对这些指令的重新排序，而不对编译器处理进行任何重大修改。 使用表驱动方法，该机制解析嵌入式机器指令结构并验证语法和语义正确性。 然后，该机制将构造转换为低级编译器内部表示，可以将编译器的更改内容集成到其他编译器代码中。 当由强大的基础模块间优化框架支持时，包含根据本发明的嵌入式机器指令的库例程可以被内联到应用中。 当这些应用程序调用这种库例程时，本发明使得能够更有效地优化例程，从而提高运行时应用性能。 还公开了使用“_fpreg”数据类型的机制，以使得能够从程序员获得访问底层处理器的浮点寄存器表示的全部宽度的源级编程浮点算术。

    Use of quinoline-3-carboxamide compounds for treatment of diabetes
    15.
    发明授权
    Use of quinoline-3-carboxamide compounds for treatment of diabetes 失效
    使用喹啉-3-甲酰胺化合物治疗糖尿病

    公开(公告)号：US5594005A

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

    申请号：US313302

    申请日：1994-12-23

    申请人： Shimon Slavin ,  Lola Weiss ,  David Gross

    发明人： Shimon Slavin ,  Lola Weiss ,  David Gross

    IPC分类号： A61K31/47 ,  A61P3/08 ,  A61P3/10 ,  C07D215/54 ,  C07D215/56

    CPC分类号： C07D215/54 ,  A61K31/47 ,  C07D215/56 ,  Y10S514/866 ,  Y10S514/884

    摘要： Quinoline-3-carboxamide compounds of formula (I) are effective in preventing, treating or ameliorating Type I diabetes. ##STR1## wherein ----- represents two conjugated double bonds between the atoms comprised by the dashed line, X.sub.1 and X.sub.2 are independently selected from an oxygen atom or NH.sup.9, H.sup.1-9 independently represent a hydrogen atom or a substituent, wherein H.sup.7 and H.sup.8 are attached to different atoms selected from X.sub.1, X.sub.2 and the ring nitrogen atom of the quinoline ring. In particular, X.sub.1 and X.sub.2 being bound by a single bond to the ring when H.sup.7 or H.sup.8 is bonded thereto and by a double bond when H.sup.7 or H.sup.8 is not bonded thereto.

    摘要翻译： PCT No.PCT / SE93 / 00272 Sec。 371日期1994年12月23日第 102（e）日期1994年12月23日PCT 1993年3月31日PCT公布。 WO93 / 19756 PCT公开号 日期：1993年10月14日式（I）的喹啉-3-甲酰胺化合物可有效预防，治疗或改善I型糖尿病。 其中-----表示由虚线包含的原子之间的两个共轭双键，X1和X2独立地选自氧原子或NH9，H1-9独立地表示氢原子或取代基，其中H7 和H8连接到选自X1，X2和喹啉环的环氮原子的不同原子。 特别地，当H 7或H 8键合时，X 1和X 2通过单键与环结合，当H7或H8未键合时，X 1和X 2与双键结合。

    Method and system for identify, treatment and weaning from Internet and computer addiction
    18.
    发明授权
    Method and system for identify, treatment and weaning from Internet and computer addiction 有权
    从互联网和计算机成瘾中识别，治疗和断奶的方法和系统

    公开(公告)号：US09017078B2

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

    申请号：US13570289

    申请日：2012-08-09

    申请人： David Gross

    发明人： David Gross

    IPC分类号： G09B19/00 ,  A61B5/00 ,  G06Q10/10 ,  G06Q50/00

    CPC分类号： G09B19/00 ,  A61B5/00 ,  G06Q10/101 ,  G06Q50/01 ,  G09B7/00

    摘要： Self controlled method and system for identified, treatment and weaning from computer and Internet addiction. On one embodiment of the invention, the system analyzed user activity on the computer and while surfing the Internet, and presents results of his addictive level visually on user's interface. Supporting the whole information of addictive level to the user, give him the power to fight against the phenomena and prevent to increase it.The user can decide whether he wants treatment and act to have it by personal actions or by involvement of third parties such as parents, therapist, support group or even a specific social website. For weaning from the addiction the system can provide positive feedbacks, special treatment and even presents and prizes if the user reduced dramatically his addictive level.

    摘要翻译： 用于计算机和网络成瘾识别，治疗和断奶的自我控制的方法和系统。 在本发明的一个实施例中，该系统分析了计算机上的用户活动以及在上网的同时，在用户界面上可视地呈现出他的上瘾级别的结果。 支持用户上瘾的整体信息，使他有能力应对现象，防止增加现象。 用户可以决定他是否需要治疗，并采取个人行动或通过第三方（如家长，治疗师，支持团体甚至特定社交网站）的参与来采取行动。 对于从成瘾断奶，系统可以提供积极的反馈，特殊待遇，甚至呈现和奖品，如果用户大大降低了他的上瘾水平。

    Method and apparatus for botnet analysis and visualization
    19.
    发明授权
    Method and apparatus for botnet analysis and visualization 有权
    僵尸网络分析和可视化的方法和设备

    公开(公告)号：US08965981B2

    公开(公告)日：2015-02-24

    申请号：US12626309

    申请日：2009-11-25

    申请人： Alicia Abella ,  David Gross ,  Philip Isenhour ,  Jeremy Wright

    发明人： Alicia Abella ,  David Gross ,  Philip Isenhour ,  Jeremy Wright

    IPC分类号： G06F15/16 ,  H04L29/06 ,  H04L12/26

    CPC分类号： H04L63/1408 ,  H04L43/028 ,  H04L43/045 ,  H04L43/067

    摘要： A method and apparatus for botnet analysis and visualization. Network traffic is filtered to compile a list of messages. The identified messages are tokenized, classified, and aggregated and changes in the frequency of tokenized messages are identified. A display of the tokenized messages is generated and displayed via a user interface. The user interface is configured to a allow a user to review data generated based on the filtered network traffic in order to detect potential botnet activity. User input may be used to adjust filtering and tokenization of the messages.

    摘要翻译： 一种用于僵尸网络分析和可视化的方法和装置。 过滤网络流量以编译消息列表。 标识的消息被标记化，分类和聚合，并且识别标记消息的频率的变化。 通过用户界面生成并显示标记化消息的显示。 用户界面被配置为允许用户检查基于过滤的网络流量生成的数据，以便检测潜在的僵尸网络活动。 用户输入可用于调整消息的过滤和标记。