-
43281.递归单程序、多数据程序的团队分析建议
[信息传输、软件和信息技术服务业] [2013-11-17]
Large-scale parallel machines are programmed primarily with the single program, multiple data (SPMD) model of parallelism. This model has advantages of scalability and simplicity, combining independent threads of execution with global collective communication and synchronization operations.We discuss the information required by those analyses and provide a rough sketch of a team analysis for computing that information. We hope that this sketch can be used as a basis for future implementation of a complete team analysis.
关键词：大规模并行机器；单程序多数据流（SPMD）；高性能分层算法
-
43282.对理解和有效权限系统
[信息传输、软件和信息技术服务业] [2013-11-17]
How can we, as platform designers, protect computer users from the threats associated with malicious, privacy-invasive, and vulnerable applications? Modern platforms have turned away from the traditional user-based permission model and begun adopting application permission systems in an attempt to shield users from these threats. This dissertation evaluates modern permission systems with the goal of improving the security of future platforms.
关键词：现代权限系统；API调用；纵深防御；信息安全；系统安全
-
43283.利用BALM-II解并行方程
[信息传输、软件和信息技术服务业] [2013-11-17]
In this report we describe how to solve parallel language equations over regular languages/automata and finite state machines (FSMs), using the software package BALM-II, which is an extended version of BALM.As an important application, we describe how to synthesize protocol converters with BALM-II.
关键词：并行语言；有限状态机；BALM-II协议转换器；应用程序；软件包
-
43284.分层计算的单程序和多数据编程
[信息传输、软件和信息技术服务业] [2013-11-17]
We design RSPMD extensions for the Titanium language, including a hierarchical team data structure and lexically-scoped constructs for operating over teams. We demonstrate that these extensions prevent erroneous use of teams that would result in deadlock. In addition, we present a runtime mechanism for ensuring proper use of both global collective operations and collectives over teams, eliminating more potential sources of deadlock.
关键词：顺序编程；并行机编程；递归单程序
-
43285.HYDRASCOPE：调整现有的Web应用程序以适应多屏显示墙
[信息传输、软件和信息技术服务业] [2013-11-17]
Although large wall-sized displays are becoming increasingly available, their rate of adoption in research and business environments has been limited due to the high cost of developing applications that scale to cluster-driven displays and lack of interaction techniques for multi-user input on such shared displays. In this report, we introduce Hydrascope, a framework for creating multi-viewmeta-applicationsfor cluster-driven displays by adapting existing web applications without modifying their source code. Hydrascope meta-applications work by running multiple instances of an application in parallel and synchronizing their views. We demonstrate the capabilities of our framework with five example applications.
关键词：多屏显示；示例应用程序；实例
-
43286.CrowdBrush：人群图片编辑移动应用程序
[信息传输、软件和信息技术服务业] [2013-11-17]
We have developed an android application for photo editing on top of a low cost crowdsourcing system. We use the crowdsourcing platform to add interesting effects to images taken by users which they can later share with their friends. CrowdBrush application thus provides a feature of custom photo editing, which is missing from the current photo manipulation applications in the market. Additionally, the system produces “human-verified” results as it relies on human (crowd) involvement in the process and guarantees an end product which is aesthetically pleasing.
关键词：CrowbBrush；图片编辑软件；计算机视觉技术；众包系统；
-
43287.促进腿式机器人自动调谐的强化学习方法
[计算机、通信和其他电子设备制造业,信息传输、软件和信息技术服务业] [2013-11-17]
This paper describes the need for adaptive gait tuning on an eight-legged robot, which will enable it to adjust its gait parameters to increase the speed at which it navigates difficult and varying terrains. Specifically, we characterize the robot’s performance on varied terrains and use the results to inform the implementation of a finite-difference policy gradient reinforcement learning algorithm.
关键词：自适应步态调整；有限差分策略；腿式机器人；步行机；强化学习算法；搜索范围
-
43288.优化多处理器的硬件和软件
[计算机、通信和其他电子设备制造业,信息传输、软件和信息技术服务业] [2013-11-16]
Technology scaling trends have enabled the exponential growth of computing power. How-ever, the performance of communication subsystems scales less aggressively. This means thatan application constrained by memory/interconnect performance will not be able to use theavailable computing power e?ciently—in fact, technology scaling will make this e?ciency even worse.
关键词：多处理器；硬件；软件；通信；内存
-
43289.LaundryBot的服装仿真
[纺织服装、服饰业,信息传输、软件和信息技术服务业] [2013-11-16]
We modeled a shirt by printing a number of markers over it and recording the positions of these distinguishable markers. We implemented a computer-vision based system that tracked visible markers on the shirt, and reconstructed the shirt using the world coordinate of each marker. Furthermore, we created a realistic physics-based simulation that accurately models the real world, including gravity, self collision, rigid body motion and so on, to generate instructions to PR2 by taking the configuration of a shirt as input and work out a sequence of actions to take based on existing algorithms.
关键词：计算机视觉可见；物理模拟；标记系统；服装
-
43290.利用选择性嵌入式即时专业化方法自动调谐矩阵力量内核
[信息传输、软件和信息技术服务业] [2013-11-16]
The matrix powers kernel, used in communication-avoiding Krylov subspace methods, requires runtime auto-tuning for best performance. We demonstrate how the SEJITS (Selective Embedded Just-In-Time Specialization) approach can be used to deliver a high-performance and performance-portable implementation of the matrix powers kernel to application authors, while separating their high-level concerns from those of auto-tuner implementers involving low-level optimizations. The benefits of delivering this kernel in the form of a specializer, rather than a traditional library, are discussed. Performance of the matrix powers kernel specializer is evaluated in the context of a communication-avoiding conjugate gradient (CA-CG) solver, which compares favorably to traditional CG.
关键词：矩阵力量内核；选择性嵌入式即时专业化方法（SEJITS）；自动调谐器
027-87841330