公开(公告)号：AU2011344063A1

公开(公告)日：2013-05-30

申请号：AU2011344063

申请日：2011-12-13

Applicant: MICROSOFT CORP

Inventor： DYER JOHN WESLEY ,  VAN GOGH JEFFREY ,  MEIJER HENRICUS JOHANNES MARIA ,  DE SMET BART ,  MEEK COLIN JOSEPH

IPC: G06F9/44

Abstract: An outer event stream can be modeled to represent duration for an event with an inner event stream. The inner event stream can be generated to represent duration of at least one event from the outer event stream. By modeling the outer event stream to include duration, coincidence between two or more events can be determined. More specifically, the modeling of the outer event stream enables use of operators to identify coincidence between events from event streams.

公开(公告)号：WO2009058684A2

公开(公告)日：2009-05-07

申请号：PCT/US2008081117

申请日：2008-10-24

Applicant: MICROSOFT CORP

Inventor： BECKMAN BRIAN C ,  MEIJER HENRICUS JOHANNES MARIA ,  VAN GOGH JEFFREY ,  VAN VELZEN DANNY

IPC: G06F15/16 ,  G06F9/24

CPC classification number: H04L67/2847 ,  G06F9/44521 ,  G06F17/30902 ,  H04L67/02 ,  H04L67/1097 ,  H04L67/26

Abstract: Client-side performance is optimized through server-side pushing of content. Portions of content are requested and retrieved as required by a client-side application. Moreover, content likely to be needed in the near future is pre-fetched and pushed to the client. This is beneficial from an overhead standpoint since all content need not be provided to the client at once. Rather, content provisioning is throttled based on need, and wait time is mitigated by pre-fetching.

Abstract translation: 客户端性能通过服务器端推送内容进行了优化。 根据客户端应用程序的要求，请求和检索部分内容。 此外，在不久的将来可能需要的内容被预先推送到客户端。 这从开销的角度来看是有益的，因为所有内容不需要一次提供给客户端。 相反，根据需要限制内容配置，并且通过预取来缓解等待时间。

公开(公告)号：WO2012082660A2

公开(公告)日：2012-06-21

申请号：PCT/US2011064505

申请日：2011-12-13

Applicant: MICROSOFT CORP

Inventor： DYER JOHN WESLEY ,  VAN GOGH JEFFREY ,  MEIJER HENRICUS JOHANNES MARIA ,  DE SMET BART ,  MEEK COLIN JOSEPH

IPC: G06F9/44

CPC classification number: G06F9/542 ,  G06F17/5009

Abstract: An outer event stream can be modeled to represent duration for an event with an inner event stream. The inner event stream can be generated to represent duration of at least one event from the outer event stream. By modeling the outer event stream to include duration, coincidence between two or more events can be determined. More specifically, the modeling of the outer event stream enables use of operators to identify coincidence between events from event streams.

Abstract translation: 外部事件流可以被建模以表示具有内部事件流的事件的持续时间。 可以生成内部事件流以表示来自外部事件流的至少一个事件的持续时间。 通过对外部事件流进行建模以包括持续时间，可以确定两个或更多个事件之间的一致性。 更具体地，外部事件流的建模使得能够使用运算符来识别来自事件流的事件之间的一致性。

公开(公告)号：WO2009076071A2

公开(公告)日：2009-06-18

申请号：PCT/US2008084962

申请日：2008-11-26

Applicant: MICROSOFT CORP

Inventor： MEIJER ERIK ,  VAN GOGH JEFFREY

IPC: G06F9/44

CPC classification number: G06F8/52 ,  G06F8/53

Abstract: An arrangement by which pointers may be represented in a restricted software execution environment that provides access to only reference types but not pointers is realized by modeling both pointers and value type boxing using a set of boxes (i.e., containers) which describe how to retrieve the value associated with the pointer, and emitting code for accessing the set of boxes. A decompiling and recompiling process is utilized in which code arranged to run in an execution environment that supports pointers is scanned to reveal pointer and boxing usage. In one illustrative example, code is responsively emitted to create one or more specific boxes. At runtime in the restricted execution environment, an instance of a box class is created to thus emulate a pointer to the value.

Abstract translation: 指针可以在仅限于引用类型而不是指针的受限软件执行环境中表示的布置通过使用一组框（即容器）对指针和值类型进行建模来实现，这些框描述如何检索 与指针相关联的值，以及发送用于访问该组框的代码。 使用反编译和重新编译过程，其中被安排为在支持指针的执行环境中运行的代码被扫描以显示指针和拳击使用。 在一个说明性示例中，响应地发射代码以创建一个或多个特定框。 在受限执行环境中的运行时，创建一个框类的实例，从而模拟一个指向该值的指针。

公开(公告)号：EP2257877A4

公开(公告)日：2013-05-01

申请号：EP09718550

申请日：2009-01-30

Applicant: MICROSOFT CORP

Inventor： MEIJER HENRICUS JOHANNES MARIA ,  DYER JOHN WESLEY ,  VAN GOGH JEFFREY ,  VAN VELZEN DANNY ,  KANTAMNENI HARISH ,  MANOLESCU DRAGOS A ,  BECKMAN BRIAN ,  LIVSHITS BENJAMIN

IPC: G06F13/00 ,  G06F9/06 ,  G06F15/16

CPC classification number: G06F9/4425 ,  G06F8/30 ,  G06F8/41

Abstract: Asynchronous methods and calls are produced automatically as a function of a declarative indication of intent. A method annotated with an asynchronous attribute or method call including a special asynchronous function can be identified. Subsequently, an asynchronous version of an identified synchronous method or call is generated automatically. Assistance is also provided for specifying intent.

公开(公告)号：EP1979831A4

公开(公告)日：2012-04-25

申请号：EP06848319

申请日：2006-12-28

Applicant: MICROSOFT CORP

Inventor： FANNING MICHAEL C ,  GUERRERA NICHOLAS P ,  VAN GOGH JEFFREY

IPC: G06F17/00 ,  G06F11/36 ,  G06F17/30

CPC classification number: G06F11/3612 ,  G06F8/433 ,  G06F11/3688

Abstract: The present invention extends to methods, systems, and computer program products for analyzing binary code. Binary code is received. Code analysis rules indicative of a query related to the functionality of the binary code are received. The query is implemented in analysis code configured to determine results of the query. It is determined if valid cached results for the query are cached in a results store. If not, the analysis code is invoked to determine the results for the query and the results are cached. Accordingly, when the query is received in the future, the results can be accessed from the results store without having to invoke the analysis code to determine the results. If so, the cached results are retrieved so as to avoid further invocation of the analysis code. The results are returned.

公开(公告)号：EP2652602A4

公开(公告)日：2014-07-02

申请号：EP11848283

申请日：2011-12-13

Applicant: MICROSOFT CORP

Inventor： DYER JOHN WESLEY ,  VAN GOGH JEFFREY ,  MEIJER HENRICUS JOHANNES MARIA ,  DE SMET BART ,  MEEK COLIN JOSEPH

IPC: G06F9/44 ,  G06F9/54 ,  G06F17/50

CPC classification number: G06F9/542 ,  G06F17/5009

Abstract: An outer event stream can be modeled to represent duration for an event with an inner event stream. The inner event stream can be generated to represent duration of at least one event from the outer event stream. By modeling the outer event stream to include duration, coincidence between two or more events can be determined. More specifically, the modeling of the outer event stream enables use of operators to identify coincidence between events from event streams.

公开(公告)号：EP1982270A4

公开(公告)日：2010-04-07

申请号：EP06848327

申请日：2006-12-28

Applicant: MICROSOFT CORP

Inventor： VAN GOGH JEFFREY ,  FANNING MICHAEL C ,  SANDYS SEAN D

IPC: G06F17/00

CPC classification number: G06F11/3672 ,  G06F11/3604 ,  G06F11/3664

Abstract: Embodiments provided a formalized set of intermediate analysis contexts that are relevant for analysis checks of target code. Such intermediate analysis context may include, but are not limited to, the development phase of targeted code, the type or state of the targeted code, a source manipulating the targeted code, a purpose for the targeted code, or other development or runtime requirements. Accordingly, embodiments dynamically identify a current analysis context under which targeted code is being developed and can then execute rules based on knowledge of what contexts the rule(s) may apply. More specifically, analysis rules can describe (e.g., via metadata) those context conditions under which a rule can run. Based on such description and the current context, those rules that have been configured to apply to such context conditions can be executed.