-
公开(公告)号：CN102436376A
公开(公告)日：2012-05-02
申请号：CN201110340478.5
申请日：2011-10-19
Applicant: 微软公司
CPC classification number: G06F11/3612 , G06F11/3447 , G06F11/3476 , G06F11/3608 , G06F11/3692
Abstract: 本发明公开了用于分布式应用确认的模型检查。此处描述了模型检查系统，该模型检查系统通过提供模型和通用框架来检查应用不变属性、检测异常行为并监视应用健康从而更有效地验证和确认分布式应用的设计。模型检查系统针对从应用的正式描述所导出的应用模型来检查在线应用行为。该系统将具体应用制定为抽象模型以及期望在所有条件下适用于应用的多个规则或属性。模型检查器将实际应用执行与模型相比较，并且确认属性保持为真或是报告属性被违反。由此，模型检查系统提供了在更现实的生产条件下对分布式应用的更有效且全面的确认。
-
公开(公告)号：CN101523432A
公开(公告)日：2009-09-02
申请号：CN200780037381.9
申请日：2007-09-28
Applicant: 微软公司
CPC classification number: G06F17/3087 , G06F17/30265
Abstract: 提供了用于标识与地点相关联的景点以及显示与这些景点相关联的图像的方法和系统。游览系统通过向图像搜索服务提交使用一地点来形成的搜索请求来标识与该地点相关联的景点。游览系统将搜索结果的元数据的显著短语标识为候选景点名称。游览系统还提供用于显示与地点相关联的图像的用户界面。该用户界面可呈现在按行程旅行时遇到的景点的幻灯片放映。
-
公开(公告)号：CN102314370A
公开(公告)日：2012-01-11
申请号：CN201110192613.6
申请日：2011-06-29
Applicant: 微软公司
IPC: G06F9/45
CPC classification number: G06F8/453
Abstract: 一高级编程语言提供了用于数据并行处理环境中的可索引类型上的可扩展变换集。用于该语言的编译器将每个变换实现为来自可索引类型的映射，以允许每个变换可被应用到其他变换。在编译时间，编译器标识数据并行源代码中的每个可索引类型上的变换的序列，并生成数据并行执行代码以将序列实现为运行时使用变换映射的组合操作。编译器也包含优化处理，该优化处理基于至数据并行执行代码的变换序列。
-
公开(公告)号：CN101535950A
公开(公告)日：2009-09-16
申请号：CN200780042809.9
申请日：2007-11-17
Applicant: 微软公司
IPC: G06F9/06
CPC classification number: G06F9/466 , Y10S707/99933
Abstract: 公开了用于对软件事务存储系统中的事务应用排序的各种技术和方法。软件事务存储系统具备允许为多个事务指定预定提交次序的特征。在运行时使用该预定提交次序来帮助确定提交软件事务存储系统中的事务的次序。当在第一事务和第二事务之间发生冲突时调用争用管理过程。在争用管理过程中使用预定提交次序来帮助确定是该第一事务还是该第二事务应赢得冲突并被允许继续。
-
公开(公告)号：CN1573660A
公开(公告)日：2005-02-02
申请号：CN200410047464.4
申请日：2004-05-31
Applicant: 微软公司
CPC classification number: G06F3/012 , G06K9/00268 , G06K9/6211 , G06T7/73 , G06T2207/30201
Abstract: 提供有效估算用户脸部和头部姿势的改进，使得计算机或类似的设备可跟踪用户对显示设备的关注。随后用户所转向的显示器或图形用户界面的区域会被自动选择，而不需要用户提供更多的输入。应用正面脸部检测器来检测用户的正面脸部，且随后由部位检测器检测关键面部点，诸如左/右眼中心、左/右嘴角、鼻尖等。系统然后由图像跟踪器跟踪用户的头部，并按照关键面部点和/或姿势估计器的置信度输出，通过粗略到精细的过程来确定用户头部姿势的偏转、倾斜和滚动的角度和其它姿势信息。
-
Patent Agency Ranking
公开(公告)号：CN1614595A
公开(公告)日：2005-05-11
申请号：CN200410085844.7
申请日：2004-11-05
Applicant: 微软公司
IPC: G06F17/30
CPC classification number: G06F17/30262 , G06T7/33 , G06T7/37 , G06T7/42 , G06T2207/20056
Abstract: 本发明描述了用于索引和检索图像的系统和方法。该系统和方法分析图像以确定其纹理矩。图像的像素被转换成灰度级。确定像素的纹理属性。纹理属性与像素的局部纹理相关联，并可从与像素相关联的离散傅立叶变换系数中得出。计算与像素的纹理属性相关联的统计值。根据统计值确定图像的纹理矩。
-
公开(公告)号：CN102314342A
公开(公告)日：2012-01-11
申请号：CN201110177689.1
申请日：2011-06-17
Applicant: 微软公司
IPC: G06F9/44
CPC classification number: G06F8/45
Abstract: 在此描述的是用于生成用于数据并行编程模型的调用存根以使得用静态编译的高级编程语言编写的数据并行程序可以比传统方法更加声明性、可重用和可移植的技术。借助于所描述的技术中的某一些，由编译器(116)生成调用存根(118)，且那些存根将数据并行计算的逻辑排列桥接到用于数据并行计算的目标数据并行硬件的实际物理排列。
-
公开(公告)号：CN102298535A
公开(公告)日：2011-12-28
申请号：CN201110184637.7
申请日：2011-06-21
Applicant: 微软公司
IPC: G06F9/45
Abstract: 本发明涉及绑定数据并行设备源代码。在计算机系统中提供一种编译环境，该编译环境允许编程人员使用具有数据并行(DP)扩展的高级通用编程语言来对CPU和数据并行设备(例如GPU)二者进行编程。一种编译过程使用DP设备源代码的一组绑定描述符将以该通用语言编写的模块化DP代码翻译成以高级DP设备编程语言的DP设备源代码。绑定器从该组绑定描述符中生成单个自包含的DP设备源代码单元。DP设备编译器从该DP设备源代码单元中生成供在一个或多个数据并行设备上执行的DP设备可执行代码。
-
公开(公告)号：CN102289393A
公开(公告)日：2011-12-21
申请号：CN201110179013.6
申请日：2011-06-20
Applicant: 微软公司
IPC: G06F9/52
Abstract: 本发明涉及软件事务存储器中的锁的组成。软件事务存储器(STM)系统允许基于与STM代码中的事务的同步来组成传统锁。在事务内第一次遇到相应的传统锁获取时，STM系统获得每个传统锁，并推迟所有传统锁释放，直到事务嵌套中的顶层事务提交或中止。STM系统维护与事务中的传统锁操作相关联的状态信息，并使用该状态信息来消除冗余的被推迟的传统锁操作。STM系统与实现垃圾收集的系统集成。
-
公开(公告)号：CN100504859C
公开(公告)日：2009-06-24
申请号：CN200410085844.7
申请日：2004-11-05
Applicant: 微软公司
IPC: G06F17/30
CPC classification number: G06F17/30262 , G06T7/33 , G06T7/37 , G06T7/42 , G06T2207/20056
Abstract: 本发明描述了用于索引和检索图像的系统和方法。该系统和方法分析图像以确定其纹理矩。图像的像素被转换成灰度级。确定像素的纹理属性。纹理属性与像素的局部纹理相关联，并可从与像素相关联的离散傅立叶变换系数中得出。计算与像素的纹理属性相关联的统计值。根据统计值确定图像的纹理矩。
-
-
-
-
-
-
-
-
-
Search Results
14
records
(took 0.02 seconds)
