“J·W·戴尔”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果7个，建议您升级VIP下载更多相关专利

[发明专利]对事件进行建模的方法和系统-CN201110435584.1有效
发明人： J·W·戴尔;J·范格格;H·J·M·梅杰;B·德斯梅特;C·J·米克 -专利权人：微软技术许可有限责任公司
申请日： 2011-12-12 - 公布日： 2017-05-17 - 主分类号： G06F9/46 文献下载
摘要：本发明涉及反应性的重合。对外部事件流可进行建模，以用内部事件流来表示事件的持续时间。可生成内部事件流来表示来自外部事件流的至少一个事件的持续时间。通过对外部事件流建模以包括持续时间，可确定两个或更多事件之间的重合。更具体地，对外部事件流的建模使得能够使用运算符来标识来自事件流的各个事件间的重合。
反应重合

[发明专利]多维分组运算符-CN201210480057.7有效
发明人： B·德斯梅特;H·J·M·梅杰;J·W·戴尔 -专利权人：微软技术许可有限责任公司
申请日： 2012-11-22 - 公布日： 2017-04-12 - 主分类号： G06F17/30 文献下载
摘要：本发明公开了多维分组运算符。诸如语言集成查询（LINQ）对象之类的多维对象可基于分组集合运算符以及零个或多个键选择器而被生成。可利用该对象来在非关系数据源上查询。该对象可包括与同该分组集合运算符有关的每一分组对应的函数序列，以便提供多维分组表示。此外，该对象包括供优化执行该分组集合运算符的嵌套结构。
多维分组运算

[发明专利]解析可观察集合-CN201110321768.5有效
发明人： H·J·M·梅杰;J·W·戴尔;D·J·P·莱延 -专利权人：微软公司
申请日： 2011-10-10 - 公布日： 2012-04-04 - 主分类号： G06F9/30 文献下载
摘要：本发明涉及解析可观察集合。解析技术被应用于可观察集合。更具体而言，诸如组合符解析器等解析器能被用来对一个或多个可观察集合执行句法分析。进而，多个可观察集合可被组合为单一集合且可通过注释集合项或生成时间项来捕捉时间。
解析观察集合

[发明专利]异步程序代码的模糊测试-CN201110317876.5有效
发明人： E·梅杰;D·A·马诺列斯库;J·W·戴尔;J·范格格 -专利权人：微软公司
申请日： 2011-10-09 - 公布日： 2012-04-04 - 主分类号： G06F11/36 文献下载
摘要：描述了异步程序代码的模糊测试。此处描述了将事件源、信道、处理器以及消费者表示为应用程序中的第一级实体的模糊测试系统。对与事件相关的实体进行抽象允许通过对来自应用程序内的事件进行插入、丢弃、重新排序以及延迟来进行模糊。这转变为定位受测试的区域以及以对称方式执行模糊的能力。在一些实施例中，模糊测试系统测试并发异步和基于事件的代码，并能够基于给定的统计分布来生成事件流。将事件、事件源、过滤器、以及汇点表示为第一级对象提供了对于事件处理器的简单访问，并有助通过在源和汇点之间引入事件过滤器来实现模糊。因此，模糊测试系统采用异步行为改进了应用程序和API的可测试性，并提供了用于将模糊测试引入这些应用程序中的统一框架。
异步程序代码模糊测试

[发明专利]反应式编程的编程语言支持-CN201110308242.3有效
发明人： J·范格格;H·J·M·梅杰;J·W·戴尔;B·德斯梅特;D·范费尔岑 -专利权人：微软公司
申请日： 2011-09-28 - 公布日： 2012-03-21 - 主分类号： G06F9/44 文献下载
摘要：本发明涉及反应式编程的编程语言支持。提供程序语言支持以便于反应式编程。提供了在第一类模式和第二类模式之间开始转换的代码，其中模式相对于基于推的数据来操作。还提供了对根据例如迭代器模式来产生和消费基于推的数据的支持。
反应式编程语言支持

[发明专利]用数据库运算符的状态机表达-CN201110096104.3无效
发明人： H·J·M·梅杰;D·A·马诺列斯库;J·范格格;J·W·戴尔;B·C·贝克曼 -专利权人：微软公司
申请日： 2011-04-01 - 公布日： 2012-01-18 - 主分类号： G05B19/048 文献下载
摘要：本发明描述了用数据库运算符的状态机表达。状态机可以使用数据库查询语言的事件驱动对象来表示。可以将来自数据库查询语言的绑定运算符用作状态转移函数，其中转移函数具有定义状态的副效应。对象可以用事件驱动表达式和运算符来操纵并且执行原本对于简单状态机而言复杂的操作。
数据库运算状态机表达

[发明专利]用于异步方法的声明性支持-CN200980107877.8无效
发明人： H·J·M·梅杰;J·W·戴尔;J·凡高;D·范韦尔曾;H·坎塔姆尼;D·A·马诺列斯库;B·贝克曼;B·利夫希茨 -专利权人：微软公司
申请日： 2009-01-30 - 公布日： 2011-02-02 - 主分类号： G06F13/00 文献下载
摘要：异步方法和调用根据声明性意图指示来自动产生。可标识用异步属性来注释的方法或包括特殊异步函数的方法调用。随后，自动生成所标识的同步方法或调用的异步版本。还提供用于指定意图的帮助。
用于异步方法声明支持