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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,145 篇 会议
43 篇 期刊文献
21 册 图书
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

1,901 篇 工学
- 1,680 篇 计算机科学与技术...
- 889 篇 软件工程
- 545 篇 电气工程
- 292 篇 信息与通信工程
- 252 篇 控制科学与工程
- 95 篇 电子科学与技术（可...
- 73 篇 动力工程及工程热...
- 66 篇 机械工程
- 60 篇 生物工程
- 53 篇 安全科学与工程
- 49 篇 网络空间安全
- 46 篇 交通运输工程
- 45 篇 仪器科学与技术
- 36 篇 建筑学
- 30 篇 生物医学工程（可授...
- 27 篇 土木工程
- 25 篇 光学工程
- 22 篇 环境科学与工程（可...
325 篇 理学
- 170 篇 数学
- 65 篇 生物学
- 61 篇 物理学
- 54 篇 系统科学
- 31 篇 统计学（可授理学、...
- 22 篇 化学
262 篇 管理学
- 209 篇 管理科学与工程(可...
- 134 篇 工商管理
- 68 篇 图书情报与档案管...
40 篇 法学
- 36 篇 社会学
26 篇 医学
- 23 篇 临床医学
21 篇 经济学
- 21 篇 应用经济学
11 篇 农学
9 篇 教育学
9 篇 军事学
8 篇 文学
1 篇 艺术学

主题

521 篇 real-time system...
514 篇 real time system...
254 篇 embedded systems
150 篇 processor schedu...
137 篇 hardware
132 篇 embedded system
129 篇 computational mo...
118 篇 computer archite...
111 篇 timing
88 篇 energy consumpti...
88 篇 embedded computi...
85 篇 resource managem...
83 篇 control systems
83 篇 protocols
77 篇 application soft...
73 篇 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,170 篇 英文
35 篇 其他
5 篇 中文
1 篇 西班牙文
1 篇 法文

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

共 3210 条记录，以下是651-660 订阅

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

详细简洁

排序：

SpeedChain: A framework for Monitoring and Alerting blockchain projects

SpeedChain: A framework for Monitoring and Alerting blockcha...

引用

New Technologies, Mobility and Security (NTMS)

作者： Mouad Fakhri Baptiste Zegre Nouha Omrane Rakia Jaziri JEMS Group University Paris 8

Blockchain is an emerging technology for decentralized transactional data sharing networks of untrusted participants. Monitoring and alerting are crucial functionalities when it comes to blockchain projects running in production. In the meantime, different blockchain monitoring systems lack detailed and real-time metrics. In addition to that, the adoption of different DLTs (Distributed Ledger Technologies) is poor. To solve this problem, we propose a realtime-based information framework to monitor blockchain applications. Our monitoring framework is not only a log-based method but also gathers other system metrics (e.g., CPU throughput, latency). the main benefits of our approach are lower configuration setup, more detailed metrics, and, larger DLTs adoption than the existing monitoring tools. We implement the framework to monitor three well-known blockchain systems. the experimental results show that our framework can make a detailed and realtime monitoring of blockchain projects.

关键词： Measurement Distributed ledger Blockchain Production Tools throughput real-time systems

来源：评论

学校读者我要写书评

暂无评论

Reliable timekeeping for Intermittent computing 20

Reliable Timekeeping for Intermittent Computing

引用

25th international conference on Architectural Support for Programming Languages and Operating systems (ASPLOS)

作者： de Winkel, Jasper Delle Donne, Carlo Yildirim, Kasim Sinan Pawelczak, Przemyslaw Hester, Josiah Delft Univ Technol Delft Netherlands Univ Trento Trento Italy Northwestern Univ Evanston IL USA

ISBN: (纸本)9781450371025

Energy-harvesting devices have enabled Internet of things applications that were impossible before. One core challenge of batteryless sensors that operate intermittently is reliable timekeeping. State-of-the-art low-power real-time clocks suffer from long start-up times (order of seconds) and have low timekeeping granularity (tens of milliseconds at best), often not matching timing requirements of devices that experience numerous power outages per second. Our key insight is that time can be inferred by measuring alternative physical phenomena, like the discharge of a simple RC circuit, and that timekeeping energy cost and accuracy can be modulated depending on the run-time requirements. We achieve these goals with a multi-tier timekeeping architecture, named Cascaded Hierarchical Remanence timekeeper (CHRT), featuring an array of different RC circuits to be used for dynamic timekeeping requirements. the CHRT and its accompanying software interface are embedded into a fresh batteryless wireless sensing platform, called Botoks, capable of tracking time across power failures. Low start-up time (max 5 ms), high resolution (up to 1 ms) and run-time reconfigurability are the key features of our timekeeping platform. We developed two time-sensitive batteryless applications to demonstrate the approach: a bicycle analytics tool-where the CHRT is used to track time between revolutions of a bicycle wheel, and wireless communication-where the CHRT enables radio synchronization between two intermittently-powered sensors.

关键词： Energy Harvesting timekeeping embedded Sensor Networks

来源：评论

学校读者我要写书评

暂无评论

the Key Role of Memory in Next-Generation embedded systems for Military applications 6th

The Key Role of Memory in Next-Generation Embedded Systems f...

引用

6th international conference in Software Engineering for Defence applications, SEDA 2018

作者： Sañudo, Ignacio Cortimiglia, Paolo Miccio, Luca Solieri, Marco Burgio, Paolo Di Biagio, Christian Felici, Franco Nuzzo, Giovanni Bertogna, Marko Università di Modena e Reggio Emilia Modena Italy MBDA SpA Rome Italy

ISBN: (纸本)9783030146863

With the increasing use of multi-core platforms in safety-related domains, aircraft system integrators and authorities exhibit a concern about the impact of concurrent access to shared-resources in the Worst-Case Execution time (WCET). this paper highlights the need for accurate memory-centric scheduling mechanisms for guaranteeing prioritized memory accesses to real-time safety-related components of the system. We implemented a software technique called cache coloring that demonstrates that isolation at timing and spatial level can be achieved by managing the lines that can be evicted in the cache. In order to show the effectiveness of this technique, the timing properties of a real application are considered as a use case, this application is made of parallel tasks that show different trade-offs between computation and memory loads. © 2020, Springer Nature Switzerland AG.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

Assisting fog-cloud computing with an adaptive traffic awareness resource provisioning algorithm for health data

Assisting fog-cloud computing with an adaptive traffic aware...

引用

Information Technology (OCIT), OITS international conference on

作者： Luina Pani Arijit Dutta Chinmaya Misra Ruben Roy School of Computer Engineering KIIT Deemed to be University Bhubaneswar School of Computer Application KIIT Deemed to be University Bhubaneswar Government College of Engineering and Leather Technology Kolkata

ISBN: (纸本)9781665416658

In current digital age, the Internet of things (IoT) plays a critical role in real-time data perception and computation in order to better manage the system in an automated manner. In this work, we will present the edge computing concept of IoT architecture, which increases the efficiency of complicated application processing and is known as fog computing. the rapid expansion of computing resources may be regarded to improve real-time data capabilities such as detection, capture, collecting, and processing across billions of linked devices and support a range of applications such as smart wearable devices, smart meters, and smart homes. the advancement of big data technologies makes it simpler to process and analyze massive volumes of IoT data. Smart devices continue to confront a number of problems in terms of computational power, memory storage, batteries, and frequency bandwidth, all of which degrade their Quality of Service (QoS) and user activities. Fog-embedded cloud computing is viewed as a computer paradigm that alleviates the fixed resource load for smart equipment by allowing end-users to develop programs with flexible resources at the lowest possible cost in terms of architecture, software, and platforms.

关键词： Wearable computers Software algorithms Quality of service Computer architecture Smart homes real-time systems Software

来源：评论

学校读者我要写书评

暂无评论

Towards Performance Modeling of Speculative Execution for Cloud applications 20

Towards Performance Modeling of Speculative Execution for Cl...

引用

11th ACM/SPEC international conference on Performance Engineering (ICPE)

作者： Nylander, Tommi Ruuskanen, Johan Arzen, Karl-Erik Maggio, Martina Lund Univ Lund Sweden

ISBN: (纸本)9781450371094

Interesting approaches to counteract performance variability within cloud datacenters include sending multiple request clones, either immediately or after a specified waiting time. In this paper we present a performance model of cloud applications that utilize the latter concept, known as speculative execution. We study the popular Join-Shortest-Queue load-balancing strategy under the processor sharing queuing discipline. Utilizing the near-synchronized service property of this setting, we model speculative execution using a simplified synchronized service model. Our model is approximate, but accurate enough to be useful even for high utilization scenarios. Furthermore, the model is valid for any, possibly empirical, inter-arrival and service time distributions. We present preliminary simulation results, showing the promise of our proposed model.

关键词： Cloning Speculative Execution Cloud computing Datacenters

来源：评论

学校读者我要写书评

暂无评论

Cutting the Unnecessary Deadlines in EDF 25

Cutting the Unnecessary Deadlines in EDF

引用

25th IEEE international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Bini, Enrico Univ Turin Turin Italy

ISBN: (纸本)9781728131979

Together with Fixed Priority Scheduling, Earliest Deadline First (EDF) is the second leg on top of which a large portion of the research on real-time systems stands. At the heart of the EDF exact schedulability test, a pivotal role is played by the demand bound function test, which requires to evaluate whether the amount of work required to complete a set of jobs is less than or equal to the amount of time available. Such a test is checked over a set of time instants. In this paper, it is proposed a method that cuts drastically the set of constraints to be checked. Such a method is applicable also to tasks with release offset. Notably, it is proved that such a reduced set of constraints is minimal: it is not possible to reduce the set any further without losing the sufficiency of the test. the code to make this reduction is publicly available on Github.

关键词： real-time systems Earliest Deadline First demand bound function convex hull sensitivity analysis linear programming

来源：评论

学校读者我要写书评

暂无评论

Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking 22

Formal Modeling and Verification of EDCA Based on Probabilis...

引用

22nd IEEE international conference on High Performance computing and Communications, 18th IEEE international conference on Smart City and 6th IEEE international conference on Data Science and systems, HPCC-SmartCity-DSS 2020

作者： Zan, Yixuan Li, Xiaojuan Guan, Yong Wang, Rui Zhang, Jie Capital Normal University College of Information Engineering Beijing China Capital Normal University Beijing Engineering Research Center of High Reliability Embedded System Beijing China Capital Normal University Beijing Advanced Innovation Center for Imaging Theory and Technology Beijing China Capital Normal University Beijing Key Laboratory of Light Industrial Robots and Safety Verification Beijing China Beijing University of Chemical Technology College of Information Science and Technology Beijing China

ISBN: (纸本)9781728176499

Enhanced Distributed Channel Access (EDCA) is a distributed control protocol to guarantee the network quality of service (QoS). It extends the access mode based on the traditional IEEE 802.11, and becomes an effective means to provide highly reliable transmission of real-time applications. the four access categories of it show the ability to guarantee various priority queues when the network load varies frequently, and multimedia data transmission has the characteristics of high real-time and concurrency. therefore, it is necessary to analyse and verify the high reliability of the protocol according to requirements. In this paper, we formalize the EDCA protocol and design three transmission modes respectively. then we verify the probability accessibility and feasibility of EDCA, and find that the higher priority queue with lower parameter value will affect the sending of low priority. More importantly, we compare the performance of Distributed Coordination Function (DCF) in collision probability and transmission probability. Finally, we demonstrate the reliability and practicability of EDCA via detailed properties studies in different network conditions, and propose innovative ideas for existing problems, which provide guidance reference for implementation and improvement. © 2020 IEEE.

关键词： IEEE Standards

来源：评论

学校读者我要写书评

暂无评论

A Robust Network for embedded Traffic Sign Recognition

A Robust Network for Embedded Traffic Sign Recognition

引用

international econference on Computer and Knowledge Engineering (ICCKE)

作者： Omid Nejati Manzari Shahriar Baradaran Shokouhi School of Electrical Engineering Iran University of Science and Technology Tehran Iran

ISBN: (纸本)9781665402095

Traffic sign recognition systems are vital in real-world applications such as auto-driving and safety and driver assistance. While deep neural networks have achieved high accuracy in classifying traffic signs in recent years, there is always the discussion of the high computations of these networks and their many teachable parameters. A significant challenge is to design a compact deep neural network for the application of traffic sign recognition. this paper proposes a network that uses residual blocks in the network to obtain a top-1 accuracy of 99.51 for the German traffic sign recognition benchmark. the number of parameters is ~430,000, which is ~32x fewer than the state-of-the-art. Experiments have been performed to show the network's resistance to destructive factors and its comprehensiveness in the application of traffic sign recognition. these tests show that it is a comprehensive and robust network for the recognition of traffic signs.

关键词： Resistance Knowledge engineering Deep learning Fading channels Databases Neural networks Benchmark testing

来源：评论

学校读者我要写书评

暂无评论

Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation 25

Evaluating Software Diversity in Branch Prediction Analyses ...

引用

25th IEEE international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Fellmuth, Joachim Zell, Jonas Glesner, Sabine Tech Univ Berlin Software & Embedded Syst Engn Berlin Germany Tech Univ Berlin Berlin Germany Tech Univ Berlin Software & Embedded Syst Berlin Germany

ISBN: (纸本)9781728131979

Static worst-case execution time analysis enables to obtain guaranteed timing bounds for programs, which is required for safety-critical hard real-time systems. this comprises micro-architectural analyses that rely on full knowledge of the executed program. An example are current approaches to statically bound the time penalty of mispredicted branches in systems using static or dynamic branch predictors. On the other hand, in artificial software diversity, uncertainty in program aspects is used to render code-reuse attacks useless, making the system considerably more secure. We solve this conflict by proposing adapted static analyses for static and dynamic branch prediction that are able to cope with diversity, and by quantifying the impact of diversity onto the analysis results through extensive evaluation.

关键词： WCET static analysis branch prediction artificial diversity

来源：评论

学校读者我要写书评

暂无评论

EDF-Based Mixed-Criticality Scheduling with Graceful Degradation by Bounded Lateness 25

EDF-Based Mixed-Criticality Scheduling with Graceful Degrada...

引用

25th IEEE international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Yang, Kecheng Guo, Zhishan Texas State Univ San Marcos TX 78666 USA Univ Cent Florida Orlando FL 32816 USA

ISBN: (纸本)9781728131979

Mixed-criticality (MC) scheduling has been proposed for embedded real-time systems to alleviate the dilemma between runtime resource utilization and worst-case temporal guarantees for critical functions. the approach of dropping all low-criticality tasks upon a mode switch has been criticized for potentially over-degraded performance. In this paper, we focus on the graceful degradation for MC scheduling by providing bounded lateness for certain low-critical tasks. We define MCQOS-schedulability that massages the required bounded lateness into the definition of conventional MC-schedulability. A virtual deadline based scheduler (EDF-VDS) is proposed with utilization-based MCQOS-schedulability test and and closed-form lateness bounds.

关键词： real-time systems mixed-criticality scheduling graceful degradation lateness bounds server task

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共321页 << < 62 63 64 65 66 67 68 69 70 71 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：