检索结果

已选条件:

Computer Science

2013

<符合条件的数据共：19条>

排序方式

登录后可批量下载(统一登录，激活码登录)

Adaptive Distributed Architectures for Future Semiconductor Technologies.

颁布单位：[University of Michigan] | 颁布时间：2013 | 实施时间：2013 | 学科分类：[A Ph.D. Dissertation on Fault Tolerant Microprocessors., Computer Science, Engineering, Computer Science and Engineering]

预览 | 原文链接 [浏览：3 下载：3]
Zydeco: Exploring How Mobile Technology Can Scaffold Student Multimedia Data Collection and Use for Science Inquiry.

颁布单位：[University of Michigan] | 颁布时间：2013 | 实施时间：2013 | 学科分类：[Human-computer Interaction, Learner-centered Design, Mobile Computing, Children and Technology, Science Inquiry, Computer Science, Engineering, Computer Science and Engineering]

预览 | 原文链接 [浏览：38 下载：6]
Symmetry in Finite Combinatorial Objects: Scalable Methods and Applications.

颁布单位：[University of Michigan] | 颁布时间：2013 | 实施时间：2013 | 学科分类：[Symmetry of Graphs, Canonical Labeling of Graphs, Symmetry of Boolean Functions, Simultaneous Partition Refinement, Coset and Orbit Pruning, Permutation Group, Computer Science, Engineering, Computer Science & Engineering]

预览 | 原文链接 [浏览：4 下载：3]
Optimizing Mobile Application Performance through Network Infrastructure Aware Adaptation.

颁布单位：[University of Michigan] | 颁布时间：2013 | 实施时间：2013 | 学科分类：[Cellular Infrastructure, Mobile Application, Performance Adaptation, Computer Science, Engineering, Computer Science & Engineering]

预览 | 原文链接 [浏览：31 下载：20]
Performance and Power Characterization of Cellular Networks and Mobile Application Optimizations.

颁布单位：[University of Michigan] | 颁布时间：2013 | 实施时间：2013 | 学科分类：[Cellular Networks, Network Characterization, Smartphone Energy Model, LTE Networks, Mobile Application Optimization, TCP in Cellular Networks, Computer Science, Engineering, Computer Science & Engineering]

预览 | 原文链接 [浏览：15 下载：18]
Learning Integrated Relational and Continuous Action Models for Continuous Domains.

颁布单位：[University of Michigan] | 颁布时间：2013 | 实施时间：2013 | 学科分类：[Action Modeling, Learning, Combined Symbolic/Continuous Representation, Computer Science, Engineering, Computer Science & Engineering]

预览 | 原文链接 [浏览：25 下载：14]
Finding and Tolerating Concurrency Bugs.

颁布单位：[University of Michigan] | 颁布时间：2013 | 实施时间：2013 | 学科分类：[Parallel Programming, Concurrency Bugs, Interleaving Constrained, Software Testing and Debugging, Coverage, Computer Science, Engineering, Science, Computer Science & Engineering]

预览 | 原文链接 [浏览：54 下载：28]
Harnessing Simulation Acceleration to Solve the Digital Design Verification Challenge.

颁布单位：[University of Michigan] | 颁布时间：2013 | 实施时间：2013 | 学科分类：[Digital Design Simulation Acceleration, Design Verification, Computer Science, Engineering, Computer Science and Engineering]

预览 | 原文链接 [浏览：5 下载：11]
Holistic System Design for Deterministic Replay.

颁布单位：[University of Michigan] | 颁布时间：2013 | 实施时间：2013 | 学科分类：[Deterministic Replay, Computer Science, Engineering, Computer Science & Engineering]

预览 | 原文链接 [浏览：33 下载：2]
Space-efficient Simulations of Quantum Interactive Proofs.

颁布单位：[University of Michigan] | 颁布时间：2013 | 实施时间：2013 | 学科分类：[Quantum Interactive Proofs, Space-efficient Simulation, PSPACE, Computer Science, Engineering, Computer Science & Engineering]

预览 | 原文链接 [浏览：17 下载：2]