-
42981.基于GPU的几何多重网络的避免通信优化
[信息传输、软件和信息技术服务业] [2013-12-18]
Multigrid methods are widely used to accelerate the convergence of iterative solvers for linear systems in a number of different application areas. In this report, we explore communication-avoiding implementations of Geometric Multigrid on Nvidia GPUs. We achieved an overall gain of 1.2x for the whole multigrid algorithm over baseline implementation. We also provide an insight into what future GPUs need to have in terms of on chip and shared memory for these kinds of algorithms to perform even better.
关键词：GPU；避免通信优化；多重网格；算法
-
42982.使用相对位置反馈的大小缩放形成的编队控制
[信息传输、软件和信息技术服务业] [2013-12-18]
We consider a multiagent coordination problem where the objective is to steer a team of mobile agents into a formation of variable size. We assume the shape description of the formation is known to all agents, but the desired size scaling of the formation is known only to a subset of leader agents. We present a strategy in which each agent communicates a scalar value to its neighbors and two strategies that allow the agents to maneuver to the desired scaled formation using only local relative position information. The rst strategy does not require global knowledge of which agents are leaders, and the latter two strategies can be implemented using nformation gathered via local sensors with no interagent communication.We compare the methods through several examples with simulations.
关键词：相对位置；大小缩放；控制
-
42983.现场鼓表演的机器理解技术
[信息传输、软件和信息技术服务业] [2013-12-18]
This dissertation covers machine listening techniques for the automated realtime analysis of live drum performances. Onset detection, drum detection, beat tracking, and drum pattern analysis are combined into a system that provides rhythmic information useful in performance analysis, synchronization, and retrieval. The techniques are designed with real-time use in mind but can easily be adapted for offline batch use for large scale rhythm analysis.
关键词：机器理解技术；表演；鼓
-
42984.可扩展机器学习的随机算法
[信息传输、软件和信息技术服务业] [2013-12-18]
Many existing procedures in machine learning and statistics are computationally intractable in the setting of large-scale data. As a result, the advent of rapidly increasing dataset sizes, which should be a boon yielding improved statistical performance, instead severely blunts the usefulness of a variety of existing inferential methods. In this work, we use randomness to ameliorate this lack of scalability by reducing complex, computationally dicult inferential problems to larger sets of signi cantly smaller and more tractable subproblems.This approach allows us to devise algorithms which are both more ecient and more amenable to use of parallel and distributed computation. We propose novel randomized algorithms for two broad classes of problems that arise in machine learning and statistics;estimator quality assessment and semide nite programming.
关键词：随机算法；机器学习；质量评估
-
42985.用于测试和验证的投票机的设计
[信息传输、软件和信息技术服务业] [2013-12-18]
This work incorporates and builds on previous research done jointly with Susmit Jha, Sanjit Seshia, and David Wagner on designing an electronic voting machine with the goal of verification of correctness.In that work we developed an approach of combining formal verification with user testing to verify an interactive machine and we demonstrated our technique with the design and implementation of a voting machine. This paper presents our work with a focus on the methodology and set of design principles we developed which made our approach possible. This also extends the functionality of our original voting machine to include a summary screen while still adhering to our methodology and design principles. We implement the new functionality and demonstrate that our original proof of correctness holds for the augmented voting machine.
关键词：电子投票机；设计；验证；测试
-
42986.通过库挖掘实现交互代码片段的合成
[信息传输、软件和信息技术服务业] [2013-12-18]
Programmers repeatedly reuse code snippets. Retyping boilerplate code, and rediscovering how to correctly sequence API calls, programmers waste time. In this paper, we develop techniques that automatically synthesize code snippets upon a programmer’s request. Our approach is based on discovering snippets located in repositories; we mine repositories offline and suggest discovered snippets to programmers. Upon request, our synthesis procedure uses programmer’s current code to find the best fitting snippets, which are then presented to the programmer. The programmer can then either learn the proper API usage or integrate the synthesized snippets directly into her code. We call this approach interactive code snippet synthesis through repository mining.We show that this approach reduces the time spent developing code for 32% in our experiments.
关键词：库挖掘；交互代码
-
42987.数据约束下的HTML5应用
[信息传输、软件和信息技术服务业] [2013-12-17]
Rich client-side applications written in HTML5 proliferate diverse platforms such as mobile devices, commodity PCs, and the web platform. These client-side HTML5 applications are increasingly accessing sensitive data, including users’ personal and social data, sensor data, and capability-bearing tokens. To fulfill their security and privacy guarantees, these applications need to maintain certain data-confinement invariants. These invariants are not explicitly stated in today’s HTML5 applications and are enforced using ad-hoc mechanisms. The complexity of web applications,coupled with hard-to-analyze client-side languages, leads to low-assurance data-confinement mechanisms in which the whole application needs to be in the TCB to ensure data-confinement invariants.
关键词：数据约束；HTML5；客户端；应用程序
-
42988.Carat:：为移动设备提供协同节能诊断
[信息传输、软件和信息技术服务业] [2013-12-17]
We aim to detect and diagnose energy anomalies, abnormally heavy battery use. This paper describes a collaborative black-box method, and an implementation called Carat, for performing such diagnosis on mobile devices. A client app sends intermittent, coarse-grained measurements to a server, which identifies correlations between higher expected energy use and client properties like the running apps, device model, and operating system. The analysis quantifies the error and confidence associated with a diagnosis, suggests actions the user could take to improve battery life, and projects the amount of improvement. Carat detected all anomalies in a controlled experiment and, during a deployment to a community of more than 340,000 devices, identified thousands of energy anomalies in the wild. On average, a Carat user’s battery life increased by 10% after 10 days.
关键词：移动设备；节能异常诊断；应用程序
-
42989.云计算中的REST
[信息传输、软件和信息技术服务业] [2013-12-17]
The key to proper use of the cloud by enterprise information technology (IT) organizationsdepends on the deployment and consumption of cloud-based web services such as applicationprogramming interfaces (APIs). This article explains what a Representational State Transfer(REST) API is, the structure of an API, how REST APIs interact with cloud providers'infrastructure, a sample REST API for the cloud, REST and software as a service (SaaS),REST and platform as a service (PaaS), and various use cases.
关键词：云计算；API；云服务；SaaS；云部署
-
42990.在使用IBM纯应用系统运行维护实现高可用性
[信息传输、软件和信息技术服务业] [2013-12-17]
This article describes how IBM PureApplication System and IBM WebSphere? ApplicationServer combine to streamline and simplify updates to operating systems, applications, andmiddleware, thereby minimizing human error and total time to update and maintain highavailability.
关键词：可用性；应用程序部署维护；应用程序更新
027-87841330