Increasing process variability limits energy reduction in SRAM design by increasing the need for margining and preventing optimal supply voltage scaling. However, tolerating variability with resilient designs can prevent these limitations and enable future energy-efficiency improvements. Understanding resiliency requires understanding how design decisions affect error rates—therefore we propose a unified analytical framework for SRAM design that uses importance sampling of dynamic failure metrics to quantify the effect of different assist techniques, array organization, and timing on failure rates of a 28nm arrays at design-time.

关键词：节能；弹性；SRAM

查看摘要 索取原文[71页]

We present Three Fingered Jack, a highly productive approach to mapping vectorizable applications to the FPGA. Our system applies traditional dependence analysis and reordering transformations to a restricted set of Python loop nests. It does this to uncover parallelism and divide computation between multiple parallel processing elements (PEs) that are automatically generated through high-level synthesis of the optimized loop body.

关键词：重排序;Python循环巢;优化循环体

查看摘要 索取原文[7页]

In order to direct and build an effective, secure mobile ecosystem, we must first understand user attitudes toward security and privacy for smartphones and how they may differ from attitudes toward more traditional computing systems. What are users' comfort levels in performing different tasks? How do users select applications? What are their overall perceptions of the platform? This understanding will help inform the design of more secure smartphones that will enable users to safely and confidently benefit from the potential and convenience offered by mobile platforms. To gain insight into user perceptions of smartphone security and installation habits, we conduct a user study involving 60 smartphone users. First, we interview users about their willingness to perform certain tasks on their smartphones to test the hypothesis that people currently avoid using their phones due to privacy and security concerns. Second, we analyze why and how they select applications, which provides information about how users decide to trust applications. Based on our findings, we present recommendations and opportunities for services that will help users safely and confidently use mobile applications and platforms.

关键词：信息安全；智能手机；用户；隐私；移动平台

查看摘要 索取原文[28页]

Traditionally, learning of design skills has been situated in the context of apprenticeships or formal design studios. Unfortunately, these methods are inaccessible to practicing professionals due to constraints on time and location. And, indeed, professional designers must continuously update their knowledge as paradigm shifts in design practice threaten to make their skills obsolete. An ideal resolution to this problem is to situate the learning of design skills within the professional practice of design.This dissertation studies an approach to this mode of situated learning, focusing on integrating learning mechanisms into practical design tools. These tools provide scaffolding for novices as they construct an understanding of best practices in design while engaging in real design work.

关键词：覆盖图设计；设计工具；设计技能

查看摘要 索取原文[99页]

We show that our lightweight specifications for parallelism correctness enable us to much more effectively specify, test, debug, and verify the use of parallelism in multithreaded software, independent of complex and fundamentally-sequential functional correctness. We show that we can easily write determinism, atomicity, and nondeterministic sequential (NDSeq) specifications for a number of parallel Java benchmarks. We propose novel testing techniques for checking that a program conforms to its determinism, atomicity, or nondeterministic sequential specification, and we apply these techniques to find a number of parallelism errors in our benchmarks. Further, we propose techniques for automatically inferring a likely determinism or NDSeq specification for a parallel program, given a handful of representative executions.

关键词：并行正确性；多线程软件；JAVA基准数；测试

查看摘要 索取原文[174页]

This paper presents a robotic platform hich is targeted to perform the task of a tennis ball boy. This platform is self-contained with on-board sensing and computation, uses only cost-effective off-the-shelf components, and was designed to perform robustly and epeatably in semistructured real-world environments.

关键词：机器人平台；车载传感和计算；网球场

查看摘要 索取原文[11页]

The non-determinism in concurrent and distributed systems and the unreliability of the hardware environment in which they operate can result in defects that are hard to find and understand. In this thesis, we have developed tools and techniques to augment testing to enable it to quickly find and reproduce important bugs in concurrent and distributed systems.

关键词：分布式计算；程序分析；硬件环境；并发云系统；分布式系统

查看摘要 索取原文[195页]

The impact of environmental and manufacturing variability is simulated and discussed. A predictive model for manufacturing variability-induced mismatch power loss is proposed and evaluated with various PV array configurations. Finally, spatial statistics are used to model the non-uniformities of solar cell properties. A SPICE-based distributive solar cell simulator is constructed to estimate electrical performance for various defect distribution patterns. Finally, a statistical model is created in order to correlate the spatial characteristics of defect patterns with the corresponding electrical performance.

关键词：空间统计数据；半导体；光电池；制造业；模拟器

查看摘要 索取原文[170页]

This is particularly true in urban environments where tall buildings block satellite view for GPS, and distortions in Earth’s magnetic field from power lines adversely affect compass readings.In this thesis, we describe an image based  localization  algorithm  for  estimating  the  pose  of  cell  phones  in  urban  environments.  This  is motivated by the fact that most of today’s cell phones are equipped with cameras whose imagery can be matched against an  image database for  localization purposes.

关键词：移动设备；手机；定位算法；GPS

查看摘要 索取原文[51页]

Graph expansion analysis of computational DAGs is useful for obtaining communication cost lower bounds where previous methods, such as geometric embedding, are not applicable. This has recently been demonstrated for Strassen's and Strassen-like fast square matrix multiplication algorithms. Here we extend the expansion analysis approach to fast algorithms for rectangular matrix multiplication,obtaining a new class of communication cost lower bounds.

关键词：图形扩展分析计算；通信成本；矩阵乘法

查看摘要 索取原文[19页]