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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

534 篇 会议
175 篇 期刊文献
27 册 图书

馆藏范围

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

日期分布

学科分类号

418 篇 工学
- 316 篇 计算机科学与技术...
- 230 篇 软件工程
- 114 篇 信息与通信工程
- 58 篇 控制科学与工程
- 51 篇 电子科学与技术（可...
- 31 篇 电气工程
- 29 篇 生物工程
- 22 篇 动力工程及工程热...
- 21 篇 机械工程
- 19 篇 建筑学
- 18 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 交通运输工程
- 12 篇 安全科学与工程
- 11 篇 化学工程与技术
- 10 篇 生物医学工程（可授...
- 9 篇 力学（可授工学、理...
155 篇 理学
- 91 篇 数学
- 30 篇 系统科学
- 29 篇 生物学
- 24 篇 物理学
- 20 篇 统计学（可授理学、...
- 13 篇 化学
122 篇 管理学
- 75 篇 管理科学与工程(可...
- 58 篇 图书情报与档案管...
- 35 篇 工商管理
17 篇 法学
- 12 篇 社会学
14 篇 医学
- 14 篇 临床医学
- 11 篇 基础医学(可授医学...
11 篇 经济学
- 11 篇 应用经济学
5 篇 教育学
5 篇 农学
2 篇 军事学
1 篇 艺术学

主题

53 篇 computer science
26 篇 routing
26 篇 protocols
24 篇 bandwidth
23 篇 quality of servi...
22 篇 monitoring
20 篇 telecommunicatio...
19 篇 application soft...
19 篇 hardware
18 篇 computer archite...
18 篇 throughput
18 篇 real time system...
18 篇 computational mo...
18 篇 distributed comp...
17 篇 runtime
17 篇 software enginee...
15 篇 network topology
15 篇 resource managem...
15 篇 wireless sensor ...
15 篇 vehicles

机构

18 篇 department of di...
15 篇 institute of par...
8 篇 key laboratory o...
8 篇 distributed syst...
7 篇 chair for embedd...
7 篇 school of comput...
7 篇 department of co...
7 篇 department of di...
7 篇 school of comput...
6 篇 microelectronics...
6 篇 department of co...
5 篇 school of electr...
5 篇 institute of dis...
5 篇 distributed and ...
5 篇 embedded systems...
5 篇 distributed embe...
5 篇 swedish institut...
5 篇 department of di...
4 篇 institute of com...
4 篇 center for appli...

作者

16 篇 rajkumar buyya
16 篇 dustdar schahram
15 篇 chen haibo
11 篇 m. menth
11 篇 michael menth
10 篇 jörg henkel
10 篇 könig-ries birgi...
10 篇 muhammad shafiqu...
9 篇 babalou samira
9 篇 menth michael
9 篇 janakiram d.
9 篇 bastian blywis
9 篇 felix juraschek
8 篇 jeon gwanggil
8 篇 frank slomka
8 篇 juraschek felix
8 篇 özdenizci ozan
7 篇 blywis bastian
7 篇 sri parameswaran
7 篇 zang binyu

语言

710 篇 英文
13 篇 中文
10 篇 其他
3 篇 德文
1 篇 葡萄牙文

检索条件"机构=Institute of Computer Science-Distributed Embedded Systems"

共 736 条记录，以下是151-160 订阅

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

详细简洁

排序：

WCET-aware static locking of instruction caches 12

WCET-aware static locking of instruction caches

引用

10th International Symposium on Code Generation and Optimization, CGO 2012

作者： Plazar, Sascha Kleinsorge, Jan C. Marwedel, Peter Falk, Heiko Department of Computer Science 12 TU Dortmund University D-44221 Dortmund Germany Institute of Embedded Systems/Real-Time Systems Ulm University D-89081 Ulm Germany

ISBN: (纸本)9781605586359

In the past decades, embedded system designers moved from simple, predictable system designs towards complex systems equipped with caches. This step was necessary in order to bridge the increasingly growing gap between processor and memory system performance. Static analysis techniques had to be developed to allow the estimation of the cache behavior and an upper bound of the execution time of a program. This bound is called worst-case execution time (WCET). Its knowledge is crucial to verify whether hard real-time systems satisfy their timing constraints, and the WCET is a key parameter for the design of embedded systems. In this paper, we propose aWCET-aware optimization technique for static I-cache locking which improves a program's performance and predictability. To select the memory blocks to lock into the cache and avoid time consuming repetitive WCET analyses, we developed a new algorithm employing integer-linear programming (ILP). The ILP models the worst-case execution path (WCEP) of a program and takes the inuence of locked cache contents into account. By modeling the effect of locked memory blocks on the runtime of basic blocks, the overall WCET of a program can be minimized. We show that our optimization is able to reduce the estimated WCET (abbr. WCETest) of real-life benchmarks by up to 40.8%. At the same time, our proposed approach is able to outperform a regular cache by up to 23.8% in terms of WCETest. Copyright © 2012 ACM.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

A search-based approach for architectural design of feedback control concerns in Self-Adaptive systems

A search-based approach for architectural design of feedback...

引用

2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing systems, SASO 2013

作者： Andrade, Sandro S. De A. Macedo, Raimundo Jose GSORT Distributed Systems Group Federal Institute of Education Science and Technology of Bahia Salvador-Ba Brazil Department of Computer Science Federal University of Bahia Salvador-Ba Brazil

ISBN: (纸本)9780769551296

A number of approaches for endowing systems with self-Adaptive behavior have been proposed over the past years. Among such efforts, architecture-centric solutions with explicit representation of feedback loops have currently been advocated as a promising research landscape. Although noteworthy results have been achieved on some fronts, the lack of systematic representations of architectural knowledge and effective support for well-informed trade-off decisions still poses significant challenges when designing modern self-Adaptive systems. In this paper, we present a systematic and flexible representation of design dimensions related to feedback control concerns, a set of metrics which estimate quality attributes of resulting automated designs, and a search-based approach to find out a set of Pareto-optimal candidate architectures. The proposed approach has been fully implemented in a supporting tool and a case study with a self-Adaptive cloud computing environment has been undertaken. The results indicate that our approach effectively captures the most prominent degrees of freedom when designing self-Adaptive systems, helps to elicit effective subtle designs, and provides useful support for early analysis of trade-off decisions. © 2013 IEEE.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Towards a Unified Flow Description Language for CPPSs: An Example with Material Flows 29

Towards a Unified Flow Description Language for CPPSs: An Ex...

引用

29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024

作者： Gödeke, Jana Hörstrup, Maximilian Detzner, Peter Fraunhofer Institute for Material Flow and Logistics Department for Ai and Autonomous Systems Dortmund Germany Ruhr University Bochum Faculty of Computer Science Distributed and Networked Systems Group Bochum Germany

ISBN: (纸本)9798350361230

This paper presents a unified approach for repre-senting multiple domains alongside production in cyber-physical production systems (CPPSs) through domain-specific languages (DSLs). The approach is illustrated using material flows (MFs) as an example. The paper identifies requirements for DSLs in CPPSs and MFs, including concurrency, synchronization, constraints, and heterogeneity support. Subsequently, a plugin system is in-troduced for the existing Production Flow Description Language (PFDL), which allows users to incorporate additional domain-specific functionality in the form of plugins. To demonstrate this approach, we present the MF plugin, resulting in the combined PFDLMF. This showcases the reusability of such an approach and the easy integration of new CPPS domains. We envision the convergence of the PFDL with plugins towards a unified flow description language for CPPSs. A practical CPPS use-case demonstrates the expressiveness of the PFDLMF in modeling and executing complex MFs in an agent-based architecture. © 2024 IEEE.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Multiagent System Technologies 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Lars Braubach Wiebe Hoek Paolo Petta Alexander Pokahr

ISBN: (数字)9783642041433

ISBN: (纸本)9783642041426

This book constitutes the refereed proceedings of the 7th German Conference on Multiagent systems Technologies, MATES 2009, held in Hamburg, Germany in September 2009 - colocated with the 10th International Workshop on Computational Logic in Multi-Agent systems (CLIMA X) and the 5th International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009). The 14 revised full papers, 10 short papers, and 5 exhibition papers presented together with one invited talk were carefully reviewed and selected from 44 submissions. The papers present and discuss the latest advances of research and development in the area of autonomous agents and multiagent systems ranging from theoretical and methodological issues to applications in various fields.

关键词： Artificial Intelligence Software Engineering Computation by Abstract Devices Programming Techniques Simulation and Modeling computer systems Organization and Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Optimal scheduling of iterative data-flow programs onto multiprocessors with non-negligible interprocessor communication 7th

Optimal scheduling of iterative data-flow programs onto mult...

引用

7th International Conference on High-Performance Computing and Networking, HPCN Europe 1999

作者： Antony Louis Piriyakumar, D. Levi, Paul Siva Ram Murthy, C. Institute of Parallel and Distributed High-Performance Systems University of Stuttgart Stuttgart70565 Germany Department of Computer Science and Engineering Indian Institute of Technology Chennai600 036 India

ISBN: (纸本)3540658211

The problem of optimal compile-time multiprocessor scheduling of iterative data-flow programs with feedback (delay elements) is addressed in this paper, unlike the earlier studies assumed the availability of a large number of processors and complete interconnection among them along with the interprocessor communication (IPC) to be non-negligible to be more realistic. We first explain the effects of including IPC in non-overlapped, overlapped, fully-static, and cyclo-static multiprocessor schedules with LMS filter as a realistic example. The effect of IPC in the rate-optimal schedules with the transformation techniques viz. unfolding and retiming in scheduling data-flow programs with optimal unfolding is discussed with an example. We then propose an algorithm, based on the well-known A* algorithm, for optimal scheduling of data-flow programs onto multiprocessors, which uses only minimum number of processors. To alleviate the impediments of large requirements of memory space and CPU time for the optimal scheduling algorithm, we present an effective technique, branch join path isomorphism (BJP) which relies on our previously defined processor isomorphism, task isomorphism, and node isomorphism apart from the lower bound theory and upper bound on the completion time. The schedules produced by our algorithm are superior to those obtained by the earlier algorithms despite considering IPC as non-negligible and also not completely connected multiprocessor systems. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Generating realistic workloads for network intrusion detection systems

Generating realistic workloads for network intrusion detecti...

引用

Proceedings of the Fourth International Workshop on Software and Performance, WOSP'04

作者： Antonatos, Spyros Anagnostakis, Kostas G. Markatos, Eyangelos P. Institute of Computer Science Found. for Research and Technology Hellas Greece Distributed Systems Lab. CIS Department Univ. of Pennsylvania United States

ISBN: (纸本)1581136730

While the use of network intrusion detection systems (nIDS) is becoming pervasive, evaluating nIDS performance has been found to be challenging. The goal of this study is to determine how to generate realistic workloads for nIDS performance evaluation. We develop a workload model that appears to provide reasonably accurate estimates compared to real workloads. The model attempts to emulate a traffic mix of different applications, reflecting characteristics of each application and the way these interact with the system. We have implemented this model as part of a traffic generator that can be extended and tuned to reflect the needs of different scenarios. We also present an approach to measuring the capacity of a nIDS that does not require the setup of a full network testbed. security, intrusion detection, workload characterization and generation.

关键词： computer networks

来源：评论

学校读者我要写书评

暂无评论

Biologically sound neural networks for embedded systems using OpenCL

Biologically sound neural networks for embedded systems usin...

引用

1st International Conference on Networked systems, NETYS 2013

作者： Fehérvári, István Sobe, Anita Elmenreich, Wilfried Mobile Systems Group Institute for Networked and Embedded Systems Alpen-Adria-Universität Klagenfurt Austria Computer Science Department University of Neuchâtel Switzerland Complex Systems Engineering University of Passau Germany

ISBN: (纸本)9783642401473

In this paper, we present an OpenCL implementation of a biologically sound spiking neural network with two goals in mind: First, applied neural dynamics should be accurate enough for bio-inspired training methods, thus resulting network data is reproducible in "in vitro" experiments. The second is that the implementation produces code that runs adequately on up-to-date embedded graphical chips for fast on-board classification applications, e.g., video image processing. We describe the necessary steps required to implement an efficient algorithm using the OpenCL framework and present evaluation results of the execution time compared to traditional serial CPU code. We show that an optimized GPU kernel code can perform sufficiently fast to be used for future embedded neural processing. © 2013 Springer-Verlag.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Verifying the distributed Real-Time Network Protocol RTnet Using Uppaal

Verifying the Distributed Real-Time Network Protocol RTnet U...

引用

International Symposium on Modeling, Analysis and Simulation of computer and Telecommunication systems (MASCOTS)

作者： F. Hanssen A. Mader P.G. Jansen Distributed and Embedded Systems Group Faculty of Electrical Engineering Mathematics and Computer Science University of Twente Netherlands

RTnet is a distributed real-time network protocol for fully-connected local area networks with a broadcast capability. It supports streaming real-time and non-realtime traffic and on-the-fly addition and removal of network nodes. This paper presents a formal analysis of RTnet using the model checker Uppaal. Besides normal protocol behaviour, the analysis focuses on the fault-handling properties of RTnet, in particular recovery after packet loss. Both qualitative and quantitative properties are presented, together with the verification results and conclusions about the robustness of RTnet.

关键词： Protocols Streaming media Real time systems Local area networks Broadcasting Quality of service Timing Automata Automatic control Communication system control

来源：评论

学校读者我要写书评

暂无评论

Tinman: Eliminating confidential mobile data exposure with security oriented offloading 15

Tinman: Eliminating confidential mobile data exposure with s...

引用

10th European Conference on computer systems, EuroSys 2015

作者： Xia, Yubin Liu, Yutao Tan, Cheng Ma, Mingyang Guan, Haibing Zang, Binyu Chen, Haibo Shanghai Key Laboratory of Scalable Computing and Systems China Institute of Parallel and Distributed Systems Shanghai Jiao Tong University China Department of Computer Science Shanghai Jiao Tong University China

ISBN: (纸本)9781450332385

The wide adoption of smart devices has stimulated a fast shift of security-critical data from desktop to mobile devices. However, recurrent device theft and loss expose mobile devices to various security threats and even physical attacks. This paper presents TinMan, a system that protects confidential data such as web site password and credit card number (we use the term cor to represent these data, which is short for Confidential Record) from being leaked or abused even under device theft. TinMan separates accesses of cor from the rest of the functionalities of an app, by introducing a trusted node to store cor and offloading any code from a mobile device to the trusted node to access cor. This completely eliminates the exposure of cor on the mobile devices. The key challenges to TinMan include deciding when and how to efficiently and transparently offload execution;Tin-Man addresses these challenges with security-oriented offloading with a low-overhead tainting scheme called asymmetric tainting to track accesses to cor to trigger offloading, as well as transparent SSL session injection and TCP payload replacement to offload accesses to cor. We have implemented a prototype of TinMan based on Android and demonstrated how TinMan protects the information of user's bank account and credit card number without modifying the apps. Evaluation results also show that TinMan incurs only a small amount of performance and power overhead. Copyright © 2015 ACM.

关键词： Crime

来源：评论

学校读者我要写书评

暂无评论

Detecting process transitions from wearable sensors: An unsupervised labeling approach 17

Detecting process transitions from wearable sensors: An unsu...

引用

4th international Workshop on Sensor-Based Activity Recognition and Interaction, iWOAR 2017

作者： Böttcher, Sebastian Scholl, Philipp M. Van Laerhoven, Kristof Medical Center University of Freiburg Department of Neurosurgery Freiburg Germany Embedded Systems University of Freiburg Computer Science Institute Freiburg Germany Ubiquitous Computing University of Siegen Electrical Engineering and Computer Science Siegen Germany

ISBN: (纸本)9781450352239

Authoring protocols for manual tasks such as following recipes, manufacturing processes, or laboratory experiments requires a significant effort. This paper presents a system that estimates individual procedure transitions from the user's physical movement and gestures recorded with inertial motion sensors. Combined with egocentric or external video recordings this facilitates efficient review and annotation of video databases. We investigate different clustering algorithms on wearable inertial sensor data recorded on par with video data, to automatically create transition marks between task steps. The goal is to match these marks to the transitions given in a description of the workflow, thus creating navigation cues to browse video repositories of manual work. To evaluate the performance of unsupervised clustering algorithms, the automatically generated marks are compared to human-expert created labels on publicly available datasets. Additionally, we tested the approach on a novel data set in a manufacturing lab environment, describing an existing sequential manufacturing process. © 2017 Association for Computing Machinery.

关键词： Video recording

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共74页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：