专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

51. 发明申请

US20110072006A1 MANAGEMENT OF DATA AND COMPUTATION IN DATA CENTERS 有权
标题翻译：数据中心的数据管理和计算
公开(公告)号：US20110072006A1
公开(公告)日：2011-03-24
申请号：US12562156
申请日：2009-09-18
申请人： Yuan Yu , Pradeep Kumar Gunda , Li Zhuang
发明人： Yuan Yu , Pradeep Kumar Gunda , Li Zhuang
IPC分类号： G06F17/30
CPC分类号： G06F17/30545 , G06F17/30451
摘要： Data and computation may be unified (i.e., integrated) in a data center using a single query interface. Users may interact with the data center via a query interface to provide a query (i.e., a computation) to the data center. The results of the query may be referred to as derived datasets and may be managed by a cache server. In an implementation, a derived dataset is uniquely referenced by the query that computes it. Shared common computations are computed only once and may be reused by other computations. The result of a query may be computed (if not previously cached) and returned to the user. Infrequently used derived datasets may be garbage collected (e.g., deleted or otherwise removed from storage) by a garbage collector. This integration of data and computation provides efficient resource management for data center.
摘要翻译：数据和计算可以使用单个查询接口统一（即集成）在数据中心中。用户可以经由查询界面与数据中心进行交互，以向数据中心提供查询（即计算）。查询的结果可以被称为派生数据集，并且可以由缓存服务器管理。在一个实现中，派生数据集由计算它的查询唯一引用。共享公共计算仅计算一次，并可能被其他计算重用。可以计算查询的结果（如果不是先前缓存）并返回给用户。不经常使用的派生数据集可能被垃圾收集器垃圾收集（例如，删除或以其他方式从存储中移除）。这种数据和计算的集成为数据中心提供了有效的资源管理。

52. 发明申请

US20090247687A1 INK FORMULATIONS, MODIFIED PIGMENT-BASED INK FORMULATIONS AND METHODS OF MAKING 有权
标题翻译：油墨制剂，改性颜料的制剂及制备方法
公开(公告)号：US20090247687A1
公开(公告)日：2009-10-01
申请号：US12483185
申请日：2009-06-11
申请人： Zeying Ma , Gregg A. Lane , Yuan Yu , Xiaohe Chen , George M. Sarkisian
发明人： Zeying Ma , Gregg A. Lane , Yuan Yu , Xiaohe Chen , George M. Sarkisian
IPC分类号： C09D11/10
CPC分类号： C09D11/322
摘要： Briefly described, embodiments of this disclosure include ink formulation and modified pigments. One exemplary modified pigment, among others, includes a pigment A represented by the formula in FIG. 3.
摘要翻译：简要描述，本公开的实施方案包括油墨配方和改性颜料。一种示例性改性颜料，其中包括由图1中的式表示的颜料A. 3。

53. 发明申请

US20080173068A1 Reliability Test Plate for Appearance Treatment and the Method Thereof 失效
标题翻译：外观处理可靠性试验台及其方法
公开(公告)号：US20080173068A1
公开(公告)日：2008-07-24
申请号：US11972807
申请日：2008-01-11
申请人： Chung-Ming Wang , Yuan Yu
发明人： Chung-Ming Wang , Yuan Yu
IPC分类号： G01N3/56 , G01N19/00
CPC分类号： G01N19/04 , G01N3/56 , G01N33/32
摘要： The reliability test plate for appearance treatment is used to coat with predetermined paint or material. The reliability test plate at least includes an appearance simulation area for simulating at least partial appearance of an electronic product, and at least one test plane area. The appearance simulation area and the test plane area can be coated with the predetermined paint. Then, one reliability test item can be performed at the test plane area.
摘要翻译：用于外观处理的可靠性试验板用于涂覆预定的涂料或材料。可靠性测试板至少包括用于模拟电子产品的至少部分外观的外观模拟区域和至少一个测试平面区域。外观模拟区域和测试平面区域可以涂覆预定的涂料。然后，可以在测试平面区域执行一个可靠性测试项目。

54. 发明申请

US20080109641A1 AUTOMATIC AND SYSTEMATIC DETECTION OF RACE CONDITIONS AND ATOMICITY VIOLATIONS 有权
标题翻译：自动和系统的检测条件和原子侵害
公开(公告)号：US20080109641A1
公开(公告)日：2008-05-08
申请号：US11557252
申请日：2006-11-07
申请人： Thomas J. Ball , Yuan Yu , Shuvendu K. Lahiri
发明人： Thomas J. Ball , Yuan Yu , Shuvendu K. Lahiri
IPC分类号： G06F9/30
CPC分类号： G06F11/3684 , G06F9/524
摘要： A library or application is selected comprising one or more functions or methods. An interesting subset of the functions or methods is created. A plurality of multi-threaded test cases are generated from the subset of interesting functions or methods, with each test case comprising a unique pair or triple of functions or methods from the subset. The resulting set of test cases may then be filtered of thread safe test cases using static analysis techniques. The filtered set of test cases is then used as an input to a specialized application that executes each of the multi-threaded test cases to detect atomicity violations and race conditions. The results of the execution of each of the test cases by the specialized application are then aggregated and presented to a user or administrator in a report, for example.
摘要翻译：选择包括一个或多个功能或方法的库或应用程序。创建函数或方法的一个有趣的子集。从感兴趣的功能或方法的子集生成多个多线程测试用例，每个测试用例包括来自该子集的唯一对或三个函数或方法。然后可以使用静态分析技术对结果集的测试用例进行线程安全测试用例的过滤。然后将经过滤波的测试用例集合用作执行每个多线程测试用例以检测原子性违规和竞态条件的专用应用程序的输入。例如，通过专门应用程序执行每个测试用例的结果然后被聚合并呈现给报告中的用户或管理员。

55. 发明申请

US20070220026A1 Efficient caching for large scale distributed computations 审中-公开
标题翻译：高效缓存大规模分布式计算
公开(公告)号：US20070220026A1
公开(公告)日：2007-09-20
申请号：US11378417
申请日：2006-03-17
申请人： Michael Isard , Yuan Yu
发明人： Michael Isard , Yuan Yu
IPC分类号： G06F7/00
CPC分类号： G06F12/0802
摘要： Caching is provided to speed up the recomputation of an application, function, or other computation that relies on a very large input dataset, when the input dataset is changed. Previous computation results are stored in storage, for example, in a system-wide, global, persistent cache server. The storage enables the reuse of previous results on the parts of the dataset that are old and unchanged, and to only run the computation on the parts of the dataset that are new or changed. The application then combines the results of the two parts to form the final result.
摘要翻译：提供缓存，以便在输入数据集更改时，加速重新计算依赖于非常大的输入数据集的应用程序，函数或其他计算。以前的计算结果存储在存储器中，例如，在全系统的全局，持久缓存服务器中。该存储可以使旧数据集的旧且不变的部分重新使用以前的结果，并且仅在新数据集或更改的数据集的部分上运行计算。然后，应用程序将两部分的结果相结合，形成最终结果。

56. 发明授权

US07231498B2 Adaptive granularity refinement in detecting potential data races 有权
标题翻译：检测潜在数据竞赛中的自适应粒度优化
公开(公告)号：US07231498B2
公开(公告)日：2007-06-12
申请号：US11070766
申请日：2005-03-02
申请人： Thomas L. Rodeheffer , Yuan Yu
发明人： Thomas L. Rodeheffer , Yuan Yu
IPC分类号： G06F12/02
CPC分类号： G06F9/526 , G06F2209/523
摘要： A method and apparatus are provided for detecting data races that overcome the limitations of the prior art. In some embodiments, this is accomplished by detecting a first access to an object, determining whether the first access is associated with a suspicious pattern, automatically refining a pattern detection granularity from the object to a memory location within the object if a determination is made that the first access is associated with the suspicious pattern, and reporting the data race if a second access associated with the suspicious pattern occurs at the memory location after the pattern detection granularity is refined.
摘要翻译：提供了一种用于检测克服现有技术限制的数据竞赛的方法和装置。在一些实施例中，这是通过检测对对象的第一访问，确定第一访问是否与可疑模式相关联来实现的，如果确定所述对象中的模式检测粒度被自动地从对象改进到对象内的存储器位置，则确定第一访问与可疑模式相关联，并且如果在模式检测粒度被改进之后在存储器位置发生与可疑模式相关联的第二访问，则报告数据竞争。

57. 发明申请

US20060218356A1 Adaptive granularity refinement in detecting potential data races 有权
标题翻译：检测潜在数据竞赛中的自适应粒度优化
公开(公告)号：US20060218356A1
公开(公告)日：2006-09-28
申请号：US11070766
申请日：2005-03-02
申请人： Thomas Rodeheffer , Yuan Yu
发明人： Thomas Rodeheffer , Yuan Yu
IPC分类号： G06F12/00
CPC分类号： G06F9/526 , G06F2209/523
摘要： A method and apparatus are provided for detecting data races that overcome the limitations of the prior art. In some embodiments, this is accomplished by detecting a first access to an object, determining whether the first access is associated with a suspicious pattern, automatically refining a pattern detection granularity from the object to a memory location within the object if a determination is made that the first access is associated with the suspicious pattern, and reporting the data race if a second access associated with the suspicious pattern occurs at the memory location after the pattern detection granularity is refined.
摘要翻译：提供了一种用于检测克服现有技术限制的数据竞赛的方法和装置。在一些实施例中，这是通过检测对对象的第一访问，确定第一访问是否与可疑模式相关联来实现的，如果确定所述对象中的模式检测粒度被自动地从对象改进到对象内的存储器位置，则确定第一访问与可疑模式相关联，并且如果在模式检测粒度被改进之后在存储器位置发生与可疑模式相关联的第二访问，则报告数据竞争。

58. 发明申请

US20060200823A1 Systems and methods of reporting multiple threads involved in a potential data race 失效
标题翻译：报告涉及潜在数据竞赛的多个线程的系统和方法
公开(公告)号：US20060200823A1
公开(公告)日：2006-09-07
申请号：US11070693
申请日：2005-03-02
申请人： Thomas Rodeheffer , Yuan Yu
发明人： Thomas Rodeheffer , Yuan Yu
IPC分类号： G06F9/46
CPC分类号： G06F9/524 , G06F11/0715 , G06F11/073 , G06F11/0751 , G06F11/0778 , G06F11/3632 , G06F11/3636 , G06F2209/523
摘要： Criteria are defined for determining when additional stack dumps would be saved and presented (e.g., to the developer). This provides more information for the developer to use for debugging, and yet does not overburden the developer with irrelevent information. Suspicious activity worthy of an additional stack dumps may be defined as a thread accessing an already suspicious location that is different than the original thread, a write access being made and no write access having yet been made to the target location, or if the lockset being held by the thread accessing the location is omitted from the intersection of all locksets involved in stack dumps for the location.
摘要翻译：定义标准用于确定何时将保存和呈现额外的堆栈转储（例如，向开发人员）。这提供了开发人员用于调试的更多信息，但不会使开发人员不必要的信息过重。值得额外堆栈转储的可疑活动可以被定义为访问与原始线程不同的已经可疑位置的线程，正在进行写入访问，还没有对目标位置进行写入访问，或者如果锁定为由访问该位置的线程所占据的位置从与堆栈转储中涉及的所有锁定点的交集中省略。

59. 发明申请

US20060190865A1 Quantified boolean formula (QBF) solver 有权
标题翻译：量化布尔公式（QBF）求解器
公开(公告)号：US20060190865A1
公开(公告)日：2006-08-24
申请号：US11038958
申请日：2005-01-18
申请人： Yuan Yu , Lintao Zhang
发明人： Yuan Yu , Lintao Zhang
IPC分类号： G06F17/50
CPC分类号： G06F17/504 , G06F17/11
摘要： Quantified Boolean formula (QBF) techniques are used in determining QBF satisfiability. A QBF is broken into component parts that are analyzable by a satisfiability (SAT) solver. Each component is then independently, and perhaps in parallel, analyzed for satisfiability. If a component is unsatisfiable, then it is determined that the QBF is unsatisfiable, and the analysis is stopped. If a component is satisfiable, then an assignment corresponding to the satisfiable component is noted. If a component is satisfiable, then it is appended to another untested component to provide a combination component, and the satisfiability of the combination component is analyzed. Such appending and analysis is repeated until the QBF is completed and determined to be satisfiable or determined to be unsatisfiable.
摘要翻译：量化布尔公式（QBF）技术用于确定QBF可满足性。 QBF被分解成可满足性（SAT）求解器可分析的组件。然后分析每个组件的可靠性，并且可能并行地进行分析。如果组件不能令人满意，则确定QBF不可满足，并且分析停止。如果组件是可满足的，则记录对应于可满足组件的分配。如果组件可满足，则将其附加到另一未测试组件以提供组合组件，并分析组合组件的可满足性。重复这种附加和分析直到QBF完成并确定为满足或确定为不满意。

60. 发明授权

US06881511B1 Gas diffusion electrodes containing modified carbon products 失效
标题翻译：含有改性碳产品的气体扩散电极
公开(公告)号：US06881511B1
公开(公告)日：2005-04-19
申请号：US10638260
申请日：2003-08-08
申请人： Paolo Tosco , Laurent Kosbach , Yuan Yu , Claudio Orecchia
发明人： Paolo Tosco , Laurent Kosbach , Yuan Yu , Claudio Orecchia
IPC分类号： C25B11/03 , C25B11/00 , C25B11/04 , C25B11/12 , H01M4/00 , H01M4/62 , H01M4/86 , H01M4/88 , H01M4/90 , H01M4/96 , H01M8/02 , H01M12/06 , H01M12/08
CPC分类号： H01M4/8605 , H01M12/06 , H01M12/08 , Y02E60/128
摘要： Gas-diffusion electrodes containing modified carbon products are described wherein the modified carbon product is a carbon product having attached at least one organic group. The modified carbon product can be used for at least one component of the electrodes such as the active layer and/or the blocking layer. Methods to extend the service life of electrodes as well as methods to reduce the amount of fluorine containing compounds are also described.
摘要翻译：描述了含有改性碳产物的气体扩散电极，其中改性碳产物是具有至少一个有机基团的碳产物。改性碳产物可用于电极的至少一种组分，例如活性层和/或阻挡层。还描述了延长电极的使用寿命的方法以及减少含氟化合物的量的方法。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式