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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

10,310 篇 会议
252 篇 期刊文献
187 册 图书
2 篇 学位论文

馆藏范围

10,751 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

4,861 篇 工学
- 4,309 篇 计算机科学与技术...
- 3,041 篇 软件工程
- 722 篇 电气工程
- 684 篇 信息与通信工程
- 521 篇 控制科学与工程
- 375 篇 电子科学与技术（可...
- 162 篇 机械工程
- 147 篇 动力工程及工程热...
- 98 篇 网络空间安全
- 97 篇 生物工程
- 91 篇 安全科学与工程
- 86 篇 仪器科学与技术
- 79 篇 建筑学
- 71 篇 土木工程
- 71 篇 生物医学工程（可授...
- 64 篇 化学工程与技术
- 57 篇 材料科学与工程（可...
- 54 篇 力学（可授工学、理...
- 54 篇 光学工程
1,331 篇 理学
- 955 篇 数学
- 213 篇 系统科学
- 163 篇 统计学（可授理学、...
- 156 篇 物理学
- 120 篇 生物学
- 67 篇 化学
1,047 篇 管理学
- 827 篇 管理科学与工程(可...
- 409 篇 工商管理
- 253 篇 图书情报与档案管...
120 篇 经济学
- 120 篇 应用经济学
71 篇 法学
- 58 篇 社会学
45 篇 教育学
40 篇 医学
26 篇 农学
14 篇 文学
9 篇 军事学
2 篇 艺术学

主题

1,688 篇 application soft...
899 篇 distributed comp...
876 篇 computer archite...
873 篇 computer science
849 篇 hardware
728 篇 concurrent compu...
668 篇 parallel process...
559 篇 software enginee...
559 篇 computational mo...
446 篇 real time system...
345 篇 runtime
326 篇 costs
324 篇 software systems
319 篇 processor schedu...
317 篇 fault tolerance
315 篇 resource managem...
292 篇 software
289 篇 operating system...
287 篇 scalability
283 篇 bandwidth

机构

35 篇 school of comput...
23 篇 ibm thomas j. wa...
22 篇 department of co...
21 篇 school of softwa...
20 篇 college of compu...
20 篇 school of electr...
19 篇 state key labora...
19 篇 department of el...
19 篇 department of co...
18 篇 department of co...
16 篇 school of comput...
15 篇 department of el...
15 篇 department of co...
15 篇 department of co...
15 篇 department of co...
14 篇 department of el...
14 篇 beijing jiaotong...
13 篇 department of co...
13 篇 school of comput...
13 篇 institute of inf...

作者

20 篇 m. takizawa
20 篇 rajkumar buyya
20 篇 k.h. kim
18 篇 dhabaleswar k. p...
18 篇 jack dongarra
17 篇 m. kandemir
17 篇 h.j. siegel
16 篇 a. choudhary
14 篇 m. parashar
14 篇 howard jay siege...
13 篇 l.r. welch
13 篇 parashar manish
13 篇 gao guang r.
12 篇 dongarra jack
12 篇 h. casanova
12 篇 hari subramoni
12 篇 welch lonnie r.
12 篇 xiao qin
12 篇 maciejewski anth...
11 篇 jun wang

语言

10,619 篇 英文
96 篇 其他
34 篇 中文
1 篇 西班牙文
1 篇 法文
1 篇 葡萄牙文

检索条件"任意字段=International Symposium on Software Engineering for Parallel and Distributed Systems"

共 10751 条记录，以下是631-640 订阅

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

详细简洁

排序：

PPOIJ: Shared-Nothing parallel Patterns for Efficient Online Interval Joins over Data Streams 25

PPOIJ: Shared-Nothing Parallel Patterns for Efficient Online...

引用

Proceedings of the 19th ACM international Conference on distributed and Event-based systems

作者： Gabriele Mencagli Yuriy Rymarchuk Dalvan Griebler Computer Science University of Pisa Pisa Italy School of Technology Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) Porto Alegre Brazil

来源：评论

学校读者我要写书评

暂无评论

distributed On-Demand Deployment for Transparent Access to 5G Edge Computing Services

Distributed On-Demand Deployment for Transparent Access to 5...

引用

IEEE international symposium on parallel and distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Josef Hammer Hermann Hellwagner Institute of Information Technology Alpen-Adria-Universität Klagenfurt Austria

Multi-access Edge Computing (MEC) is a central piece of 5G telecommunication systems and is essential to satisfy the challenging low-latency demands of future applications. MEC provides a cloud computing platform at the edge of the radio access network. Our previous publications argue that edge computing should be transparent to clients, leveraging software-Defined Networking (SDN). While we introduced a solution to implement such a transparent approach, one question remained: How to handle user requests to a service that is not yet running in a nearby edge cluster? One advantage of the transparent edge is that one could process the initial request in the cloud. However, this paper argues that on-demand deployment might be fast enough for many services, even for the first request. We present an SDN controller that automatically deploys an application container in a nearby edge cluster if no instance is running yet. In the meantime, the user’s request is forwarded to another (nearby) edge cluster or kept waiting to be forwarded immediately to the newly instantiated instance. Our performance evaluations on a real edge/fog testbed show that the waiting time for the initial request – e.g., for annginx-based service – can be as low as 0.5 seconds – satisfactory for many applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Scalable adaptive algorithms for next-generation multiphase flow simulations

Scalable adaptive algorithms for next-generation multiphase ...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Kumar Saurabh Masado Ishii Makrand A. Khanwale Hari Sundar Baskar Ganapathysubramanian Department of Mechanical Engineering Iowa State University USA School of Computing University of Utah USA Center for Turbulence Research Stanford University USA

High-fidelity flow simulations are indispensable when analyzing systems exhibiting multiphase flow phenomena. The accuracy of multiphase flow simulations is strongly contingent upon the finest mesh resolution used to represent the fluid-fluid interfaces. However, the increased resolution comes at a higher computational cost. In this work, we propose algorithmic advances that aim to reduce the computational cost without compromising on the physics by selectively detecting key regions of interest (droplets/filaments) that require significantly higher resolution. The framework uses an adaptive octree–based meshing framework that is integrated with PETSc’s linear algebra solvers. We demonstrate scaling of the framework up to 114,688 processes on TACC’s Frontera. Finally, we deploy the framework to simulate one of the most resolved simulations of primary jet atomization. This simulation – equivalent to 35 trillion grid points on a uniform grid – is 64× larger than current state–of–the–art simulations and provides unprecedented insights into an important flow physics problem with a diverse array of engineering applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and evaluation of update schemes to optimize asynchronous Cellular Automata with random or cyclic orders 25

Design and evaluation of update schemes to optimize asynchro...

引用

25th IEEE/ACM international symposium on distributed Simulation and Real Time Applications (DS-RT)

作者： Li, Junjiang Koster, Till Giabbanelli, Philippe J. Miami Univ Dept Comp Sci & Software Engn Oxford OH 45056 USA Univ Rostock Inst Visual & Analyt Comp Rostock Germany

ISBN: (纸本)9781665433266

Cellular Automata (CA) remain actively used to model phenomena as diverse as crowd evacuation, urban planning, or tumors. In their simplest form, CA use a synchronous approach such that cells are updated all together. This perfectly synchronous update has been criticized for lack of realism, as it produces outcomes that may not be obtained with less synchronization. Consequently, CA may use an asynchronous update to overcome some of these artifacts. While numerous works have shown how to scale CA models by parallelizing their synchronous updates, a paucity of research has explored the asynchronous case. We present and empirically evaluate algorithms for efficient parallel executions of two types of asynchronous updates: random order and cyclic order. Our algorithms select random orderings that suit parallel execution and are therefore approximate in nature. Our results suggest that they can effectively leverage parallelism while keeping results well aligned with the sequential baseline implementation.

关键词： Program processors Scalability Urban planning Automata Approximation algorithms Data models Real-time systems

来源：评论

学校读者我要写书评

暂无评论

16th international symposium on Theoretical Aspects of software engineering, TASE 2022

16th International Symposium on Theoretical Aspects of Softw...

引用

16th international symposium on Theoretical Aspects of software engineering, TASE 2022

ISBN: (纸本)9783031103629

The proceedings contain 27 papers. The special focus in this conference is on Theoretical Aspects of software engineering. The topics include: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences;improving Adversarial Robustness of Deep Neural Networks via Linear Programming;consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach;a Language-Based Causal Model for Safety;complexity of distributed Petri Net Synthesis;Development of Monitoring systems for Anomaly Detection Using ASTD Specifications;Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications;dynamic Environment Simulation for Database Performance Evaluation;dynamic Specification Mining Based on Transformer;Testing Vehicle-Mounted systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs;optimizing Trans-Compilers in Runtime Verification Makes Sense – Sometimes;machine-Assisted Proofs for Institutions in Coq;extending Process Algebra with an Undefined Action;MSDetector: A Static PHP Webshell Detection System Based on Deep-Learning;collaborative Verification of Uninterpreted Programs;practical Theory of Computation on Structures;automatic Classification of Bug Reports Based on Multiple Text Information and Reports’ Intention;preface;equivalence of Denotational and Operational Semantics for Interaction Languages;on Verification of Smart Contracts via Model Checking;sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks;A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification;formal Verification of a Keystore;repairing Adversarial Texts Through Perturbation;supporting Algorithm Analysis with Symbolic Execution in Alk.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Securing Real-Time systems using Schedule Reconfiguration

Securing Real-Time Systems using Schedule Reconfiguration

引用

international symposium on Object-Oriented Real-Time distributed Computing

作者： Zain A. H. Hammadeh Monowar Hasan Mohammad Hamad Institute for Software Technology German Aerospace Center (DLR) Braunschweig Germany School of Electrical Engineering & Computer Science Washington State University Pullman WA USA Department of Computer Engineering Technical University of Munich Munich Germany

ISBN: (数字)9798350371284

ISBN: (纸本)9798350371291

Modern real-time systems are susceptible to cyber-attacks. The growing adoption of multi-core platforms, where safety and non-safety critical tasks coexist, further introduces new security challenges. Existing solutions suffer from either a lack of determinism or excessive cost. This paper addresses these shortcomings and proposes an offline analysis to compute all feasible schedules for real-time tasks running on a multi-core platform, isolating compromised tasks while guaranteeing a fail-operational system and low-cost reconfigurable scheduling. Our experimental results using a UAV autopilot system on a quad-core platform (Raspberry Pi) demonstrate that the proposed scheme incurs run-time recovery overhead at the level of microseconds. Also, the reconfiguration process covers up to 100% of all possible responses for compromised tasks in the synthetic test cases.

关键词： Schedules Processor scheduling Autonomous aerial vehicles Market research Real-time systems Safety Security

来源：评论

学校读者我要写书评

暂无评论

Research on Key Technologies and Methods of Trajectory Monitoring Based on Attitude Recognition in College Teaching

Research on Key Technologies and Methods of Trajectory Monit...

引用

Information Science, parallel and distributed systems (ISPDS), international Conference on

作者： Jun Zheng Wei Huang Xiaoming Li Department of Computer Science Guizhou Information Engineering Department of Guizhou Light Industry Vocational and Technical College Guiyang Guizhou Department of Planning Guizhou Police College Guiyang Guizhou

The trajectory monitoring based on attitude recognition is the object of this paper. The integration of Internet of Things technology and computer technology is the research feature of this paper. Attitude recognition has been widely used, so a large number of scholars have conducted in-depth research. The research on trajectory monitoring of attitude recognition in colleges and universities has important promotion value and application prospect for teaching or the future application of other gesture related disciplines. The three key processes of attitude recognition algorithm are based on which the research on real-time monitoring of motion trajectory is carried out. Through the design and implementation of software and hardware systems of real-time monitoring system of motion trajectory, the hardware design based on MPU6050 is realized, Through the design of the software, the real-time monitoring of the movement track is realized, and the acceleration and displacement functions of the test system are debugged. The test shows that the system can complete the recognition and monitoring of posture, and this method can be used for teaching effect feedback in sports teaching in colleges and universities.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An O(log2 N) SMC2 Algorithm on distributed Memory with an Approx. Optimal L-Kernel

An O(log2 N) SMC2 Algorithm on Distributed Memory with an Ap...

引用

2023 IEEE symposium Sensor Data Fusion and international Conference on Multisensor Fusion and Integration, SDF-MFI 2023

作者： Rosato, Conor Varsi, Alessandro Murphy, Joshua Maskell, Simon University of Liverpool Department of Pharmacology and Therapeutics United Kingdom University of Liverpool Department of Electrical Engineering and Electronics United Kingdom

ISBN: (纸本)9798350382587

Calibrating statistical models using Bayesian inference often requires both accurate and timely estimates of parameters of interest. Particle Markov Chain Monte Carlo (p-MCMC) and Sequential Monte Carlo Squared (SMC2) are two methods that use an unbiased estimate of the log-likelihood obtained from a particle filter (PF) to evaluate the target distribution. P-MCMC constructs a single Markov chain which is sequential by nature so cannot be readily parallelized using distributed Memory (DM) architectures. This is in contrast to SMC2 which includes processes, such as importance sampling, that are described as embarrassingly parallel. However, difficulties arise when attempting to parallelize resampling. None-the-less, the choice of backward kernel, recycling scheme and compatibility with DM architectures makes SMC2 an attractive option when compared with p-MCMC. In this paper, we present an SMC2 framework that includes the following features: an optimal (in terms of time complexity) O(log2 N) parallelization for DM architectures, an approximately optimal (in terms of accuracy) backward kernel, and an efficient recycling scheme. On a cluster of 128 DM processors, the results on a biomedical application show that SMC2 achieves up to a 70× speed-up vs its sequential implementation. It is also more accurate and roughly 54× faster than p-MCMC. A GitHub link is given which provides access to the code. © 2023 IEEE.

关键词： Parameter estimation

来源：评论

学校读者我要写书评

暂无评论

Dynamic Checkpointing for Heterogeneous IoT Devices Through Self-Referencing

Dynamic Checkpointing for Heterogeneous IoT Devices Through ...

引用

international symposium on parallel and distributed Processing with Applications, ISPA

作者： Nan Wang Ziyi Wang Lijun Lu Zhiyuan Ma Qun Chao School of Information Science and Engineering East China University of Science and Technology Shanghai China Institute of Machine Intelligence University of Shanghai for Science and Technology Shanghai China School of Mechanical Engineering Shanghai Jiao Tong University Shanghai China

ISBN: (数字)9798331509712

ISBN: (纸本)9798331509729

Failure recovery is one of the most essential problems in Internet of Things (IoT) systems, and the conventional snapshot method is an effective way to solve this problem. However, snapshot methods lack specialized designs for heterogeneous IoT devices, and when implemented in edge devices, serious system interruptions occur and performance is impacted. To address these problems, a dynamic checkpointing strategy is proposed for IoT systems that consist of heterogeneous devices. Firstly, an anomaly detection network for snapshots (i.e., ADSnet) that combines long short-term memory networks with multilayer convolutional networks is used to learn the multidimensional features of system resource usage. Secondly, ADSnet is tuned during deployment to learn the behaviors of target devices, so that ADSnet can report the anomalies of target devices in the near future. Finally, a dynamic checkpointing strategy is proposed to dynamically create snapshots on the basis of the anomaly detection results. The experimental results show that the proposed ADSnet achieves 97.73% accuracy in detecting anomalies in the target device; furthermore, our proposed dynamic checkpointing strategy reduces 25.4% snapshots than that created by the recently proposed ResCheck.

关键词： Checkpointing Performance evaluation Accuracy Design methodology Image edge detection Nonhomogeneous media Feature extraction Internet of Things Anomaly detection Long short term memory

来源：评论

学校读者我要写书评

暂无评论

Simulating Cyber Attacks and Designing Malware using Python 10

Simulating Cyber Attacks and Designing Malware using Python

引用

10th international Conference on Signal Processing and Integrated Networks, SPIN 2023

作者： Ankit, Akash Inder, Shubham Sharma, Anuj Johari, Rahul Vidyarthi, Deo Prakash University School of Information Communication and Technology Guru Gobind Singh Indraprastha University SWINGER: Security Wireless IoT Network Group of Engineering and Research Dwarka New Delhi110078 India MelbourneVIC3000 Australia Jawaharlal Nehru University Parallel and Distributed System Lab School of Computer and Systems Sciences New Delhi110067 India

ISBN: (纸本)9781665490993

In this Internet era, we have become heavily dependent on the World Wide Web and it has become a basic amenity for humans. A normal user can be trapped easily in this vicious web if not careful enough. It is a field that requires users to be on their toes every time they try to connect to this enormous interconnection of networks. Reports and Surveys have said that in the coming years, Cybercrime could become the biggest threat. In this proposed work, the authors have deployed applications and designed malware for the purpose of simulating various kinds of cyber-attacks so that they could study their effects & affects and ultimately devise solutions to resolve the vulnerabilities in a system. These applications included networking concepts & protocols and a software based keylogger which was developed with no malicious intent, but to analyse the architectural view or design of a malware and to study the stages of a malware attack like entry, distribution, exploitation, infection and execution. Efforts have been made to demonstrate spooting attacks with an idea of identifying vulnerabilities and security loopholes in a particular system that can be exploited by an attacker if not resolved within time. © 2023 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 60 61 62 63 64 65 66 67 68 69 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：