-
1821.数值张量代数的证实有效算法
[信息传输、软件和信息技术服务业] [2015-03-29]
This thesis targets the design of parallelizable algorithms and communication-efficient parallel schedules for numerical linear algebra as well as computations with higher-order tensors. We model the costs associated with local computation, communication, and synchronization. We introduce a new technique for deriving lower bounds on tradeoffs between these costs and apply them to algorithms in both dense and sparse linear algebra as well as graph algorithms.
关键词：张量代数；并行化算法；松弛算法
-
1822.用于对称特征问题的s步骤兰索斯分块法的准确性
[信息传输、软件和信息技术服务业] [2015-03-29]
In this paper, we demonstrate that bounds on accuracy for the finite precision Lanczos method given by Paige [\emph{Lin. Alg. Appl.}, 34:235--258, 1980] can be extended to the $s$-step Lanczos case assuming a bound on the condition numbers of the computed $s$-step bases. Our results confirm theoretically what is well-known empirically: the conditioning of the Krylov bases plays a large role in determining finite precision behavior.
关键词：特征问题；兰索斯分块法；迭代
-
1823.通过协同设计和范围限定实现高性能机器学习
[信息传输、软件和信息技术服务业] [2015-03-29]
Through careful codesign of algorithms and ``rooflining'', we have demonstrated multiple orders of magnitude speedup over other systems. In fact, BIDMach running on a single machine exceeds the performance of cluster systems on most common ML tasks, and has run computer-intensive tasks on 10-terabyte datasets.Finally we explore scaling ML to clusters.
关键词：机器学习；BIDMach；协同设计；数据建模
-
1824.BAG：面向设计者的AMS电路发生器研发框架
[信息传输、软件和信息技术服务业] [2015-03-29]
BAG extends previous work by implementing interfaces to integrate all steps of the design flow into a single environment and by providing helper classes – at the schematic and particularly at the layout level – to aid the designer in developing truly parameterized and technology-independent AMS circuit generators. The BAG framework simplifies and helps codify common tasks in the AMS design flow including technology characterization, schematic and testbench translation, simulator interfacing, physical verification and extraction, and layout creation.
关键词：AMS；发生器；电路；面向设计者
-
1825.网络延迟和路径稳定性的纵向与跨数据集研究
[信息传输、软件和信息技术服务业] [2015-03-29]
We leverage recent big-data techniques to develop a scalable data analysis toolkit, Hummus, that enables rapid and iterative analysis on large traceroute measurement datasets. Our key findings are: (1) overall latency seems to be decreasing; (2) some geographical regions still have poor latency; (3) route stability (prevalence and persistence) is increasing; and (4) we ob- serve a mixture of effects in the routing graph structure with high-degree ASes rapidly increasing in degree and lower- degree ASes forming denser “communities”.
关键词：网络延迟；跨数据集；路径稳定性
-
1826.多Gb/s多系数混合信号均衡器设计
[信息传输、软件和信息技术服务业] [2015-03-29]
To ease the power bottleneck for equalization, this work instead proposes using mixed-signal techniques. As opposed to classic multi-level ADC/DSP design, such techniques are inspired by high-speed chip-to-chip wired communication that advocates the use of simple modulation schemes (such as QPSK) with few comparators.
关键词：多Gb/s；混合信号；均衡器；多系数
-
1827.电视频段认知无线电的多模欠采样率数字模拟转换器研究
[信息传输、软件和信息技术服务业] [2015-03-29]
This work demonstrates a proof-of-concept design of sub-Nyquist rate conversion and wideband direct synthesis using image spectrum.This work also presents the implementation of a 600MS/s 10-bit multi-mode sub-Nyquist rate DAC that enables wideband direct waveform synthesis for TV band cognitive radio transmitters.
关键词：认知无线电；欠采样率；数字模拟转换器；DAC
-
1828.编程操作布局
[信息传输、软件和信息技术服务业] [2015-03-29]
We present Programming by Manipulation, a new programming methodology for specifying the layout of data visualizations, targeted at non-programmers. We address the two central sources of bugs that arise when programming with constraints: ambiguities and conflicts (inconsistencies). We rule out conflicts by design and exploit ambiguity to explore possible layout designs. Our users design layouts by highlighting undesirable aspects of a current design, effectively breaking spurious constraints and introducing ambiguity by giving some elements freedom to move or resize.
关键词：数据可视化；布局设计；原型；编程
-
1829.稳健可靠的超低功率无线电设计技术
[信息传输、软件和信息技术服务业] [2015-03-29]
This thesis addresses some of the design concerns facing the receivers for such sensing systems, with a particular focus on improving the sensitivity, reliability, and robustness of ultra-low power receivers. Two prototype radios have been implemented exploring different applications.
关键词：无线电；超低功率；唤醒信号；RFID
-
1830.应用于交通评估中的大规模、低延迟网络物理系统状态估计算法
[信息传输、软件和信息技术服务业] [2015-03-29]
This thesis aims at building scalable algorithms for inferring statistical distributions of travel time over very large road networks, using GPS points from vehicles in real-time. We consider two complementary algorithms that differ in the characteristics of the GPS data input, and in the complexity of the model: a simpler streaming Expectation-Maximization algorithm that leverages very large volumes of extremely noisy data, and a novel Markov Model-Gaussian Markov Random Field that extracts global statistical correlations from high-frequency, privacy-preserving trajectories.
关键词：网络物理系统；低延迟；交通评估；高斯马尔可夫随机场
027-87841330