会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Lightweight transactional memory for data parallel programming
    • 用于数据并行编程的轻量级事务存储器
    • US08806495B2
    • 2014-08-12
    • US11824311
    • 2007-06-29
    • James R. LarusTimothy Lawrence HarrisVirendra Jayant Marathe
    • James R. LarusTimothy Lawrence HarrisVirendra Jayant Marathe
    • G06F9/46
    • G06F9/466G06F9/4812G06F9/485G06F9/52G06F2209/481
    • Described is a technology by which alternative use for transactional memory is provided, namely implementing atomic work items that are run asynchronously from their creation in a thread. Described are mechanisms by which threads control the work items that they have created. Atomic work items are scheduled on worker threads managed by the language's runtime system. Atomic work items can use retry to express condition synchronization, providing a general mechanism for controlling when and in what order they are executed. Work items may be grouped, with coordination managed among the grouped work items. Also described by way of example is a highly-parallel implementation of a Chaff satisfiability solver, comprising an example of an important group of applications, including theorem provers and constraint optimization systems.
    • 描述了一种通过其提供事务性存储器的替代使用的技术,即实现从线程中的创建异步运行的原子工作项。 描述了线程控制他们创建的工作项的机制。 原子工作项目被安排在由语言运行时系统管理的工作线程上。 原子工作项可以使用重试来表达条件同步,提供一种通用机制来控制它们执行的时间和顺序。 工作项目可以分组,在分组的工作项目之间进行协调管理。 还通过示例的方式描述了Chaff可满足性求解器的高度并行实现,其包括重要的应用组的示例,包括定理验证器和约束优化系统。
    • 4. 发明授权
    • Min-repro framework for database systems
    • Min-Repl数据库系统框架
    • US08676774B2
    • 2014-03-18
    • US12408330
    • 2009-03-20
    • Nicolas BrunoRimma V. Nehme
    • Nicolas BrunoRimma V. Nehme
    • G06F17/30
    • G06F11/3664
    • The min-repro finding technique described herein is designed to ease and speed-up the task of finding a min-repro, a minimum configuration that reproduces a problem in database-related products. Specifically, in one embodiment, the technique simplifies transformations in order to find one or more min-repros. One embodiment provides a high-level script language to automate some sub-tasks and to guide the search for a simpler the configuration that reproduces the problem. Yet another embodiment provides record-and-replay functionality, and provides an intuitive representation of results and the search space. These tools can save hours of time for both customers and testers to isolate the problem and can result in faster fixes and large cost savings to organizations.
    • 本文描述的最小重复发现技术旨在简化和加快找到最小重现的任务,这是在数据库相关产品中重现问题的最低配置。 具体地说,在一个实施例中,该技术简化了转换,以找到一个或多个最小重复。 一个实施例提供了一种高级脚本语言,用于自动化一些子任务并且引导搜索更简单的再现该问题的配置。 另一个实施例提供记录和重放功能,并提供结果和搜索空间的直观表示。 这些工具可以节省客户和测试人员的时间,以隔离问题,并可以为组织带来更快的修复和更大的成本节省。
    • 7. 发明授权
    • Optimizing write traffic to a disk
    • 优化写入流量到磁盘
    • US08275970B2
    • 2012-09-25
    • US12121776
    • 2008-05-15
    • William J. Bolosky
    • William J. Bolosky
    • G06F12/00
    • G06F3/0656G06F3/061G06F3/0659G06F3/0676
    • The write optimizer described in this disclosure optimizes write traffic to a disk. The write optimization technique writes small data sets to be written to a disk drive to a log file in write optimized order and rewrites the small data sets to disk drive in read optimized order when the disk drive is idle. The write optimizer reserves a portion of a disk to be used for write performance improvement, and then takes all small writes to the disk and writes them to the reserved area rather than to their intended destination. When the disk becomes idle (or the reserved area full), the write optimizer takes the data that has been written to the reserved area and that has not been subsequently overwritten and copies it to its final location.
    • 本公开中描述的写优化器优化了对磁盘的写入流量。 写入优化技术将写入磁盘驱动器的小数据集以写优化顺序写入日志文件,并在磁盘驱动器空闲时以读取优化顺序将小数据集重写为磁盘驱动器。 写优化器保留用于写性能改进的一部分磁盘,然后对磁盘进行所有小写操作,并将其写入保留区而不是其预期目的地。 当磁盘空闲(或保留区域已满)时,写入优化器将已经写入保留区域的数据,并且未被覆盖,并将其复制到其最终位置。
    • 10. 发明授权
    • Adaptive interpolation with artifact reduction of images
    • 具有图像伪像减少的自适应插值
    • US08165389B2
    • 2012-04-24
    • US12133402
    • 2008-06-05
    • Henrique S. Malvar
    • Henrique S. Malvar
    • G06K9/00
    • G06T3/4015
    • An adaptive interpolation technique with artifact reduction is described that technique generates digital images with full-color RGB (red, green, blue) information, from raw pictures (e.g., Bayer-mosaiced single-color images) created by single-CCD digital cameras. The technique employs an improved criterion for choosing the interpolation criterion, which takes into account an output interpolated value. It employs small changes to filter coefficients, for better results and accommodation of “correction attenuation”. In one embodiment, the technique further employs a “correction attenuation” step, which reduces “color sprinkling” artifacts for certain kinds of diagonal edges. The technique makes only a single pass over the image; all colors are interpolated during that pass, vice the multiple passes required by other better performing algorithms (in some cases over ten).
    • 描述了具有伪影减少的自适应插值技术,该技术从由单CCD数字照相机创建的原始图像(例如,拜耳拼接的单色图像)生成具有全色RGB(红,绿,蓝)信息的数字图像。 该技术采用改进的标准来选择插值准则,其考虑了输出内插值。 它对滤波系数进行了小的改变,以获得更好的结果和调整“校正衰减”。 在一个实施例中,该技术还采用“校正衰减”步骤,其减少某些种类的对角线边缘的“颜色喷洒”伪影。 该技术只能在图像上单次传递; 所有颜色在该通过期间进行内插,对其他更好执行的算法(在某些情况下超过十次)所需的多次通过进行反编译。