-
公开(公告)号：CN103345464B
公开(公告)日：2016-10-05
申请号：CN201310269593.7
申请日：2009-08-20
申请人： 微软技术许可有限责任公司
发明人： G·M·德拉-利贝拉 , S·E·卢科
CPC分类号： G06F9/4498
摘要： 本发明涉及一种模块化森林自动机。模块化森林自动机（MFA）提供部分有序的正则树模式的统一描述。MFA还提供用于这些模式的确定化、子类型化、交集、以及补集的简单方法。MFA支持高性能的模式分析和匹配。模块化森林转换器，结合模块化森林自动机，允许编译器对任何状态转换施加语义动作，而同时又支持带标记的有向图的高效转换。
-
公开(公告)号：CN102395979B
公开(公告)日：2016-04-20
申请号：CN201080017093.9
申请日：2010-04-01
申请人： 微软技术许可有限责任公司
IPC分类号： G06F9/52
CPC分类号： G06F9/52
摘要： 用隔离许可修饰符标记对象引用。可以包括至少两种许可，且在示例中包括三种许可。在实现各许可时，定义用于控制通过指向对象的引用访问类型成员的类型修饰符。类型修饰符中的一个与类型名称的每次出现相关联。类型修饰符中的每一个定义不同的访问许可以便限制对引用指向的对象的操作。
-
公开(公告)号：CN104137057B
公开(公告)日：2017-10-24
申请号：CN201380009208.3
申请日：2013-02-04
申请人： 微软技术许可有限责任公司
摘要： 本文所描述的主题内容的各方面涉及生成和高速缓存软件代码。在各方面，目标设备可接收要安装的软件。该软件可包括尚未被编译的源代码。目标设备可以安装该软件并且指示包的该源代码要被编译成中间代码或可执行代码，该中间代码或可执行代码被持久存储。如果目标设备在该软件被编译之前接收到要执行该软件的请求，则目标设备可以没有延迟地编译和执行该软件。如果目标设备在该软件被编译之后接收到要执行该软件的请求，则目标设备可以获得和执行经编译的代码。以上行为还可被应用于从在目标设备远程的服务器处获得的脚本代码。
-
公开(公告)号：CN113785281B
公开(公告)日：2024-10-29
申请号：CN202080032799.6
申请日：2020-04-07
申请人： 微软技术许可有限责任公司
IPC分类号： G06F16/178
摘要： 公开的实施例提供了对分布式数据结构的协作访问。诸如插入、删除和注释之类的操作由参与协作的各个客户端执行。序列化服务实施这些操作的单一顺序，并确保这些操作和顺序被传送到参与协作客户端中的所有客户端。一旦所有客户端都已经确认了特定操作，该信息也被传送到客户端中的所有客户端，使得客户端可以对协作数据结构执行维护活动。结果是由协作的客户端中的所有客户端共享的滚动协作窗口，其中，协作窗口的底部由尚未被协作的所有客户端确认的排序最低的操作以及由序列化服务分配的排序最高的操作定义。
-
公开(公告)号：CN114127690A
公开(公告)日：2022-03-01
申请号：CN202080032868.3
申请日：2020-04-24
申请人： 微软技术许可有限责任公司
发明人： S·E·卢科
摘要： 所公开的实施例提供对分布式数据结构的协作访问。所公开的实施例包括各自经由树数据结构表示分布式数据结构的协作参与者设备或实例。所述协作参与者对所述分布式数据结构执行操作，并且经由序列化服务彼此传送这些操作。由所述协作参与者中的每个协作参与者维护的所述树结构存储未确认的操作以及还有针对协作参与者的协作参与者特定长度信息。一旦由所述协作参与者中的每个协作参与者都已经确认了特定操作，这就被所述序列化服务传送给所有参与者。所述协作参与者然后可以对表示所确认的操作的所述树结构的一部分执行维护。例如，可以组合表示所述分布式数据结构中的相邻数据的所述树的节点，或者可以从所述树中移除被确认操作移除的数据。
-
公开(公告)号：CN113785281A
公开(公告)日：2021-12-10
申请号：CN202080032799.6
申请日：2020-04-07
申请人： 微软技术许可有限责任公司
IPC分类号： G06F16/178
摘要： 公开的实施例提供了对分布式数据结构的协作访问。诸如插入、删除和注释之类的操作由参与协作的各个客户端执行。序列化服务实施这些操作的单一顺序，并确保这些操作和顺序被传送到参与协作客户端中的所有客户端。一旦所有客户端都已经确认了特定操作，该信息也被传送到客户端中的所有客户端，使得客户端可以对协作数据结构执行维护活动。结果是由协作的客户端中的所有客户端共享的滚动协作窗口，其中，协作窗口的底部由尚未被协作的所有客户端确认的排序最低的操作以及由序列化服务分配的排序最高的操作定义。
-
-
-
-
-
搜索结果
6 条记录 (耗时 0.028 秒)
