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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,182 篇 会议
21 册 图书
9 篇 期刊文献

馆藏范围

1,212 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

753 篇 工学
- 577 篇 计算机科学与技术...
- 340 篇 软件工程
- 225 篇 控制科学与工程
- 104 篇 信息与通信工程
- 91 篇 电气工程
- 89 篇 机械工程
- 36 篇 生物工程
- 30 篇 生物医学工程（可授...
- 29 篇 电子科学与技术（可...
- 28 篇 交通运输工程
- 22 篇 动力工程及工程热...
- 21 篇 仪器科学与技术
- 19 篇 安全科学与工程
- 17 篇 光学工程
- 16 篇 力学（可授工学、理...
- 16 篇 化学工程与技术
- 14 篇 航空宇航科学与技...
241 篇 理学
- 155 篇 数学
- 44 篇 生物学
- 43 篇 统计学（可授理学、...
- 40 篇 物理学
- 39 篇 系统科学
- 21 篇 化学
149 篇 管理学
- 111 篇 管理科学与工程(可...
- 57 篇 工商管理
- 55 篇 图书情报与档案管...
25 篇 医学
- 21 篇 临床医学
- 18 篇 基础医学(可授医学...
24 篇 法学
- 22 篇 社会学
19 篇 经济学
- 19 篇 应用经济学
11 篇 教育学
10 篇 农学
1 篇 文学
1 篇 军事学
1 篇 艺术学

主题

65 篇 control systems
37 篇 real-time system...
33 篇 computer science
33 篇 computer archite...
32 篇 mathematical mod...
30 篇 optimization
29 篇 automation
28 篇 computational mo...
27 篇 computer aided s...
26 篇 monitoring
20 篇 process control
19 篇 reinforcement le...
19 篇 protocols
19 篇 hardware
19 篇 artificial intel...
19 篇 multi-agent syst...
18 篇 robots
17 篇 robot sensing sy...
16 篇 access control
16 篇 costs

机构

13 篇 universitatea di...
11 篇 univ politehn bu...
7 篇 computer science...
6 篇 school of comput...
6 篇 univ politehn bu...
5 篇 univ politehn bu...
5 篇 moscow
5 篇 tianjin universi...
5 篇 computer science...
5 篇 state key labora...
5 篇 univ politehn bu...
4 篇 faculty of autom...
4 篇 computer science...
4 篇 school of inform...
4 篇 federal research...
4 篇 univ politehn bu...
3 篇 shanghai jiao to...
3 篇 college of compu...
3 篇 tsinghua univers...
3 篇 department of mi...

作者

5 篇 yang sen
5 篇 nicolae tapus
5 篇 tong jigang
5 篇 dan stefanoiu
5 篇 dong enzeng
5 篇 stefanoiu dan
4 篇 adina magda flor...
4 篇 valeriy vyatkin
4 篇 michal niezabito...
4 篇 alin moldoveanu
4 篇 niezabitowski mi...
4 篇 daniel moga
4 篇 stefan trausan-m...
4 篇 tapus nicolae
4 篇 iulia clitan
4 篇 ye xiaochun
4 篇 vlad muresan
3 篇 minho lee
3 篇 kirichek ruslan
3 篇 octavian cret

语言

1,184 篇 英文
14 篇 其他
14 篇 中文

检索条件"任意字段=20th International Conference on Control Systems and Computer Science, CSCS 2015"

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

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

详细简洁

排序：

Proceedings - 2015 20th international conference on control systems and computer science, cscs 2015

Proceedings - 2015 20th International Conference on Control ...

引用

20th international conference on control systems and computer science, cscs 2015

ISBN: (纸本)9781479917792

the proceedings contain 148 papers. the topics discussed include: linear discrete optimal and Stackelberg control processes with echoes and retroactive future;kinematic similarity of the discrete linear time-varying systems;an approach for stabilized control structure on photovoltaic grids;rigid transformation using interval analysis for robot motion estimation;photovoltaic generators - modeling and control;dynamic control of a walking robot using the versatile intelligent portable robot platform;control of a train of high purity distillation columns for efficient production of 13C isotopes;synthesis of robust PID controller by the maximum stability degree criterion;polynomial RST control for blood pressure regulation;robot manipulator teaching techniques with use of hand gestures;and control loops comparative study based on IR thermal imaging for electrical drives with BLDC PM motors.

关键词： Linear transformations

来源：评论

学校读者我要写书评

暂无评论

Achieving Fairness Generalizability for Learning-based Congestion control with Jury 25

Achieving Fairness Generalizability for Learning-based Conge...

引用

20th European conference on computer systems, EuroSys 2025, co-located 30th ACM international conference on Architectural Support for Programming Languages and Operating systems, ASPLOS 2025

作者： Tian, Han Liao, Xudong Sun, Decang Zeng, Chaoliang Jin, Yilun Zhang, Junxue Wan, Xinchen Wang, Zilong Wang, Yong Chen, Kai University of Science and Technology of China China iSING Lab Hong Kong University of Science and Technology Hong Kong BitIntelligence China

ISBN: (纸本)9798400711961

Internet congestion control (CC) has long posed a challenging control problem in networking systems, with recent approaches increasingly incorporating deep reinforcement learning (DRL) to enhance adaptability and performance. Despite promising, DRL-based CC schemes often suffer from poor fairness, particularly when applied to network environments unseen during training. this paper introduces Jury, a novel DRL-based CC scheme designed to achieve fairness generalizability. At its heart, Jury decouples the fairness control from the principal DRL model with two design elements: i) By transforming network signals, it provides a universal view of network environments among competing flows, and ii) It adopts a post-processing phase to dynamically module the sending rate based on flow bandwidth occupancy estimation, ensuring large flows behave more conservatively and smaller flows more aggressively, thus achieving a fair and balanced bandwidth allocation. We have fully implemented Jury, and extensive evaluations demonstrate its robust convergence properties and high performance across a broad spectrum of both emulated and real-world network conditions. © 2025 Copyright held by the owner/author(s).

关键词： Bandwidth

来源：评论

学校读者我要写书评

暂无评论

ParallelEVM: Operation-Level Concurrent Transaction Execution for EVM-Compatible Blockchains 25

ParallelEVM: Operation-Level Concurrent Transaction Executio...

引用

20th European conference on computer systems, EuroSys 2025, co-located 30th ACM international conference on Architectural Support for Programming Languages and Operating systems, ASPLOS 2025

作者： Lin, Haoran Feng, Hang Zhou, Yajin Wu, Lei Zhejiang University Hangzhou China

ISBN: (纸本)9798400711961

Blockchain systems, especially EVM-compatible ones that serially execute transactions, face a significant limitation in throughput. One promising solution is concurrent transaction execution, which accelerates transaction processing and increases the overall throughput. However, existing concurrency control algorithms fail to obtain adequate speedups in high-contention blockchain workloads, primarily due to their transaction-level conflict resolution strategies. this paper introduces a novel operation-level concurrency control algorithm tailored for blockchains. the crux of our approach is to ensure that only operations depending on conflicts are executed serially, while permitting concurrent execution of the remaining conflict-free operations. In contrast to conventional approaches that either block or abort an entire transaction upon detecting conflicts, our algorithm integrates a redo phase that identifies and re-executes conflicting operations. To facilitate this, we propose the SSA (static single-assignment) operation log, a mechanism to trace operation dependencies, thereby enabling precise conflict identification and efficient re-execution. Our prototype, ParallelEVM, is evaluated using real-world Ethereum blocks. Experimental results show that ParallelEVM achieves an average speedup of 4.28×, a marked improvement over the 2.49× speedup achieved by optimistic concurrency control. © 2025 Copyright held by the owner/author(s).

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

Fork: A Dual Congestion control Loop for Small and Large Flows in Datacenters 25

Fork: A Dual Congestion Control Loop for Small and Large Flo...

引用

20th European conference on computer systems, EuroSys 2025, co-located 30th ACM international conference on Architectural Support for Programming Languages and Operating systems, ASPLOS 2025

作者： Liu, Yuan Li, Wenxin Li, Yulong Suo, Lide Gao, Xuan Xie, Xin Chen, Sheng Fan, Ziqi Qu, Wenyu Liu, Guyue Tianjin Key Laboratory of Advanced Networking Tianjin University China Co. Ltd China Peking University China

ISBN: (纸本)9798400711961

Many existing transport designs aim to deliver ultra-low latency and high bandwidth for applications in high-speed datacenter networks. However, almost all of them intertwine the control of small and large flows using the same control entity (e.g., sender or receiver) and congestion feedback signal (e.g., ECN or credit), thus bringing significant performance impairments. By contrast, we seek to decouple the rate control of small flows from that of large ones. To this end, we present Fork, a new datacenter transport that relies on two parallel control loops. One sender-driven small flow control loop (SCP) runs at the highest priority with a multi-flow ACK clocking mechanism to achieve low latencies for small flows. Another receiver-driven low-priority large flow control loop (LCP) employs two simple yet effective mechanisms: ECN migration and AIMD credit control, to protect small flow transmission while gracefully utilizing the spare bandwidth left by SCP. We have implemented a Fork prototype based on DPDK, and shown, through both testbed experiments and simulations, that compared to Homa and Aeolus, Fork reduces the average FCT of small flows by up to 81.4% and 67.7%, respectively, while maintaining lower FCTs for large flows. © 2025 Copyright held by the owner/author(s).

关键词： Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Introspective Congestion control for Consistent High Performance 25

Introspective Congestion Control for Consistent High Perform...

引用

20th European conference on computer systems, EuroSys 2025, co-located 30th ACM international conference on Architectural Support for Programming Languages and Operating systems, ASPLOS 2025

作者： Jiang, Wanchun Li, Haoyang Wu, Jia Wang, Kai Ren, Fengyuan Wang, Jianxin Central South University China Tsinghua University China

ISBN: (纸本)9798400711961

the congestion control (CC) algorithm is expected to achieve consistent high performance under different network environments. Traditionally, classic CCs are designed with the methodology of inferring path conditions to guide the rate adjustment. However, this methodology suffers from wrong path condition inferences in certain cases, which mislead the rate adjustment and lead to performance degradation. To avoid wrong path condition inferences, we develop the projection-based introspective method and design the introspective congestion control (ICC) algorithm in this paper. Specifically, the rate adjustment rules are designed to possess a specialized profile such that the projection of the profile can be distinguished under unchanged path conditions. In this way, the projection, which can be distinguished from the time series of delay signals in the frequency domain, facilitates ICC to extract more information for path condition inferences. Consequently, with the introspection on the projection, ICC can avoid being misled by wrong path condition inferences and thus achieve consistent high performance under different conditions. the advantages of ICC are confirmed through extensive experiments conducted on various locally emulated scenarios, global testbeds over the Internet, and the Alipay platform. © 2025 Copyright held by the owner/author(s).

关键词： Congestion control (communication)

来源：评论

学校读者我要写书评

暂无评论

Deft: A Scalable Tree Index for Disaggregated Memory 25

Deft: A Scalable Tree Index for Disaggregated Memory

引用

20th European conference on computer systems, EuroSys 2025, co-located 30th ACM international conference on Architectural Support for Programming Languages and Operating systems, ASPLOS 2025

作者： Wang, Jing Wang, Qing Zhang, Yuhao Shu, Jiwu Tsinghua University Beijing China

ISBN: (纸本)9798400711961

Memory disaggregation has become an inexorable trend in data centers and the cloud. By physically separating compute and memory resources into independent pools and connecting them with high-speed networks, memory disaggregation enables high resource utilization and elastic resource scaling. However, traditional tree-based indexes become inefficient on disaggregated memory: (1) large tree nodes can easily saturate network bandwidth due to I/O amplification, yet small tree nodes increase network round trips;(2) expensive concurrency control schemes restrict the scalability. We present Deft, a tree-based index for disaggregated memory that delivers high throughput and scalability. Deft 1) introduces segmented internal nodes and hash-based leaf nodes for fine-grained access patterns to achieve low I/O amplification without increasing the index height;2) proposes a scalable write-write concurrency control scheme on top of the tailored node structure with a one-sided shared-exclusive lock, improving scalability for concurrent update and insert operations;3) proposes a lightweight and correct read-write concurrency control scheme, improving scalability for efficient lock-free search operations. Our experimental results demonstrate that Deft achieves high performance and scalability on disaggregated memory, and outperforms state-of-the-art ordered indexes by 2.4-9.5× under various workloads. © 2025 Copyright held by the owner/author(s).

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

LOFT: A Lock-free and Adaptive Learned Index with High Scalability for Dynamic Workloads 25

LOFT: A Lock-free and Adaptive Learned Index with High Scala...

引用

20th European conference on computer systems, EuroSys 2025, co-located 30th ACM international conference on Architectural Support for Programming Languages and Operating systems, ASPLOS 2025

作者： Mo, Yuxuan Hua, Yu Wuhan National Laboratory for Optoelectronics School of Computer Huazhong University of Science and Technology China

ISBN: (纸本)9798400711961

In order to mitigate memory overheads and reduce data movements in the critical path, a computational and space-efficient learned index is promising to deliver high performance and complement traditional index structures, which unfortunately works well only in static workloads. In dynamic workloads, the learned indexes incur performance degradation with poor scalability due to inefficient data placement for newly inserted items and intensive lock contention. Furthermore, the model retraining is time-consuming and blocking, which hampers the performance of index operations. In order to meet the needs of dynamic workloads and efficient retraining, we propose LOFT, a highly scalable and adaptive learned index with lock-free design and self-tuning retraining technique to provide high throughput and low latency. LOFT enables all index operations to be concurrently executed in a lock-free manner by using Compare- and-Swap (CAS) primitive and an expanded learned bucket to handle the overflowed data. To minimize the impact of model retraining, LOFT leverages a shadow node to serve the clients’ requests and accelerates the retraining process with the aid of index operations. To accommodate dynamic workloads, LOFT determines when and how to perform retraining based on inferred access patterns. Our extensive evaluation on YCSB and real-world workloads demonstrates that LOFT effectively improves the performance by up to 14× than state-of-the-art designs. © 2025 Copyright held by the owner/author(s).

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

Securing Virtual Reality Apps Inter-process Communication 20th

Securing Virtual Reality Apps Inter-process Communication

引用

20th international conference on Information systems Security

作者： Falebita, Oluwatosin Abdelgawad, Mahmoud Anspach, Evan Ray, Indrakshi Colorado State Univ Dept Comp Sci Ft Collins CO 80523 USA

ISBN: (纸本)9783031800191;9783031800207

As Virtual Reality (VR) technology continues to gain widespread adoption, concerns about cybersecurity threats in immersive environments are mounting. Inter-process communication (IPC) is prevalent in operating systems that power VR devices, allowing applications to interact. While facilitating interaction between apps, the IPC presents a significant risk, as malicious apps can exploit it to attack other apps. this vulnerability is rooted in the inherent security architecture and design implementations of these operating systems. this paper addresses IPC security by proposing a fine-grained security model that employs the NIST Next Generation Access control (NGAC). It focuses on the Android environment to safeguard the IPC and secure the apps' interaction. this security model strengthens VR systems' defensive capabilities and ensures the safety of users' digital experiences. the security model is designed as an NGAC gateway that is adaptable at the kernel level and portable to various operating system architectures. this NGAC gateway fortifies Android-based VR devices and assures the consumer VR market. Such a security model is required for the VR security domain and will be transformative for the VR industry.

关键词： Virtual Reality Inter Process Communication Next Generation Access control (NGAC) Virtual Reality Apps Intent Attacks Secure App Inter-Communication

来源：评论

学校读者我要写书评

暂无评论

Enabling Autonomy through Voice control: AI-Assisted Mobile Platform 20th

Enabling Autonomy Through Voice Control: AI-Assisted Mobile ...

引用

20th EAI international conference on computer science and Education in computer science, CSECS 2024

作者： Balcheva, Ivelina Gorbounov, Yassen New Bulgarian University Sofia Bulgaria

ISBN: (纸本)9783031843112

the rapid development of the technological sector and the need to automate a wide range of human-aiding activities defines the development and research of autonomous mobile platforms as an increasingly urgent problem. At the same time, artificial intelligence plays the role of an innovative catalyst that increases the functionality, efficiency and convenience of mobile platforms, making them more intelligent and adaptive. the present paper focuses on the study of an autonomous mobile platform that uses voice control and artificial intelligence techniques for effective object recognition in the environment. this platform aims to improve the functionality of robotic systems, providing a more intuitive way to communicate and control. the research combines theoretical analysis, simulation modeling, software algorithm development, and experimental testing. the development process includes studying existing voice recognition and artificial intelligence methods, as well as their applications in the field of autonomous systems. Improving human-machine communication and decision-making processes facilitates the implementation of voice-assisted control. the proposed approach can find application in the improvement of robotic home assistants, in the control of mobile robots in dangerous or hard-to-reach environments, in the construction of remote laboratories, as well as in a number of other fields of technology. © ICST Institute for computer sciences, Social Informatics and Telecommunications Engineering 2025.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Marlin: Enabling High-throughput Congestion control Testing in Large-Scale Networks 25

Marlin: Enabling High-Throughput Congestion Control Testing ...

引用

20th European conference on computer systems, EuroSys 2025, co-located 30th ACM international conference on Architectural Support for Programming Languages and Operating systems, ASPLOS 2025

作者： Chen, Yanqing Wang, Li Wang, Jingzhi Liu, Songyue He, Keqiang Wang, Jian Wang, Xiaoliang Dou, Wanchun Chen, Guihai Tian, Chen State Key Laboratory for Novel Software Technology Nanjing University China School of Electronic Science and Engineering Nanjing University China Shanghai Jiao Tong University China

ISBN: (纸本)9798400711961

Cloud providers require high-throughput traffic to test the effectiveness of congestion control (CC) configurations (i.e., CC algorithm selection and their parameter settings) in networks. A network tester capable of evaluating CC configurations needs to fulfill the following requirements: (R1) Capable of generating traffic with CC behaviors. (R2) Ability to customize CC algorithms. (R3) High throughput CC traffic generation. However, existing network testers fail to meet these requirements simultaneously. the paper presents Marlin, a novel high-throughput network tester designed for CC evaluation. Marlin leverages a high-throughput, low-programmability device to amplify the traffic generated by a low-throughput, high-programmability device. the low-throughput device is responsible for complex computational tasks, such as running CC and flow scheduling algorithms, and communicates with the high-throughput device at a high frequency using small packets to instruct it to generate high-throughput traffic with CC behaviors. this hybrid approach allows for customizable, high-throughput CC testing. Our experiments demonstrate that Marlin can accurately emulate CC behaviors and replicate real-world scenarios. Marlin can generate 1.2 Tbps of CC traffic using a single programmable switch pipeline and one 100 Gbps port of an FPGA NIC, supporting up to 65,536 concurrent flows. © 2025 Copyright held by the owner/author(s).

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：