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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,149 篇 会议
40 篇 期刊文献
21 册 图书
1 篇 学位论文

馆藏范围

3,211 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,898 篇 工学
- 1,681 篇 计算机科学与技术...
- 890 篇 软件工程
- 541 篇 电气工程
- 292 篇 信息与通信工程
- 251 篇 控制科学与工程
- 93 篇 电子科学与技术（可...
- 71 篇 动力工程及工程热...
- 66 篇 机械工程
- 60 篇 生物工程
- 53 篇 安全科学与工程
- 49 篇 网络空间安全
- 46 篇 交通运输工程
- 43 篇 仪器科学与技术
- 36 篇 建筑学
- 30 篇 生物医学工程（可授...
- 27 篇 土木工程
- 25 篇 光学工程
- 20 篇 环境科学与工程（可...
324 篇 理学
- 171 篇 数学
- 65 篇 生物学
- 61 篇 物理学
- 54 篇 系统科学
- 32 篇 统计学（可授理学、...
- 20 篇 化学
263 篇 管理学
- 210 篇 管理科学与工程(可...
- 134 篇 工商管理
- 68 篇 图书情报与档案管...
40 篇 法学
- 36 篇 社会学
26 篇 医学
- 23 篇 临床医学
21 篇 经济学
- 21 篇 应用经济学
11 篇 农学
9 篇 教育学
9 篇 军事学
8 篇 文学
1 篇 艺术学

主题

524 篇 real-time system...
514 篇 real time system...
255 篇 embedded systems
150 篇 processor schedu...
136 篇 hardware
132 篇 embedded system
129 篇 computational mo...
119 篇 computer archite...
111 篇 timing
88 篇 energy consumpti...
88 篇 embedded computi...
85 篇 resource managem...
83 篇 protocols
82 篇 control systems
77 篇 application soft...
75 篇 monitoring
70 篇 delay
69 篇 computer science
69 篇 scheduling
68 篇 scheduling algor...

机构

11 篇 department of co...
8 篇 malardalen univ ...
8 篇 city university ...
7 篇 college of compu...
7 篇 eindhoven univer...
6 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 scuola super san...
6 篇 uppsala universi...
6 篇 malardalen univ ...
6 篇 department of co...
5 篇 department of co...
5 篇 evidence srl pis...
5 篇 chongqing univ c...
5 篇 department of co...
5 篇 george mason uni...
5 篇 univ politecn va...
5 篇 department of co...

作者

15 篇 nolte thomas
14 篇 thomas nolte
12 篇 jian-jia chen
12 篇 tei-wei kuo
12 篇 anderson james h...
11 篇 james h. anderso...
11 篇 chen jian-jia
10 篇 nobuyuki yamasak...
10 篇 nakajima tatsuo
9 篇 shao zili
8 篇 khalgui mohamed
8 篇 dakai zhu
8 篇 kuo tei-wei
8 篇 xue chun jason
8 篇 tovar eduardo
8 篇 chun jason xue
8 篇 chakraborty sama...
8 篇 cheng albert m. ...
8 篇 nan guan
8 篇 wei zhang

语言

3,108 篇 英文
98 篇 其他
6 篇 中文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=11th International Conference on Embedded and Real-Time Computing Systems and Applications"

共 3211 条记录，以下是1231-1240 订阅

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

详细简洁

排序：

28th international conference on Architecture of computing systems, ARCS 2015

28th International Conference on Architecture of Computing S...

引用

28th international conference on Architecture of computing systems, ARCS 2015

ISBN: (纸本)9783319160856

the proceedings contain 25 papers. the special focus in this conference is on Reconciling Parallelism and Predictability in Mixed-Critical systems. the topics include: Parallel-operation-oriented optically reconfigurable gate array;exploiting outer loops vectorization in high level synthesis;cache- and communication-aware application mapping for shared-cache multicore processors;parallelizing convolutional neural networks on Intel many integrated core architecture;mobile ecosystem driven dynamic pipeline adaptation for low power;a virtual execution environment for cyber-physical applications;trustworthy self-optimization in organic computing environments;improving reliability and endurance using end-to-end trust in distributed low-power sensor networks;privacy preserved content disclosure for data sharing in cloud;virtualized communication controllers in safety-related automotive embedded systems;network interface with task spawning support for NoC-based DSM architectures;MESI-based cache coherence for hard real-time multicore systems and speeding up static probabilistic timing analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

11th international conference on Distributed computing and Internet Technology, ICDCIT 2015

11th International Conference on Distributed Computing and I...

引用

11th international conference on Distributed computing and Internet Technology, ICDCIT 2015

ISBN: (纸本)9783319149769

the proceedings contain 51 papers. the special focus in this conference is on three broad areas of Computer Science viz., Distributed computing, Internet Technologies, and Societal applications. the topics include: Privacy and security challenges in internet of things;fusing sensors for occupancy sensing in smart buildings;discrete control-based design of adaptive and autonomic computing systems;efficient algorithms and data structures for accurate transcriptomics;gathering asynchronous swarm robots under nonuniform limited visibility;path planning algorithm for mobile anchor in connected sensor networks;on-the-fly symmetry reduction of explicitly represented probabilistic models;time and cost aware checkpointing of choreographed web services;financial risk management in e-commerce using executable business process modeling notation;a hybrid model for dynamic composition and execution of heterogeneous web services;application of soft computing technique for web service selection;weighted load balanced adaptive gateway discovery in integrated internet MANET;improving activity prediction and activity scheduling in smart home networks for enhanced QoS;computationally secure cheating identifiable multi-secret sharing for general access structure;a centrality measure based approach for network anonymization;a Chinese remainder theorem based key management algorithm for hierarchical wireless sensor network;an evolutionary computation based classification model for network intrusion detection;a cryptosystem for blind computing on encrypted character strings;a secure image hashing technique for forgery detection;design and development of secure cloud architecture for sensor services and genetic algorithm framework for Bi-objective task scheduling in cloud computing systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Tsunami and storm surge simulation using low power architectures concept and evaluation 5

Tsunami and storm surge simulation using low power architect...

引用

5th international conference on Simulation and Modeling Methodologies, Technologies and applications, SIMULTECH 2015

作者： Schoenwetter, Dominik Ditter, Alexander Kleinert, Bruno Hendricks, Arne Aizinger, Vadym Koestler, Harald Fey, Dietmar Martensstr. 3 Erlangen91058 Germany Cauerstr. 11 Erlangen91058 Germany Cauerstr. 11 Erlangen91058 Germany

ISBN: (纸本)9789897581205

Performing a tsunami or storm surge simulation in real time is a highly challenging research topic that calls for a collaboration between mathematicians and computer scientists. One must combine mathematical models with numerical methods and rely on computational performance and code parallelization to produce accurate simulation results as fast as possible. the traditional modeling approaches require a lot of computing power and significant amounts of electrical energy;they are also highly dependent on uninterrupted access to a reliable power supply. this paper presents a concept how to develop suitable low power hardware architectures for tsunami and storm surge simulations based on cooperative software and hardware simulation. the main goal is to be able - if necessary - to perform simulations in-situ and battery-powered. For flood warning systems installed in regions with weak or unreliable power and computing infrastructure, this would significantly decrease the risk of failure at the most critical moments.

关键词： Tsunamis

来源：评论

学校读者我要写书评

暂无评论

Resource-parameterized timing analysis of real-time systems 11th

Resource-parameterized timing analysis of real-time systems

引用

11th international Haifa Verification conference, HVC 2015

作者： Kim, Jin Hyun Legay, Axel Larsen, Kim G. Mikučionis, Marius Nielsen, Brian INRIA/IRISA Rennes France Alborg University Aalborg Denmark

ISBN: (纸本)9783319262864

Cyber-Physical systems (CPS) are subject to platform-given resource constraints upon such resources as CPU, memory, and bus, in executing their functionalities. this causes the behavior of a verified application to deviate from its intended timing behavior when the application is integrated on a specific platform. For the same reason, a configuration of platforms cannot be independent from applications in most cases. this paper proposes a new analysis framework of real-time systems where an application and a platform can be analyzed in a fully independent way such that not only the application but also the platform once verified can be exploited by various applications. the dependent behaviors of application and platform are also analyzed by exploiting their individual models transformed from their independent models. To the end, we provide a highly configurable platform model that can be parameterized by various resource configurations. For analysis of application and platform models, we use two model checking techniques: symbolic and statistical model checking techniques of Uppaal. Our framework is demonstrated by a case study where a turn indicator system is analyzed with respect to various platform resource constraints. © Springer international Publishing Switzerland 2015.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

Integrating custom index extensions into Virtuoso RDFstore for E-Commerce applications 15

Integrating custom index extensions into Virtuoso RDFstore f...

引用

11th international conference on Semantic systems, SEMANTiCS 2015

作者： Wauer, Matthias Both, Andreas Schwinger, Stephan Nettling, Martin Erling, Orri R and D Unister GmbH Barfußgässchen 11 Leipzig Germany OpenLink Software London United Kingdom

ISBN: (纸本)9781450334624

Triple stores are the backbone of the evolution of the Linked Data Web. However, even standard queries on many at- tributes can result in high query response times using avail- able triple stores. For use in commercial search applications, particularly for web scale applications, short and predictable query response times are a strict necessity in order to achieve industrial applicability. In this paper, a custom index extension for the Virtuoso triple store is used to improve the runtime of typical queries. the index extension is connected to a lightweight bitset index that covers the properties in question. A case study with real world data in the e-commerce domain shows that more comprehensive queries even on highly materialized data result in consistently improved query response times with a predictable upper bound that meets industrial requirements. Hence, to the best of our knowledge, industrial applicability is achieved for the first time considering the requirements of the e-commerce industry.

关键词： Electronic commerce

来源：评论

学校读者我要写书评

暂无评论

An initial population optimization-based particle swarm algorithm for anti-jamming communication decision engines

An initial population optimization-based particle swarm algo...

引用

11th international conference on Wireless Communications, Networking and Mobile computing (WiCOM 2015)

作者： Xianyang Hui Jianzhong Chen Yingtao Niu ICE PLAUST Nanjing China Nanjing Telecommunication Technology Institute China

ISBN: (纸本)9781510821279

To improve the real-time performance of anti-jamming decision making, this paper proposes an initial population optimization particle swarm algorithm (IPO-PSO). this algorithm utilizes a portion of the solution from the previous decision as the initial population in the current decision; thus optimizes the adaptive quality of the initial population used for the current decision. the simulation results show that the proposed method can increase the convergence rate of the particle swarm optimization algorithm without increasing the complexity. thus, this method provides impressive real-time performance and is ideally suited for demanding applications such as in military antijamming communications systems.

关键词： Anti-Jamming Communication Convergence Speed Decision Engine Initial Population Optimization Particle Swarm Optimization particle swarm algorithm Antijamming Particle swarm optimization COMMUNICATION systems Engines

来源：评论

学校读者我要写书评

暂无评论

HSPT: Practical Implementation and Efficient Management of embedded Shadow Page Tables for Cross-ISA System Virtual Machines 15

HSPT: Practical Implementation and Efficient Management of E...

引用

11th ACM SIGPLAN/SIGOPS international conference on Virtual Execution Environments

作者： Wang, Zhe Li, Jianjun Wu, Chenggang Yang, Dongyan Wang, Zhenjiang Hsu, Wei-Chung Li, Bin Guan, Yong Chinese Acad Sci Inst Comp Technol State Key Lab Comp Architecture Beijing Peoples R China Univ Chinese Acad Sci Beijing Peoples R China IBM Corp China Syst & Technol Lab Beijing Peoples R China Natl Taiwan Univ Dept Comp Sci & Informat Engn Hangzhou Zhejiang Peoples R China Netease Hangzhou Zhejiang Peoples R China Capital Normal Univ Coll Informat Engn Beijing Peoples R China

ISBN: (纸本)9781450334501

Cross-ISA (Instruction Set Architecture) system-level virtual machine has a significant research and practical value. For example, several recently announced virtual smart phones for iOS which run smart phone applications on x86 based PCs are deployed on cross-ISA system level virtual machines. Also, for mobile device application development, by emulating the Android/ARM environment on the more powerful x86-64 platform, application development and debugging become more convenient and productive. However, the virtualization layer often incurs high performance overhead. the key overhead comes from memory virtualization where a guest virtual address (GVA) must go through multilevel address translation to become a host physical address (HPA). the embedded Shadow Page Table (ESPT) approach has been proposed to effectively decrease this address translation cost. ESPT directly maps GVA to HPA, thus avoid the lengthy guest virtual to guest physical, guest physical to host virtual, and host virtual to host physical address translation. However, the original ESPT work has a few drawbacks. For example, its implementation relies on a loadable kernel module (LKM) to manage the shadow page table. Using LKMs is less desirable for system virtual machines due to portability, security and maintainability concerns. Our work proposes a different, yet more practical, implementation to address the shortcomings. Instead of relying on using LKMs, our approach adopts a shared memory mapping scheme to maintain the shadow page table (SPT) using only "mmap" system call. Furthermore, this work studies the support of SPT for multi-processing in greater details. It devices three different SPT organizations and evaluates their strength and weakness with standard and real Android applications on the system virtual machine which emulates the Android/ ARM platform on x86-64 systems.

关键词： Management Measurement Performance Design Experimentation Security memory virtualization cross-ISA virtualization embedded Shadow Page Table HSPT Hosted Shadow Page Table practical implementation loadable kernel module Security Portability

来源：评论

学校读者我要写书评

暂无评论

ACM international conference Proceeding Series

ACM International Conference Proceeding Series

引用

11th international conference on Semantic systems, SEMANTiCS 2015

ISBN: (纸本)9781450334624

the proceedings contain 30 papers. the topics discussed include: crowdsourced semantic annotation of scientific publications and tabular data in PDF;complex event extraction from real-time news streams;an elastic and scalable spatiotemporal query processing for linked sensor data;toward a statistical data integration environment the role of semantic metadata;the role of reasoning for RDF validation;accessing and reasoning with data from disparate data sources using modular ontologies and OBDA;making sense of description logics;integrating custom index extensions into virtuoso RDF store for e-commerce applications;knowledge base shipping to the linked open data cloud;a linked data platform for finite element biosimulations;and cross-lingual lexical matching with word translation and local similarity optimization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Detecting Fault Injection Attacks on embedded real-time applications: A System-Level Perspective

Detecting Fault Injection Attacks on Embedded Real-Time Appl...

引用

IEEE international conference on High Performance computing and Communications (HPCC)

作者： Liang Wen Wei Jiang Ke Jiang Xia Zhang Xiong Pan Keran Zhou School of Information and Software Engineering University of Electronic Science and Technology of China Department of Computer and Information Science Linköping University Sweden Department of Computer Science University of Texas at Dallas U.S.A

this paper presents an approach to the synthesis of secure real-time applications mapped on distributed embedded systems, which focuses on preventing fault injection attacks. We utilize symmetric cryptographic service to protect confidentiality, and deploy fault detection within confidential algorithm to resist fault injection attacks. Several fault detection schemes are identified, and their fault coverage rates and time overheads are derived and measured, respectively. Our synthesis approach makes efforts to determine the best fault detection schemes for the encryption/decryption of messages, such that the overall security strength of resisting fault injection attack is minimized, and the deadline constraint of the real-time applications is guaranteed. Since addressing the problem is still a NP-hard problem, we propose an efficient algorithm based on Fruit fly Optimization Algorithm (FOA), which can achieve better results by lower time overheads, compared with simulated annealing algorithm. Extensive experiments demonstrate the superiority of our approach.

关键词： Fault detection Cryptography real-time systems Circuit faults embedded systems Resists

来源：评论

学校读者我要写书评

暂无评论

real-time Memory Controller for embedded Multi-core System

Real-Time Memory Controller for Embedded Multi-core System

引用

IEEE international conference on High Performance computing and Communications (HPCC)

作者： Ahmed S. S. Mohamed Ali A. El-Moursy Hossam A. H. Fahmy Electronics and Communication Eng. Dept Cairo University Electrical and Computer Eng. Dept University of Sharjah Cairo University Giza EG

Nowadays modern chip multi-cores (CMPs) become more demanding because of their high performance especially in real-time embedded systems. On the other side, bounded latencies has become vital to guarantee high performance and fairness for applications running on CMPs cores. We propose a new memory controller that prioritizes and assigns defined quotas for cores within unified epoch (MCES). Our approach works on variety of generations of double data rate DRAM(DDR DRAM). MCES is able to achieve an overall performance reached 35% for 4 cores system.

关键词： Random access memory real-time systems Multicore processing Interference Arrays time factors Scheduling

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共322页 << < 120 121 122 123 124 125 126 127 128 129 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：