利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

261 条记录 (耗时 0.062 秒)

    Context-Sensitive Slicing For Dynamically Parallelizing Binary Programs
    131.
    发明申请
    Context-Sensitive Slicing For Dynamically Parallelizing Binary Programs 有权
    动态并行二进制程序的上下文敏感切片

    公开(公告)号：US20110099541A1

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

    申请号：US12607589

    申请日：2009-10-28

    申请人： Joseph Blomstedt ,  Cheng Wang ,  Youfeng Wu

    发明人： Joseph Blomstedt ,  Cheng Wang ,  Youfeng Wu

    IPC分类号： G06F9/45

    CPC分类号： G06F11/3604 ,  G06F8/433 ,  G06F8/456

    摘要： In one embodiment of the invention a method comprising (1) receiving an unstructured binary code region that is single-threaded; (2) determining a slice criterion for the region; (3) determining a call edge, a return edge, and a fallthrough pseudo-edge for the region based on analysis of the region at a binary level; and (4) determining a context-sensitive slice based on the call edge, the return edge, the fallthrough pseudo-edge, and the slice criterion. Embodiments of the invention may include a program analysis technique that can be used to provide context-sensitive slicing of binary programs for slicing hot regions identified at runtime, with few underlying assumptions about the program from which the binary is derived. Also, in an embodiment a slicing method may include determining a context-insensitive slice, when a time limit is met, by determining the context-insensitive slice while treating call edges as a normal control flow edges.

    摘要翻译： 在本发明的一个实施例中，一种方法包括（1）接收单线程的非结构化二进制码区域; （2）确定该区域的切片标准; （3）基于二进制级别的区域的分析确定该区域的通话边缘，返回边缘和下降伪边缘; 和（4）基于呼叫边缘，返回边缘，下降伪边缘和切片标准来确定上下文敏感切片。 本发明的实施例可以包括程序分析技术，其可以用于提供二进制程序的上下文敏感切片，用于对在运行时识别的热区域进行切片，而关于从其导出二进制的程序的几个基本假设。 此外，在一个实施例中，切片方法可以包括当满足时间限制时，通过在将呼叫边缘视为正常控制流边缘的同时确定上下文不敏感切片来确定上下文不敏感切片。

    Aircraft flight display with a non-linear pitch scale
    133.
    发明授权
    Aircraft flight display with a non-linear pitch scale 有权
    具有非线性音高刻度的飞机飞行显示

    公开(公告)号：US07825831B2

    公开(公告)日：2010-11-02

    申请号：US11940112

    申请日：2007-11-14

    申请人： Joachim Laurenz Naimer ,  James Mitchell Brannen ,  John Russell Jorgensen ,  Cheng Wang ,  Patrick Krohn

    发明人： Joachim Laurenz Naimer ,  James Mitchell Brannen ,  John Russell Jorgensen ,  Cheng Wang ,  Patrick Krohn

    IPC分类号： G01C23/00

    CPC分类号： G01C23/00 ,  G08G5/0021 ,  G08G5/0086

    摘要： A display image for use in an aircraft is produced in response to receiving aircraft location, heading, altitude, and pitch data. The location and heading data are employed to access a topographical database and obtain terrain information for a region on the earth's surface ahead of the aircraft. A terrain image is produced from the terrain information and a non-linear pitch scale is superimposed over the terrain image. The non-linear pitch scale corresponds to the relationship of the aircraft pitch and the terrain image. Additional data designating other aircraft operational parameters, such as speed and altitude, are depicted by graphical objects. The terrain image, the non-linear pitch scale, and the graphical objects are combined into the display image. The terrain image and the non-linear pitch scale move in the display image in response to changes in the pitch of the aircraft.

    摘要翻译： 响应于接收飞行器的位置，航向，高度和俯仰数据而产生用于飞行器的显示图像。 采用位置和标题数据来访问地形数据库，并获取飞机前方地球表面上的区域的地形信息。 从地形信息产生地形图像，并且在地形图像上叠加非线性俯仰尺度。 非线性俯仰尺度对应于飞机俯仰和地形图像的关系。 图形对象描绘了指定其他飞机操作参数（如速度和高度）的附加数据。 地形图像，非线性俯仰尺度和图形对象被组合到显示图像中。 响应于飞行器的俯仰变化，地形图像和非线性俯仰比例在显示图像中移动。

    ENERGY/PERFORMANCE WITH OPTIMAL COMMUNICATION IN DYNAMIC PARALLELIZATION OF SINGLE-THREADED PROGRAMS
    134.
    发明申请
    ENERGY/PERFORMANCE WITH OPTIMAL COMMUNICATION IN DYNAMIC PARALLELIZATION OF SINGLE-THREADED PROGRAMS 有权
    能源/性能与单通道程序动态并行的最佳通信

    公开(公告)号：US20100169861A1

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

    申请号：US12344721

    申请日：2008-12-29

    申请人： Cheng Wang ,  Youfeng Wu

    发明人： Cheng Wang ,  Youfeng Wu

    IPC分类号： G06F9/44

    CPC分类号： G06F8/443 ,  G06F8/41 ,  G06F8/445 ,  G06F8/457

    摘要： A method and apparatus for optimizing parallelized single threaded programs is herein described. Code regions, such as dependency chains, are replicated utilizing any known method, such as dynamic code replication. A flow network associated with a replicated code region is built and a minimum cut algorithm is applied to determine duplicated nodes, which may include a single instruction or a group of instructions, to be removed. The dependency of removed nodes is fulfilled with inserted communication to ensure proper data consistency of the original single-threaded program. As a result, both performance and power consumption is optimized for parallel code sections through removal of expensive workload nodes and replacement with communication between other replicated code regions to be executed in parallel.

    摘要翻译： 这里描述用于优化并行化单线程程序的方法和装置。 使用任何已知的方法（如动态代码复制）来复制代码区域，例如依赖关系链。 构建与复制代码区域相关联的流网络，并且应用最小切割算法来确定可以包括要移除的单个指令或一组指令的重复节点。 删除的节点的依赖性通过插入的通信来实现，以确保原始单线程程序的正确数据一致性。 因此，通过移除昂贵的工作负载节点和并行执行的其他复制代码区之间的通信来替换并行代码段，性能和功耗都得到了优化。

    PROGRAM TRANSLATION AND TRANSACTIONAL MEMORY FORMATION
    135.
    发明申请
    PROGRAM TRANSLATION AND TRANSACTIONAL MEMORY FORMATION 有权
    程序翻译和交易记忆形成

    公开(公告)号：US20090172654A1

    公开(公告)日：2009-07-02

    申请号：US11966453

    申请日：2007-12-28

    申请人： Chengyan Zhao ,  Cheng Wang ,  Youfeng Wu

    发明人： Chengyan Zhao ,  Cheng Wang ,  Youfeng Wu

    IPC分类号： G06F9/45

    CPC分类号： G06F9/45516

    摘要： Disclosed are methods, machine readable medium and systems that dynamically translate binary programs. The dynamic binary translation may include identifying a hot code trace of a program. The translation may further include determining a completion ratio for the hot code trace. The translation may also include packaging the hot code trace into a transactional memory region in response to the completion ratio having a predetermined relationship to a threshold ratio.

    摘要翻译： 公开了动态地翻译二进制程序的方法，机器可读介质和系统。 动态二进制翻译可以包括识别程序的热代码跟踪。 该翻译还可以包括确定热代码跟踪的完成率。 翻译还可以包括响应于具有与阈值比率的预定关系的完成比率将热代码跟踪封装到事务存储区域中。

    MECHANISMS FOR STRONG ATOMICITY IN A TRANSACTIONAL MEMORY SYSTEM
    136.
    发明申请
    MECHANISMS FOR STRONG ATOMICITY IN A TRANSACTIONAL MEMORY SYSTEM 有权
    在一个交互式存储系统中强大的原理机制

    公开(公告)号：US20090172317A1

    公开(公告)日：2009-07-02

    申请号：US11967231

    申请日：2007-12-30

    申请人： Bratin Saha ,  Ali-Reza Adl-Tabatabai ,  Cheng Wang ,  Tatiana Shpeisman

    发明人： Bratin Saha ,  Ali-Reza Adl-Tabatabai ,  Cheng Wang ,  Tatiana Shpeisman

    IPC分类号： G06F12/12

    CPC分类号： G06F9/30087 ,  G06F9/3004 ,  G06F9/467

    摘要： A method and apparatus for providing efficient strong atomicity is herein described. Optimized strong operations may be inserted at non-transactional read accesses to provide efficient strong atomicity. A global transaction value is copied at a beginning of a non-transational function to a local transaction value; essentially creating a local timestamp of the global transaction value. At a non-transactional memory access within the function, a counter value or version value is compared to the LTV to see if a transaction has started updating memory locations, or specifically the memory location accessed. If memory locations have not been updated by a transaction, execution is accelerated by avoiding a full set of slowpath strong atomic operations to ensure validity of data accessed. In contrast, the slowpath operations may be executed to resolve contention between a transactional and non-transaction access contending for the same memory location.

    摘要翻译： 这里描述了提供有效的强原子性的方法和装置。 可以在非事务性读访问中插入优化的强操作，以提供有效的强原子性。 全局事务值在非转换函数的开头被复制到本地事务值; 基本上创建了全局事务值的本地时间戳。 在功能内的非事务性存储器访问中，将计数器值或版本值与LTV进行比较，以查看事务是否开始更新存储器位置，或具体地访问存储器位置。 如果事务没有更新存储器位置，则通过避免一整套的慢路强原子操作来加速执行，以确保访问的数据的有效性。 相比之下，可以执行慢路操作来解决争用相同内存位置的事务和非事务访问之间的争用。

    FUEL CELL APPARATUS
    137.
    发明申请
    FUEL CELL APPARATUS 失效
    燃油电池装置

    公开(公告)号：US20080318113A1

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

    申请号：US11947788

    申请日：2007-11-30

    申请人： Cheng Wang ,  Nien-Hui Hsu ,  Jin-Shu Huang ,  Ching-Po Lee

    发明人： Cheng Wang ,  Nien-Hui Hsu ,  Jin-Shu Huang ,  Ching-Po Lee

    IPC分类号： H01M8/02

    CPC分类号： H01M8/04089

    摘要： A fuel cell apparatus including a reaction unit for performing a chemical reaction, at least one fan for providing an airflow, and an airflow guiding device is provided. The airflow guiding device is connected to the fan and the reaction unit. The airflow guiding device includes an airflow rectification segment and a first airflow separation segment. The airflow rectification segment is connected to the fan and has one flow channel. The first airflow separation segment is connected to the airflow rectification segment and disposed between the airflow rectification segment and the reaction unit. A number of flow channels inside the first airflow separation segment is N1, where N1 is a positive integer and N1>1.

    摘要翻译： 提供一种燃料电池装置，包括用于进行化学反应的反应单元，至少一个用于提供气流的风扇和气流引导装置。 气流引导装置连接到风扇和反应单元。 气流引导装置包括气流整流段和第一气流分离段。 气流整流段连接风扇，并具有一个流路。 第一气流分离段连接到气流整流段，并设置在气流整流段和反应单元之间。 第一气流分离段内的多个流动通道为N1，其中N1为正整数，N1> 1。

    WATER RECYCLING SYSTEM
    138.
    发明申请
    WATER RECYCLING SYSTEM 审中-公开
    水循环系统

    公开(公告)号：US20080226962A1

    公开(公告)日：2008-09-18

    申请号：US11868539

    申请日：2007-10-08

    申请人： Nien-Hui Hsu ,  Jin-Shu Huang ,  Cheng Wang ,  Ching-Po Lee

    发明人： Nien-Hui Hsu ,  Jin-Shu Huang ,  Cheng Wang ,  Ching-Po Lee

    IPC分类号： H01M2/00

    CPC分类号： H01M8/04156 ,  H01M8/0606

    摘要： A water recycling system for recycling water produced by a fuel cell module is provided. The water recycling system includes a fan, a mixing tank, and a duct. The fan has an exhaust opening and a suction opening adjacent to a cathode of the fuel cell module. The fan is used to vaporize water produced by the fuel cell module into vapor and exhaust the vapor from the exhaust opening. The mixing tank has a fuel inlet and a fuel outlet. A fuel for the fuel cell module is injected into the mixing tank via the fuel inlet, and the fuel outlet is connected to the fuel cell module. The duct has a first end and a second end. The first end is connected to the exhaust opening, and the second end is in contact with the fuel inside the mixing tank.

    摘要翻译： 提供了一种用于回收由燃料电池模块生产的水的水循环系统。 水回收系统包括风扇，混合罐和管道。 风扇具有与燃料电池模块的阴极相邻的排气口和吸入口。 风扇用于将由燃料电池模块产生的水汽化为蒸汽并从排气口排出蒸气。 混合罐具有燃料入口和燃料出口。 用于燃料电池模块的燃料经由燃料入口注入混合罐，并且燃料出口连接到燃料电池模块。 管道具有第一端和第二端。 第一端连接到排气口，第二端与混合罐内的燃料接触。

    Efficient and consistent software transactional memory
    139.
    发明申请
    Efficient and consistent software transactional memory 有权
    高效一致的软件事务内存

    公开(公告)号：US20080163220A1

    公开(公告)日：2008-07-03

    申请号：US11648012

    申请日：2006-12-28

    申请人： Cheng Wang ,  Youfeng Wu ,  Wei-Yu Chen ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

    发明人： Cheng Wang ,  Youfeng Wu ,  Wei-Yu Chen ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

    IPC分类号： G06F9/46

    CPC分类号： G06F8/458 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3834 ,  G06F9/3859 ,  G06F9/3863 ,  G06F9/467

    摘要： A method and apparatus for efficient and consistent validation/conflict detection in a Software Transactional Memory (STM) system is herein described. A version check barrier is inserted after a load to compare versions of loaded values before and after the load. In addition, a global timestamp (GTS) is utilized to track a latest committed transaction. Each transaction is associated with a local timestamp (LTS) initialized to the GTS value at the start of a transaction. As a transaction commits it updates the GTS to a new value and sets versions of modified locations to the new value. Pending transactions compare versions determined in read barriers to their LTS. If the version is greater than their LTS indicating another transaction has committed after the pending transaction started and initialized the LTS, then the pending transaction validates its read set to maintain efficient and consistent transactional execution.

    摘要翻译： 这里描述了用于在软件事务存储器（STM）系统中有效且一致的验证/冲突检测的方法和装置。 在加载之后插入版本检查障碍，以便在加载之前和之后比较加载值的版本。 此外，使用全局时间戳（GTS）来跟踪最近提交的事务。 每个事务与在事务开始时初始化为GTS值的本地时间戳（LTS）相关联。 作为事务提交，将GTS更新为新值，并将修改的位置的版本设置为新值。 待处理的交易将比较其在LTS阅读障碍中确定的版本。 如果版本大于其LTS，指示在挂起事务启动并初始化LTS之后另一个事务已经提交，则挂起的事务会验证其读取集合以保持有效且一致的事务执行。