会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 5. 发明授权
    • Parallel symbolic execution on cluster of commodity hardware
    • 商品硬件集群上的并行符号执行
    • US08863096B1
    • 2014-10-14
    • US13345585
    • 2012-01-06
    • Stefan BucurCristian ZamfirGeorge Candea
    • Stefan BucurCristian ZamfirGeorge Candea
    • G06F9/44G06F9/45G06F9/46
    • G06F11/3604G06F9/5088
    • A symbolic execution task is dynamically divided among multiple computing nodes. Each of the multiple computing nodes explores a different portion of a same symbolic execution tree independently of other computing nodes. Workload status updates are received from the multiple computing nodes. A workload status update includes a length of a job queue of a computing node. A list of the multiple computing nodes ordered based on the computing nodes' job queue lengths is generated. A determination is made regarding whether a first computing node in the list is underloaded. A determination is made regarding whether a last computing node in the list is overloaded. Responsive to the first computing node being underloaded and the last computing node being overloaded, a job transfer request is generated that instructs the last computing node to transfer a set of one or more jobs to the first computing node.
    • 符号执行任务在多个计算节点之间动态划分。 多个计算节点中的每一个独立于其他计算节点探索相同符号执行树的不同部分。 从多个计算节点接收工作负载状态更新。 工作负载状态更新包括计算节点的作业队列的长度。 生成基于计算节点的作业队列长度排列的多个计算节点的列表。 确定列表中的第一计算节点是否欠载。 确定列表中的最后一个计算节点是否过载。 响应于第一计算节点被负载并且最后的计算节点被重载,生成作业传送请求,其指示最后的计算节点将一组一个或多个作业传送到第一计算节点。
    • 9. 发明授权
    • Method for the preparation of a coating comprising oligomeric alkynes
    • US10787576B2
    • 2020-09-29
    • US15570538
    • 2016-05-02
    • ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE (EPFL) EPFL-TTO
    • Holger FrauenrathStephen SchrettlBjoern SchulteYves Leterrier
    • C09D4/00G03F7/025C09D5/00C09D149/00C08F38/00G03F7/16
    • The invention relates to a method for the preparation of a coating comprising at least one coating layer on a substrate, the method comprising the steps of a. providing monomers of the type R—(N)x-(L)m-(C═C)n-(L′)o-(N′)y—R′, wherein R is a head moiety, R′ is a tail moiety, (C≡C)n is an oligoyne moiety, L and L′ are linker moieties, N and N′ independently are branched or unbranched optionally substituted C1-C25 alkyl moieties optionally containing 1 to 5 heteroatoms, x, m, o, and y are independently 0 or 1, n is 4 to 12, and wherein the head moiety allows for an interaction with the surface of the substrate; b. bringing the monomers into contact with the substrate wherein the interaction of the head moieties of the monomers with the surface of the substrate induces at least a part of the monomers to align in a defined manner thereby forming a film on the surface and bringing the oligoyne moieties of the monomers into close contact with each other; c. inducing a reaction between oligoyne moieties by providing an external stimulus so as to at least partially cross-link the aligned monomers, thereby forming a coating layer on the substrate. The invention further relates to a coating obtainable according to the method of the invention, the use of a coating obtainable according to the method of the invention, a substrate comprising a coating obtainable according to the invention and the use of solid substrate. The invention further relates to a method for the synthesis of the monomers according to the invention.