-
公开(公告)号:CN101965561A
公开(公告)日:2011-02-02
申请号:CN200980107877.8
申请日:2009-01-30
Applicant: 微软公司
CPC classification number: G06F8/41 , G06F8/30 , G06F9/4484
Abstract: 异步方法和调用根据声明性意图指示来自动产生。可标识用异步属性来注释的方法或包括特殊异步函数的方法调用。随后,自动生成所标识的同步方法或调用的异步版本。还提供用于指定意图的帮助。
-
公开(公告)号:CN102200932B
公开(公告)日:2015-07-15
申请号:CN201110081368.1
申请日:2011-03-25
Applicant: 微软公司
IPC: G06F11/00
CPC classification number: G06F9/467
Abstract: 本文中描述了预测性和持久性事件流。一种事件驱动的应用可以预测未来事件并从预测事件产生事件流。所产生的事件流可以作为预测操作来执行,直到预测被确认为正确或错误。预测的操作可以生成在预测被确认时可被呈现的结果。在某些情况下,可以在预测事件之前使用这些结果,而在其它情况下,可以高速缓存这些结果直到预测被确认。在某些情况下,当预测事件发生时,预测操作可以与实际事件流融合。在某些设备中,预测机制可以增强性能、实现原本可能困难的操作并且节约电池寿命或能量。
-
公开(公告)号:CN102402481A
公开(公告)日:2012-04-04
申请号:CN201110317876.5
申请日:2011-10-09
Applicant: 微软公司
IPC: G06F11/36
CPC classification number: G06F11/3692 , G06F11/076 , G06F11/3684
Abstract: 描述了异步程序代码的模糊测试。此处描述了将事件源、信道、处理器以及消费者表示为应用程序中的第一级实体的模糊测试系统。对与事件相关的实体进行抽象允许通过对来自应用程序内的事件进行插入、丢弃、重新排序以及延迟来进行模糊。这转变为定位受测试的区域以及以对称方式执行模糊的能力。在一些实施例中,模糊测试系统测试并发异步和基于事件的代码,并能够基于给定的统计分布来生成事件流。将事件、事件源、过滤器、以及汇点表示为第一级对象提供了对于事件处理器的简单访问,并有助通过在源和汇点之间引入事件过滤器来实现模糊。因此,模糊测试系统采用异步行为改进了应用程序和API的可测试性,并提供了用于将模糊测试引入这些应用程序中的统一框架。
-
公开(公告)号:CN102204161A
公开(公告)日:2011-09-28
申请号:CN200980141087.1
申请日:2009-10-04
Applicant: 微软公司
Inventor: L·程 , O·C·布朗 , A·J·B·布洛什 , M·P·切尔文斯基 , A·D·戴利 , S·T·杜梅斯 , D·A·马诺列斯库 , H·J·M·梅杰 , S·C·穆西奥 , J·奥伯伦 , R·A·诺兰德
CPC classification number: H04L67/2823 , G06Q10/10 , H04L67/306
Abstract: 所要求保护的主题涉及一种体系结构,该体系结构可以促进创建和管理面向事件的瞬时网络并还可以管理瞬时网络的停止使用。具体而言,该体系结构可以基于特定事件、项目或活动来构造临时社区;管理(例如,过滤、区分优先次序或控制)与社区相关联的通信和内容;以及通过根据控制网络如何衰减的老化功能解构瞬时网络来解散社区。另外,该体系结构可以为了临时社区的利益利用现有信息(例如,简档数据)和与完全不同的社交网络服务或社区相关联的内容馈源。
-
公开(公告)号:CN102200932A
公开(公告)日:2011-09-28
申请号:CN201110081368.1
申请日:2011-03-25
Applicant: 微软公司
IPC: G06F11/00
CPC classification number: G06F9/467
Abstract: 本文中描述了预测性和持久性事件流。一种事件驱动的应用可以预测未来事件并从预测事件产生事件流。所产生的事件流可以作为预测操作来执行,直到预测被确认为正确或错误。预测的操作可以生成在预测被确认时可被呈现的结果。在某些情况下,可以在预测事件之前使用这些结果,而在其它情况下,可以高速缓存这些结果直到预测被确认。在某些情况下,当预测事件发生时,预测操作可以与实际事件流融合。在某些设备中,预测机制可以增强性能、实现原本可能困难的操作并且节约电池寿命或能量。
-
公开(公告)号:CN102204161B
公开(公告)日:2013-09-11
申请号:CN200980141087.1
申请日:2009-10-04
Applicant: 微软公司
Inventor: L·程 , O·C·布朗 , A·J·B·布洛什 , M·P·切尔文斯基 , A·D·戴利 , S·T·杜梅斯 , D·A·马诺列斯库 , H·J·M·梅杰 , S·C·穆西奥 , J·奥伯伦 , R·A·诺兰德
CPC classification number: H04L67/2823 , G06Q10/10 , H04L67/306
Abstract: 所要求保护的主题涉及一种体系结构,该体系结构可以促进创建和管理面向事件的瞬时网络并还可以管理瞬时网络的停止使用。具体而言,该体系结构可以基于特定事件、项目或活动来构造临时社区;管理(例如,过滤、区分优先次序或控制)与社区相关联的通信和内容;以及通过根据控制网络如何衰减的老化功能解构瞬时网络来解散社区。另外,该体系结构可以为了临时社区的利益利用现有信息(例如,简档数据)和与完全不同的社交网络服务或社区相关联的内容馈源。
-
公开(公告)号:CN102323772A
公开(公告)日:2012-01-18
申请号:CN201110096104.3
申请日:2011-04-01
Applicant: 微软公司
IPC: G05B19/048 , G06F17/00
CPC classification number: G06F17/30595 , G06F9/4498
Abstract: 本发明描述了用数据库运算符的状态机表达。状态机可以使用数据库查询语言的事件驱动对象来表示。可以将来自数据库查询语言的绑定运算符用作状态转移函数,其中转移函数具有定义状态的副效应。对象可以用事件驱动表达式和运算符来操纵并且执行原本对于简单状态机而言复杂的操作。
-
-
-
-
-
-