检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

80 篇 会议
15 篇 期刊文献

馆藏范围

95 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

22 篇 工学
- 17 篇 计算机科学与技术...
- 8 篇 信息与通信工程
- 8 篇 软件工程
- 7 篇 电气工程
- 7 篇 控制科学与工程
- 3 篇 网络空间安全
- 2 篇 机械工程
- 1 篇 电子科学与技术（可...
7 篇 理学
- 4 篇 数学
- 2 篇 系统科学
- 1 篇 大气科学
5 篇 管理学
- 3 篇 管理科学与工程(可...
- 3 篇 工商管理
- 2 篇 图书情报与档案管...
3 篇 经济学
- 1 篇 应用经济学

主题

42 篇 computer network...
24 篇 laboratories
14 篇 ip networks
12 篇 application soft...
10 篇 peer to peer com...
9 篇 energy consumpti...
9 篇 processor schedu...
9 篇 web and internet...
8 篇 computer archite...
8 篇 real time system...
8 篇 internet
7 篇 timing
7 篇 protocols
7 篇 embedded system
7 篇 embedded computi...
6 篇 electronic mail
6 篇 resource managem...
6 篇 intelligent netw...
6 篇 pricing
6 篇 hardware

机构

15 篇 computer enginee...
13 篇 computer enginee...
10 篇 computer enginee...
9 篇 computer enginee...
4 篇 computer enginee...
3 篇 computer enginee...
2 篇 computer enginee...
2 篇 tik eth zürich
2 篇 department of in...
2 篇 columbia univers...
2 篇 department of co...
2 篇 department of in...
2 篇 information syst...
2 篇 computer enginee...
2 篇 computer enginee...
2 篇 ipvr university ...
2 篇 department of co...
2 篇 institute of pro...
2 篇 technical univer...
2 篇 computer enginee...

作者

17 篇 lothar thiele
15 篇 b. stiller
14 篇 jian-jia chen
10 篇 stiller burkhard
9 篇 b. plattner
5 篇 l. thiele
5 篇 roger wattenhofe...
5 篇 stefan schmid
4 篇 reichl peter
3 篇 andreas schranzh...
3 篇 tei-wei kuo
3 篇 k. strehl
3 篇 t. dubendorfer
3 篇 chuan-yue yang
2 篇 e. zitzler
2 篇 hasan
2 篇 h.o. trutmann
2 篇 s. bleuler
2 篇 t. gutekunst
2 篇 simon perathoner

语言

95 篇 英文

检索条件"机构=Computer Engineering and Networks Laboratory TIK"

共 95 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Increased reproducibility and comparability of data leak evaluations using ExOT

Increased reproducibility and comparability of data leak eva...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Philipp Miedl Bruno Klopott Lothar Thiele Computer Engineering and Networks Laboratory (TIK) ETH Zurich Zurich Switzerland

ISBN: (数字)9783981926347

ISBN: (纸本)9781728144689

As computing systems are increasingly shared among different users or application domains, researchers have intensified their efforts to detect possible data leaks. In particular, many investigations highlight the vulnerability of systems w.r.t. covert and side channel attacks. However, the effort required to reproduce and compare different results has proven to be high. Therefore, we present a novel methodology for covert channel evaluation. In addition, we introduce the Experiment Orchestration Toolkit ExOT, which provides software tools to efficiently execute the *** methodology ensures that the covert channel analysis yields expressive results that can be reproduced and allow the comparison of the threat potential of different data leaks. ExOT is a software bundle that consists of easy to extend C++ libraries and Python packages. These libraries and packages provide tools for the generation and execution of experiments, as well as the analysis of the experimental data. Therefore, ExOT decreases the engineering effort needed to execute our novel methodology. We verify these claims with an extensive evaluation of four different covert channels on an Intel Haswell and an ARMv8 based platform. In our evaluation, we derive capacity bounds and show achievable throughputs to compare the threat potential of these different covert channels.

关键词： Throughput Error analysis Timing Channel estimation Channel capacity Software

来源：评论

学校读者我要写书评

暂无评论

RocketLogger: Mobile Power Logger for Prototyping IoT Devices: Demo Abstract 16

RocketLogger: Mobile Power Logger for Prototyping IoT Device...

引用

Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems CD-ROM

作者： Lukas Sigrist Andres Gomez Roman Lim Stefan Lippuner Matthias Leubin Lothar Thiele Computer Engineering and Networks Laboratory (TIK) ETH Zurich Switzerland

ISBN: (纸本)9781450342636

We demonstrate the RocketLogger, a mobile data logger designed for prototyping energy harvesting IoT devices. Novel IoT applications require new dataloggers with a highly increased dynamic range for current measurement to accommodate both ultra-low sleep currents of few nanoamperes as well as wireless communication currents in the range of hundreds of milliamperes. In parallel to ultra-low currents and high dynamic range measurements, novel applications require mobile measurements for easy in-situ characterization or wearable device testing. The RocketLogger is a solution that fulfills these requirements. While being fully mobile, it measures currents from 5 nA up to 500 mA with very fast and seamless range-switching. Using a sample energy harvesting application, we demonstrate its low-current measurement capabilities, fast, seamless auto-ranging and easy-to-use remote user interface.

关键词：

来源：评论

学校读者我要写书评

暂无评论

networks Cannot Compute Their Diameter in Sublinear Time 12

Networks Cannot Compute Their Diameter in Sublinear Time

引用

Annual ACM-Society for Industrial and Applied Mathmatics Symposium on Discrete Algorithms

作者： Silvio Frischknecht Stephan Holzer Roger Wattenhofer Computer Engineering and Networks Laboratory (TIK)

ISBN: (纸本)9781611972108

We study the problem of computing the diameter of a network in a distributed way. The model of distributed computation we consider is: in each synchronous round, each node can transmit a different (but short) message to each of its neighbors. We provide an Ω(n) lower bound for the number of communication rounds needed, where n denotes the number of nodes in the network. This lower bound is valid even if the diameter of the network is a small constant. We also show that a (3/2 -ε)-approximation of the diameter requires Ω({the square root of}n ＋ D) rounds. Furthermore we use our new technique to prove an Ω({the square root of}n ＋ D) lower bound on approximating the girth of a graph by a factor 2-ε.

关键词： Diameter short message Network Lower bound sublinear Square root Rounding off network node round number new technique

来源：评论

学校读者我要写书评

暂无评论

End-to-End Delay Minimization in Thermally Constrained Distributed Systems

End-to-End Delay Minimization in Thermally Constrained Distr...

引用

Euromicro Conference on Real-Time Systems

作者： Pratyush Kumar Lothar Thiele Computer Engineering and Networks Laboratory (TIK) ETH Zürich Switzerland

With ever-increasing power densities, managing on-chip temperatures by optimizing mapping and scheduling of tasks is becoming increasingly necessary. We study the minimization of end-to-end delay for thermally constrained scheduling of an application that is specified as a task graph and is executing on parallel processors without speed scaling. We show that task graph scheduling on thermally constrained systems is monotonic, i.e., delaying the execution of a task longer than necessary cannot lead to the early completion of any other task. Using this monotonicity principle, we design the provably optimal schedule for a given mapping, called the JUST schedule. The JUST schedule can be easily implemented using temperature sensors. We then present different thermal-aware modifications to standard mapping heuristics and evaluate them on a large set of problem instances. The experimental results illustrate that with simple thermal-aware modifications, mappings with much smaller end-to-end delay can be identified.

关键词： Program processors Schedules Delay Processor scheduling Optimal scheduling Power demand Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Dynamic power management in environmentally powered systems 10

Dynamic power management in environmentally powered systems

引用

Asia and South Pacific Design Automation Conference

作者： Clemens Moser Jian-Jia Chen Lothar Thiele Computer Engineering and Networks Laboratory (TIK) Swiss Federal Institute of Technology Zurich Switzerland

ISBN: (纸本)9781605588377

In this paper a framework for energy management in energy harvesting embedded systems is presented. As a possible example scenario, we focus on wireless sensor nodes which are powered by solar cells. We demonstrate that classical power management solutions have to be reconceived and/or new problems arise if perpetual operation of the system is required. In particular, we provide a set of algorithms and methods for different application scenarios, including real-time scheduling, application rate control as well as reward maximization. The goal is to optimize the performance of the application subject to given energy constraints. Our methods optimize the system performance which allows the usage of, e.g., smaller solar cells and smaller batteries. Our theoretical results are supported by simulations using long-term measurements of solar energy in an outdoor environment. Furthermore, to demonstrate the practical relevance of our approaches, we measured the implementation overhead of our algorithms on real sensor nodes.

关键词： Energy management Environmental management Power system management Photovoltaic cells Battery charge measurement Embedded system Wireless sensor networks Scheduling algorithm Constraint optimization Optimization methods

来源：评论

学校读者我要写书评

暂无评论

Timing Analysis for TDMA Arbitration in Resource Sharing Systems

Timing Analysis for TDMA Arbitration in Resource Sharing Sys...

引用

IEEE Symposium on Real-Time and Embedded Technology and Applications

作者： Andreas Schranzhofer Jian-Jia Chen Lothar Thiele Computer Engineering and Networks Laboratory (TIK) Swiss Federal Institute of Technology Zurich Switzerland

Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. However, performance boosting is constrained by shared resources, such as buses, main memory, DMA, *** paper analyzes the worst-case completion (response) time for real-time tasks when time division multiple access (TDMA) policies are applied for resource ***-time tasks execute periodically on a processing element and are constituted by sequential superblocks. A superblock is characterized by its accesses to a shared resource and its computation time. We explore three models of accessing shared resources: (1)dedicated access model, in which accesses happen only at the beginning and the end of a superblock, (2) general access model, in which accesses could happen anytime during the execution of a superblock, and (3) hybrid access model, which combines the dedicated and general access models. We present a framework to analyze the worst-case completion time of real-time tasks (superblocks) under these three access models, for a given TDMA arbiter. We compare the timing analysis of the three proposed models for a real-world application.

关键词： Timing Time division multiple access Resource management Multicore processing computer architecture Multiprocessing systems System-on-a-chip Boosting Performance analysis Time factors

来源：评论

学校读者我要写书评

暂无评论

Energy-Efficient Real-Time Task Scheduling with Temperature-Dependent Leakage 10

Energy-Efficient Real-Time Task Scheduling with Temperature-...

引用

Design, Automation & Test in Europe Conference & Exhibition

作者： Chuan-Yue Yang Jian-Jia Chen Lothar Thiele Tei-Wei Kuo National Taiwan University Computer Engineering and Networks Laboratory (TIK) ETH Zürich

ISBN: (纸本)9783981080162

Leakage power consumption contributes significantly to the overall power dissipation for systems that are manufactured in advanced deep sub-micron technology. Different from many previous results, this paper explores leakage-aware energy-efficient scheduling if leakage power consumption depends on temperature. We propose a pattern-based approach which divides a given time horizon into several time segments with the same length, where the processor is in the active (dormant, respectively) mode for a fixed amount of time at the beginning (end, respectively) of each time segment. Computation is advanced in the active mode, whereas the dormant mode helps reduce the temperature via cooling as well as the leakage power consumption. Since the pattern-based approach leads to a steady state with an equilibrium temperature, we develop a procedure to find the optimal pattern whose energy consumption in steady state is the minimum. Compared to existing work, our approach is more effective, has less run-time scheduling overhead, and requires only a simple scheduler to control the system mode periodically. The paper contains extensive simulation results which validate the new models and methods.

关键词： Energy-efficient task scheduling Temperature-dependent leakage power consumption Real-time systems

来源：评论

学校读者我要写书评

暂无评论

Local Algorithms: Self-Stabilization on Speed

Local Algorithms: Self-Stabilization on Speed

引用

Algorithmic Methods for Distributed Cooperative Systems 2009

作者： Lenzen, Christoph Suomela, Jukka Wattenhofer, Roger Computer Engineering and Networks Laboratory TIK ETH Zurich Zurich8092 Switzerland Helsinki Institute for Information Technology HIIT University of Helsinki P. O. Box 68 FI-00014 Finland

来源：评论

学校读者我要写书评

暂无评论

Analysis, Comparison, and Optimization of Routing Protocols for Energy Harvesting Wireless Sensor networks

Analysis, Comparison, and Optimization of Routing Protocols ...

引用

IEEE International Conference on Sensor networks, Ubiquitous, and Trustworthy Computing

作者： David Hasenfratz Andreas Meier Clemens Moser Jian-Jia Chen Lothar Thiele Computer Engineering and Networks Laboratory (TIK) Swiss Federal Institute of Technology ETH Zurich Switzerland

Energy harvesting has been steadily gaining interest in the wireless sensor network community. Instead of minimizing the energy consumption and maximizing a network's operational time, the main challenge in energy harvesting sensor networks is to maximize the utility of the application subject to the harvested energy. One major challenge is to maximize the data delivery rates by exploiting the spatial variations of environmental energy. While there exists a multiplicity of energy-aware routing protocols for sensor networks without energy harvesting capabilities, only a small number of routing protocols have been published which explicitly account for energy harvesting. In this paper, we analyze and compare three state-of-the-art routing algorithms. While the original algorithms assume an idealized medium access control (MAC), a lossless wireless channel and global knowledge, we show that these assumptions lead to delusive results. We detail these findings by showing the influence of a low-power MAC protocol, a realistic wireless channel and the protocol overhead. Moreover, we show how to optimize the parameters of the MAC protocol for a given network configuration. By conducting various evaluations, we identify that our modified version of the R-MPRT algorithm outperforms the evaluated algorithms in scenarios where little energy is harvested from the environment.

关键词： Routing protocols Wireless sensor networks Monitoring Batteries Media Access Protocol Base stations Energy management computer networks Pervasive computing Energy consumption

来源：评论

学校读者我要写书评

暂无评论

Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis 10

Combining optimistic and pessimistic DVS scheduling: An adap...

引用

IEEE International Conference on computer-Aided Design

作者： Simon Perathoner Kai Lampka Nikolay Stoimenov Lothar Thiele Jian-Jia Chen Computer Engineering and Networks Laboratory (TIK) Swiss Federal Institute of Technology Zurich Switzerland Institute of Process Control and Robotics (IPR) Karlsruhe Institute of Technology Karlsruhe Germany

ISBN: (纸本)9781424481927

Performance boosting of modern computing systems is constrained by the chip/circuit power dissipation. Dynamic voltage scaling (DVS) has been applied for reducing the energy consumption by dynamically changing the supply voltage. One can optimistically apply greedy online DVS scheduling algorithms by considering only the events that have arrived in the system. However, this might require a speed that is beyond a system's capability. Alternatively, one can pessimistically use a conservative speed to ensure timing guarantees, which might consume an excessive amount of energy as events might be processed faster than necessary. This paper presents an adaptive scheme that combines these two strategies for the scheduling of arbitrary event streams. The proposed adaptive DVS scheduler chooses the execution speed dynamically as long as it is below a certain threshold. Once the speed exceeds this threshold, the proposed scheduler operates at a constant (pessimistic) speed for guaranteeing the feasibility. The computation of the threshold speed is, however, not straight-forward. For deriving it, we make use of a framework based on timed model checking because the scheduler is strongly state-dependent. The resulting analysis framework allows to obtain the threshold speed for the proposed adaptive DVS scheduling algorithm such that both timing and speed constraints are guaranteed to be met and at the same time an energy-efficient execution is ensured.

关键词： Voltage control Optimized production technology Energy consumption Timing Adaptation model Scheduling algorithm Adaptive scheduling

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共10页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：