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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,989 篇 会议
32 篇 期刊文献

馆藏范围

2,021 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,268 篇 工学
- 1,122 篇 计算机科学与技术...
- 546 篇 软件工程
- 495 篇 电气工程
- 185 篇 控制科学与工程
- 151 篇 信息与通信工程
- 58 篇 电子科学与技术（可...
- 53 篇 动力工程及工程热...
- 37 篇 机械工程
- 31 篇 仪器科学与技术
- 22 篇 生物工程
- 22 篇 安全科学与工程
- 16 篇 光学工程
- 16 篇 交通运输工程
- 16 篇 生物医学工程（可授...
- 12 篇 网络空间安全
- 10 篇 航空宇航科学与技...
- 9 篇 力学（可授工学、理...
- 8 篇 建筑学
177 篇 管理学
- 154 篇 管理科学与工程(可...
- 83 篇 工商管理
- 37 篇 图书情报与档案管...
153 篇 理学
- 83 篇 数学
- 31 篇 系统科学
- 30 篇 物理学
- 25 篇 生物学
- 19 篇 统计学（可授理学、...
- 12 篇 化学
19 篇 医学
- 17 篇 临床医学
- 9 篇 基础医学(可授医学...
11 篇 经济学
- 11 篇 应用经济学
7 篇 法学
4 篇 农学
3 篇 军事学
2 篇 教育学
1 篇 文学

主题

429 篇 real time system...
319 篇 real-time system...
180 篇 embedded systems
137 篇 processor schedu...
105 篇 timing
103 篇 embedded system
101 篇 hardware
90 篇 computational mo...
82 篇 embedded computi...
73 篇 computer archite...
72 篇 resource managem...
68 篇 protocols
68 篇 delay
62 篇 scheduling algor...
62 篇 energy consumpti...
61 篇 program processo...
59 篇 computer science
58 篇 scheduling
57 篇 control systems
56 篇 application soft...

机构

9 篇 department of co...
8 篇 college of compu...
8 篇 city university ...
7 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 malardalen univ ...
6 篇 uppsala universi...
6 篇 department of co...
6 篇 mälardalen unive...
5 篇 department of co...
5 篇 chongqing univ c...
5 篇 mälardalen real-...
5 篇 northeastern uni...
5 篇 ieee
5 篇 information and ...
5 篇 department of co...
5 篇 scuola super san...
5 篇 department of co...
5 篇 malardalen univ ...

作者

16 篇 thomas nolte
16 篇 nolte thomas
12 篇 jian-jia chen
12 篇 anderson james h...
11 篇 tei-wei kuo
11 篇 james h. anderso...
10 篇 nakajima tatsuo
10 篇 chen jian-jia
9 篇 nobuyuki yamasak...
8 篇 tovar eduardo
8 篇 chun jason xue
8 篇 nan guan
7 篇 shinpei kato
7 篇 kato shinpei
7 篇 dakai zhu
7 篇 kuo tei-wei
7 篇 xue chun jason
7 篇 tatsuo nakajima
7 篇 cheng albert m. ...
6 篇 bril reinder j.

语言

2,011 篇 英文
8 篇 其他
2 篇 中文

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

共 2021 条记录，以下是71-80 订阅

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

详细简洁

排序：

Transaction Data Management Optimization Based on Multi-Partitioning in Blockchain systems 21

Transaction Data Management Optimization Based on Multi-Part...

引用

21st ieee international Symposium on Parallel and Distributed Processing with applications, 13th ieee international conference on Big Data and Cloud computing, 16th ieee international conference on Social computing and Networking and 13th international conference on Sustainable computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2023

作者： Zhang, Jingyu Hou, Xingxing Teng, Yilong Luo, Lailong Changsha University of Science and Technology School of Computer and Communication Engineering Changsha China National University of Defense Technology Science and Technology on Information Systems Engineering Laboratory School of Systems Engineering Changsha China

ISBN: (纸本)9798350329223

Unspent Transaction Output (UTXO) is part of the transaction data set, which represents the digital cryptocurrency asset in transaction-based blockchain systems. the data management capability, storage method and occupied space of UTXOs will greatly affect the running efficiency and the verification performance of blockchain systems. Especially, with the popularity of blockchain technology, the relevant UTXO data sets have been growing, and all the stored data can no longer be almost completely stored in memory. How should the UTXO transaction data be stored and managed at this time, it is an urgent issue to be solved in bitcoin-like blockchain systems. this paper provides a blockchain transaction data management optimization mechanism based on multi-partitioning. First, we analyze the influencing factors of transactions through real blockchain data. the proposed method can evaluate the time interval and transaction frequency factors, and use the received information to realize the efficient transaction data storage. In our design, UTXOs with lower likelihood to be used in new transactions will be stored in the disk, and the other UTXOs with higher likelihood to be used in new generated transactions should be stored in the cache. this approach aims to minimize memory consumption for the transaction data sets, accelerate UTXO access time during block verification, and ultimately decrease the overall time required for verification, leading to efficient UTXO transaction data management. Finally, the effectiveness of the proposed optimization mechanism is verified through theoretical analysis and simulation experiments, and the UXTO access time has been reduced compared with state-of-the-art methods. © 2023 ieee.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

A Robot Arm-based Haptic Feedback System for Augmented reality applications 29

A Robot Arm-based Haptic Feedback System for Augmented Reali...

引用

29th ieee international conference on embedded and real-time computing systems and applications, RTCSA 2023

作者： Watanabe, Daichi Al-Sada, Mohammed Fuchino, Kodai Nakajima, Tatsuo Waseda University Department of Computer Science and Engineering Tokyo Japan Qatar University Department of Computer Science and Engineering Doha Qatar

ISBN: (纸本)9798350337860

Recent advances in Augmented and Virtual reality show that they will play a critical role in our daily lives. However, interaction in such virtual environments is challenging as digital contents cannot be physically felt. Although numerous researchers proposed different methods to achieve haptic feedback, most implementations are cumbersome and unsuitable for daily use. Accordingly, we developed a wearable robotic appendage that can provide various types of haptic feedback in AR. Our system comprises a 4 DoF robot worn on the user's forearm and equipped with a square end-effector. We demonstrate potential applications of our system for providing haptic experiences with UI's in AR and conduct a preliminary evaluation to explore users' impressions of our robotic appendage. Overall, the system is well-received by participants, yet they indicated challenges in weight and hand-tracking. Lastly, we discuss future research directions in light of the design and evaluation of our system. © 2023 ieee.

关键词： Augmented reality

来源：评论

学校读者我要写书评

暂无评论

Software and Hardware Processing Method for Blockchain Light Node SPV Verification 21

Software and Hardware Processing Method for Blockchain Light...

引用

作者： Ma, Zhan'Gang Yan, Jiandong Zou, Feng Cao, Xixin Peking University School of Software and Microelectronics Dept. Integrated Circuits and Intelligent Systems Beijing China Ruiyuan Venture Capital Co. Ltd. Changzhou Zhonglou Jinlong Holding Group Dept. Development Planning and Strategic Inverstment Changzhou China

ISBN: (纸本)9798350329223

With the application of blockchain light nodes in embedded devices, how to alleviate computing pressure brought by complex operations such as transaction's SPV Verification for CPU of embedded devices and improve the performance of devices in these aspects has gradually become a research topic in industry and academia. this paper proposes a series of methods to improve the performance of blockchain SPV Verification from the perspectives of system architecture and hash computing unit: (1) According to the computational characteristics of SPV Verification, this paper customizes macro instructions and microinstructions for the coprocessor to meet the requirements of flexibility;the built-in dedicated cache holds transaction data fetched from external memory and intermediate data generated by internal Hash computing Unit, which not only prepares transaction data for hash computation, but also avoids frequent access to the bus and external memory. (2) Techniques like two-round unfolded computing, timing-balanced pipeline architecture and optimized adders are adopted to improve the performance of SHA256 computation. (3) When double hash computing is required for transactions, Hash computing Unit can directly perform the second hash computation based on the first hash computation, reducing the frequency of accessing to external memory, thereby improving the performance to a certain extent. through these methods, the performance of the hardware coprocessor for SVP verification of transactions is more than double that of traditional solutions. © 2023 ieee.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based systems 29

TEEVseL4: Trusted Execution Environment for Virtualized seL4...

引用

29th ieee international conference on embedded and real-time computing systems and applications, RTCSA 2023

作者： Blazevic, Borna Peter, Michael Hamad, Mohammad Steinhorst, Sebastian Technical University of Munich Department of Computer Engineering Germany NIO GmbH Germany

ISBN: (纸本)9798350337860

the growing computing power of embedded systems has led to an increase in the use of general-purpose Operating systems (OSs) such as Linux. However, the substantial attack surface arising from their complexity makes them unsuitable for safety and security-critical use cases. Addressing this issue requires isolating the security-critical functionalities into separate execution environments and protecting them from the untrusted OS. Arm TrustZone applies this approach by providing hardware-based partitioning of the system into a secure and non-secure world, facilitating a Trusted Execution environment for the protection of security-critical functionality in the secure world. TrustZone, however, falls short when dealing with systems that virtualize multiple operating systems. Another approach to isolate functionality is employing a microkernel, such as the formally proven correct seL4 kernel, especially if it also offers virtualization functions. While current seL4-based virtualization systems offer good security and safety properties, they do not provide TrustZone-compatible security services to their virtualized guests. In this paper, we propose TEEVseL4, a TrustZone-compatible virtualization system leveraging the strengths of the seL4 microkernel, that can provide security services to the Linux guests based on the dynamic, scalable and flexible Trusted computing Base of an seL4 system. A high-level performance benchmarking shows that TEEVseL4 can provide security services with acceptable overheads (less than 20%) when compared to a native TrustZone system, making it an attractive option for platforms with multiple, mutually-distrustful virtualized guests. © 2023 ieee.

关键词： Virtualization

来源：评论

学校读者我要写书评

暂无评论

引用

13th ieee international conference on Cloud Networking, CloudNet 2024

作者： Antunes, Hugo Cruz, Pedro Couto, Rodrigo S. Costa, Luis Henrique M. K. Universidade Federal Do Rio de Janeiro - PEE/COPPE/GTA RJ Rio de Janeiro Brazil

ISBN: (纸本)9798350376562

real-time object detection is a recurring challenge in the field of computer vision. It is an important task for many real-time applications, such as trespassing detection or autonomous driving. However, real-time processing requires high computational power, increasing the latency of object detection. Delays can be a critical problem for constrained real-time applications running on the edge, such as advanced driving assistance. therefore, this work proposes a method, called Lightweight Pixel Difference Accumulation (LWPDA), to reduce the processing effort by frames which are similar to recently processed ones. To do this, frames are compared in order to estimate their similarity. In this work, we compare our method against five different one: Mean Squared Error (MSE), Structural Similarity Index Measure (SSIM), ImageHash and Histogram comparison. Our results show that two of the methods stand out: ImageHash and LWPDA. the first one was able to reduce the processing time per frame by approximately 35%, at the cost of 13% accuracy, while LWPDA reduced processing by 40%, at the same cost of 13% accuracy. © 2024 ieee.

关键词： Advanced driver assistance systems

来源：评论

学校读者我要写书评

暂无评论

Parameterized Workload Adaptation for Fork-Join Tasks with Dynamic Workloads and Deadlines 29

Parameterized Workload Adaptation for Fork-Join Tasks with D...

引用

29th ieee international conference on embedded and real-time computing systems and applications, RTCSA 2023

作者： Sudvarg, Marion Buhler, Jeremy Chamberlain, Roger D. Gill, Chris Buckley, Jim Chen, Wenlei Washington University in St. Louis United States University of Minnesota Twin Cities United States

ISBN: (纸本)9798350337860

Many real-time systems run in dynamic environments where exogenous factors inform task workloads and deadlines, which may not be known prior to job release. A job of a task that would otherwise miss its deadline may adapt to remain schedulable by executing in a degraded state that reduces its workload. We suggest that such a task should adjust parameters of its computation over multiple dimensions to maintain schedulability while minimizing loss of utility, which we discuss for highly parallel fork-join tasks executing on a fixed number of dedicated processors. We identify the parameterized degrees of freedom over which workload can be adjusted, then characterize the impact of workload reduction on response time and utility. From this, we generate a Pareto-optimal surface over which efficient search, interpolation, and extrapolation enable online selection of task parameters at time of job release. We apply this approach to the Advanced Particle-astrophysics Telescope, a planned mission to perform real-time gamma-ray burst (GRB) localization using SWaP-constrained embedded hardware aboard an orbiting platform. Due to GRBs' dynamic and uncertain nature, the workload and deadline may not be known prior to job release. Nonetheless, even for bright GRBs that may otherwise take longer than a second to localize on candidate embedded hardware, our approach often enables sub-degree accuracy while meeting a 33 ms imposed deadline. © 2023 ieee.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

Design of a Power-Efficient Static Random Access Memory Cell with Enhanced Stability for Internet of things applications 13

Design of a Power-Efficient Static Random Access Memory Cell...

引用

13th ieee international conference on Communication systems and Network Technologies, CSNT 2024

作者： Sharma, Atharv Kahol, Venushree Sachdeva, Ashish Chitkara University Institute of Engineering and Technology Chitkara University Department of Ece Punjab India

ISBN: (纸本)9798350305463

In today's tech-driven era, where the need for swift data processing is paramount, memory emerges as a critical component, playing a key role in ensuring the high speed functionality of modern devices across diverse applications. From IoT devices and embedded systems to networking applications, SRAM (static random access memory) plays a pivotal role across a multitude of domains, illustrating its versatile and widespread use in diverse technological fields. In all these domains, high-speed processing is essential, underscoring the critical need for efficiently storing and swiftly accessing digital information. In this work, a bit-line enabled IT SRAM cell (BLE10T), designed for low power consumption is presented, that also shows improved access time and Static Noise Margin (SNM). the efficacy of low power BLE10T SRAM cell is also compared with conventional 6T SRAM cell. Comparing the BLE10T SRAM cell with the conventional 6T SRAM cell shows that the low power BLE10T SRAM cell consumes 1.52×, 1.05× and 2.35× times less power during hold, read and write operation. Moreover, it is 1.67× times faster during read operation and 1.15× times faster during write operation. the static noise margin during hold, read and write operation is improved by 1.01× 1.94× and 1.05× respectively, compared to conventional 6T bit-cell. the BLE10T cell and conventional 6T cell are simulated at 45nm technology node using cadence virtuoso simulator. © 2024 ieee.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Reducing Response-time Bounds via Global Fixed Preemption Point EDF-Like Scheduling 29

Reducing Response-Time Bounds via Global Fixed Preemption Po...

引用

29th ieee international conference on embedded and real-time computing systems and applications, RTCSA 2023

作者： Goh, Joseph Anderson, James H. University of North Carolina at Chapel Hill Department of Computer Science Chapel Hill United States

ISBN: (纸本)9798350337860

the fixed preemption point (FPP) model has been studied as an alternative to fully preemptive and non-preemptive models, as restricting preemptions to specific, predictable locations within a task's execution can simplify overhead analysis without disallowing preemptions entirely. Prior work has produced response-time analyses for global Earliest Deadline First (G-EDF) scheduling under the FPP model. However, scheduling decisions based solely on task deadlines may be too coarse-grained and may not lead to the lowest response times. In this paper, we propose global FPP EDF-like (G-FPP-EL) scheduling, which assigns a priority point in time for each non-preemptive region of a task. We adapt compliant-vector analysis (CVA) to our model and present general response-time bounds for G-FPP-EL schedulers. We then demonstrate that it is possible to design G-FPP-EL schedulers acheiving response-time bounds optimal under CVA and argue that such schedulers should replace global FPP EDF. © 2023 ieee.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties 28

Statistical Hypothesis Testing of Controller Implementations...

引用

28th ieee international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Ghosh, Bineet Hobbs, Clara Xu, Shengjie Duggirala, Parasara Sridhar Anderson, James H. thiagarajan, P. S. Chakraborty, Samarjit Univ N Carolina Chapel Hill NC 27515 USA Chennai Math Inst Chennai Tamil Nadu India

ISBN: (数字)9781665453448

ISBN: (纸本)9781665453448

Software in autonomous systems, owing to performance requirements, is deployed on heterogeneous hardware comprising task specific accelerators, graphical processing units, and multicore processors. But performing timing analysis for safety critical control software tasks with such heterogeneous hardware is becoming increasingly challenging. Consequently. a number of recent papers have addressed the problem of stability analysis of feedback control loops in the presence of timing uncertainties (cf., deadline misses). In this paper, we address a different class of safety properties, viz., whether the system trajectory deviates too much from the nominal trajectory, with the latter computed for the ideal timing behavior. Verifying such quantitative safety properties involves performing a reachability analysis that is computationally intractable, or is too conservative. To alleviate these problems we propose to provide statistical guarantees over behavior of control systems with timing uncertainties. More specifically, we present a Bayesian hypothesis testing method based on Jeffreys's Bayes factor test that estimates deviations from a nominal or ideal behavior. We show that our analysis can provide, with high confidence, tighter estimates of the deviation from nominal behavior than using known reachability based methods. We also illustrate the scalability of our techniques by obtaining bounds in cases where reachability analysis fails to converge, thereby establishing the former's practicality.

关键词： Control reachability real-time systems safety weakly-hard systems statistical hypothesis testing

来源：评论

学校读者我要写书评

暂无评论

Application of Event-based Cloud NMPC with time Delay Compensation 7

Application of Event-based Cloud NMPC with Time Delay Compen...

引用

ieee 7th international conference on Industrial Cyber-Physical systems (ICPS)

作者： Surjana, Alvin Immanuel Ahle, Elmar Soeffker, Dirk Univ Appl Sci Niederrhein Elect Engn & Comp Sci Krefeld Germany Univ Duisburg Essen Dynam & Control Duisburg Germany

ISBN: (纸本)9798350363029;9798350363012

the increasing availability of cloud computing services has revolutionized industrial productivity by providing essential tools for data storage, data transfer, and computation. In a cloud-based control system (CCS), the controller is located in the cloud, thereby enabling complex computation processes such as nonlinear model predictive control (NMPC). Using cloud computing, expensive control algorithms can be deployed without the upfront cost of a local computing unit. the computation time can be drastically reduced due to the improved computing power, which is important in the case of systems with fast dynamics in combination with NMPC-based control to maintain the existing time step size with regard to the calculation time. Placing the controller in the cloud also introduces communication latency in the control loop. It has been highlighted in former studies that computation time and communication latency can reduce the reliability and stability of a CCS. this paper proposes a cloud-based model predictive control strategy that extends simple time delay compensation with event-based control to reduce the effect of computation and communication delays. the optimal input variable sequence is used until a new sequence is available. this event-based method reduces the amount of communication and redundant calculations. the developed CCS algorithm is implemented in the real-time control of an experimental pendulum crane system. the effects of the proposed algorithm in mitigating computation and communication delay are compared to another CCS strategy that only uses the first element of the sequence.

关键词： Cloud-based Control System Nonlinear MPC Control theory and applications Event-based Control

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共203页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：