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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

573 篇 工学
- 538 篇 计算机科学与技术...
- 342 篇 软件工程
- 76 篇 控制科学与工程
- 73 篇 信息与通信工程
- 59 篇 电气工程
- 46 篇 电子科学与技术（可...
- 10 篇 化学工程与技术
- 7 篇 机械工程
- 7 篇 材料科学与工程（可...
- 6 篇 力学（可授工学、理...
- 6 篇 动力工程及工程热...
- 5 篇 建筑学
- 5 篇 土木工程
- 5 篇 生物工程
- 4 篇 仪器科学与技术
- 4 篇 交通运输工程
- 4 篇 生物医学工程（可授...
- 4 篇 网络空间安全
182 篇 理学
- 140 篇 数学
- 40 篇 系统科学
- 38 篇 统计学（可授理学、...
- 18 篇 物理学
- 13 篇 化学
- 9 篇 生物学
37 篇 管理学
- 32 篇 管理科学与工程(可...
- 20 篇 工商管理
- 7 篇 图书情报与档案管...
8 篇 教育学
- 8 篇 教育学
7 篇 经济学
- 7 篇 应用经济学
4 篇 法学
- 4 篇 社会学
4 篇 军事学
2 篇 医学
1 篇 农学

主题

241 篇 computational mo...
218 篇 computer simulat...
206 篇 discrete event s...
115 篇 concurrent compu...
82 篇 distributed comp...
79 篇 computer science
72 篇 parallel process...
69 篇 protocols
53 篇 time warp simula...
52 篇 analytical model...
51 篇 computer archite...
48 篇 large-scale syst...
47 篇 computer network...
46 篇 costs
43 篇 parallel process...
40 篇 circuit simulati...
36 篇 predictive model...
34 篇 hardware
33 篇 runtime
33 篇 educational inst...

机构

18 篇 college of compu...
12 篇 school of comput...
9 篇 georgia inst tec...
9 篇 department of co...
8 篇 dipartimento di ...
8 篇 department of co...
7 篇 school of comput...
6 篇 coll of william ...
6 篇 department of co...
6 篇 georgia inst of ...
6 篇 univ roma la sap...
6 篇 computer science...
5 篇 gintic institute...
5 篇 rensselaer polyt...
5 篇 school of applie...
5 篇 school of comput...
5 篇 georgia institut...
4 篇 mitre corporatio...
4 篇 georgia inst of ...
4 篇 department of el...

作者

23 篇 wentong cai
17 篇 fujimoto richard...
13 篇 d.m. nicol
13 篇 cai wentong
12 篇 nicol david m.
12 篇 r.m. fujimoto
10 篇 f. quaglia
10 篇 r. bagrodia
9 篇 rajive bagrodia
9 篇 s.j. turner
9 篇 bagrodia rajive
8 篇 r. fujimoto
8 篇 b. unger
8 篇 david m. nicol
7 篇 p.a. wilsey
7 篇 shell ying huang
7 篇 quaglia f
7 篇 richard m. fujim...
7 篇 yu-an chen
7 篇 wilsey philip a.

语言

1,158 篇 英文
7 篇 俄文
4 篇 中文
2 篇 其他

检索条件"任意字段=Proceedings of the sixteenth workshop on Parallel and distributed simulation"

共 1171 条记录，以下是391-400 订阅

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

详细简洁

排序：

parallel implementation of composite events

Parallel implementation of composite events

引用

International Conference on distributed Computing Systems workshop

作者： M. Shmueli O. Etzion Technion-Israel Institute of Technology Israel IBM Research Laboratory Israel

Composite events are required for many applications that require obtaining events from various sources, correlating them, and activating appropriate actions. One of the major issues in composite event system is scalability. This paper reports on a research that follows the situation concept of the Amit system, and proposes a parallel execution model for the event composition. The paper describes the model and its difficulties, and shows its usefulness using simulation results.

关键词： Event detection Databases Scalability Paper technology parallel processing Stock markets History Power system management Discrete event simulation Bridges

来源：评论

学校读者我要写书评

暂无评论

Conditional checkpoint abort: an alternative semantic for re-synchronization in CCL 02

Conditional checkpoint abort: an alternative semantic for re...

引用

proceedings of the sixteenth workshop on parallel and distributed simulation

作者： Francesco Quaglia Andrea Santoro Bruno Ciciani Università di Roma "La Sapienza" Roma Itály

ISBN: (纸本)9780769516080

Recently, a Checkpointing and Communication Library (CCL) to support optimistic parallel simulation on myrinet based clusters has been presented. Beyond classical low latency message delivery functionalities, this library additionally offers CPU offloaded checkpointing functionalities based on data transfer capabilities provided by a programmable DMA engine on board of myrinet network cards. A re-synchronization functionality is also supported for both logical (i.e. data consistency) and practical (i.e. hardware contention) reasons, which is implemented according to the following semantic: at any re-synchronization point, the simulation application is momentarily frozen until the last activated DMA based checkpoint operation is completed. In case long freezing periods are experienced, the checkpointing functionalities offered by CCL might not be fully effective in reducing the real checkpointing overhead at the simulation application level. To tackle this drawback, we present an alternative semantic for re-synchronization, namely conditional checkpoint abort, leading to application freezing only in case at least a threshold fraction of the state vector currently being checkpointed has already been transferred into the checkpoint buffer. In the opposite case, the checkpoint operation is aborted and the simulation application is immediately allowed to proceed, thus avoiding excessive checkpointing overhead (due to freezing) at the simulation application level. We also report the results of an evaluation, carried out using classical parameterized synthetic benchmarks, which show that the execution speed of the simulation application can be significantly increased by the alternative semantic we propose.

关键词： Checkpointing Performance Optimization Optimistic simulation Rollback Based Synchronization

来源：评论

学校读者我要写书评

暂无评论

7th International workshop on DNA-Based Computers, DNA 2001

引用

7th International workshop on DNA-Based Computers, DNA 2001

ISBN: (纸本)3540437754

The proceedings contain 36 papers. The special focus in this conference is on Experimental Tools, Theoretical Tools, Probabilistic Computational Models, Computer simulation, Sequence Design and Algorithms. The topics include: An object oriented simulation of real occurring molecular biological processes for DNA computing and its experimental verification;towards optimization of PCR protocol in DNA computing;DNA computing in microreactors;cascadable hybridisation transfer of specific DNA between microreactor selection modules;boundary components of thickened graphs;population computation and majority inference in test tube;biomolecular computation in virtual test tubes;developing support system for sequence design in DNA computing;an evolutionary algorithm for optimizing bit set selection;solving knapsack problems in a sticker based model;a proposal of DNA computing on beads with application to sat problems;aqueous solutions of algorithmic problems;solutions of shortest path problems by concentration control;another realization of aqueous computing with peptide nucleic acid;experimental conformation of the basic principles of length-only discrimination;experimental construction of very large scale DNA databases with associative search capability;a realization of information gate by using enterococcus faecalis pheromone system;programmed mutagenesis is a universal model of computation;DNA-based parallel computation of simple arithmetic;variants with an enhanced membrane handling;towards an electronic implementation of membrane computing and a universal time-varying distributed h system of degree.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Trade-Offs in Overhead vs. Effectiveness of Causality Inconsistency Tracking for Preemptive Rollback in Optimistic simulation 02

Trade-Offs in Overhead vs. Effectiveness of Causality Incons...

引用

proceedings of the Sixth IEEE International workshop on distributed simulation and Real-Time Applications

作者： A. Santoro

ISBN: (纸本)9780769518534

In this paper we discuss and compare three differentcausality inconsistency tracking mechanisms in support ofpreemptive rollback in optimistic parallel simulation onmyrinet clusters. These mechanisms exhibit different communication/processing overhead and also different effectivenessin revealing causality inconsistency of the currentlyexecuted simulation event. By the results of an empiricalstudy on a classical simulation benchmark we have foundsome trade-offs between these mechanisms, pointing out indicationsof application contexts for which each mechanismis expected to be well tailored.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A simulation environment for ad hoc networks using sector subdivision

A simulation environment for ad hoc networks using sector su...

引用

Euromicro Conference on parallel, distributed and Network-Based Processing

作者： K. Volbert Heinz Nixdorf Institute and Department of Mathematics and Computer Science University of Paderborn Germany

ISBN: (纸本)0769514448

A new model for communication in MANET is presented: Instead of omnidirectional transmissions, as assumed in most papers and all existing systems, the members are allowed to submit data in a fixed number of different directions (sector subdivision) and to adjust the transmission power in each sector separately. A simulation environment (simulation environment for ad hoc networks, SAHNE) is presented that allows simulation of communication strategies in MANET that use sector subdivision, and simulation results are shown where communication paths are selected via hop-minimization or geometric spanner properties. SAHNE is based on C++ and common libraries, which ensures that it can be used on many different platforms. The experiments show the influence of different parameters in realistic scenarios, and using geometric routing seemed to be better than using hop-minimization.

关键词： Ad hoc networks Mobile communication Solid modeling Mobile ad hoc networks Routing protocols Frequency Batteries Prototypes Computational modeling Mathematics

来源：评论

学校读者我要写书评

暂无评论

Site-based mapping for parallel proxy servers with fewer TCP connections

Site-based mapping for parallel proxy servers with fewer TCP...

引用

International Conference on distributed Computing Systems workshop

作者： K.Y. Wong K.F. Law K.H. Yeung Department of Electrical Engineering City University of Engineering Hong Kong China

There are many mapping schemes proposed in previous research on parallel proxy servers. The operations of these schemes are mainly URL-based, and therefore cannot fully benefit from the new persistent connection feature of HTTP/1.1. We propose a site-based mapping scheme that forwards all requests targeting on the same Web site to the same proxy server. The scheme then allows the proxy to use a single persistent connection to serve many client requests. The major advantage of the scheme is the reduction in the number of connection establishments. This reduction can save network bandwidth and reduce the user-experienced latency. simulation results show that the proposed site-based scheme reduces 40%-70% of the connection setups and teardowns when compared to a traditional URL-based mapping scheme.

关键词： distributed computing Conferences

来源：评论

学校读者我要写书评

暂无评论

An architecture of decentralized control for multi-degrees of freedom parallel manipulator

An architecture of decentralized control for multi-degrees o...

引用

International workshop on Advanced Motion Control (AMC)

作者： T. Kageyama K. Ohnishi Department of System Design Engineering Keio University Yokohama Japan

Decentralized control is composed of more than two subsystems. Subsystems communicate each other to control the whole system. In this paper, information of mechanical constraint for a parallel manipulator is analyzed. When some joints of multi-degrees of freedom parallel manipulators are set to be passive, excessive interference force can be reduced. A case where one joint of 3-linked arms is set to be passive is treated. The influence of a passive joint to the tip of the arm is derived by the configuration and the calculated reference torque. In the active joints, the interference force information from other joints are used to compensate the effect of passive joint. Such information is also used for switching passive joints. As a result, the avoidance of singular point is realized. Taking advantage of a parallel manipulator which has redundant drive joints, fault compensation is achieved by extending the communication of subsystems. Comparison with centralized control represents the availability of the decentralized control system by simulation.

关键词： distributed control Control systems Manipulators parallel robots Interference Mechanical variables control Torque Control system synthesis Availability Orbital robotics

来源：评论

学校读者我要写书评

暂无评论

Adaptive checkpointing for time warp technique with a limited number of checkpoints

Adaptive checkpointing for time warp technique with a limite...

引用

International Conference on distributed Computing Systems workshop

作者： R. Suzuki S. Fukurnoto K. Iwasaki Graduate School of Engineering Tokyo Metropolitan University Tokyo Japan Shuto Daigaku Tokyo Hachioji Tokyo JP Graduate Sch. of Eng. Tokyo Metropolitan Univ. Japan

This paper discusses distributed checkpointing with "Time Warp techniques", a typical uncoordinated checkpointing technique that is often used in the parallel and distributed simulations. Relaxing the assumption of the previous model of Soliman et al., we show a discrete time model where the number of available checkpoints each process can hold is finite. In addition, we propose an adaptive distributed checkpointing technique, that gives an effective time arrangement of checkpoints for a recovery point distribution, and we give numerical examples.

关键词： Checkpointing Clocks Time warp simulation Analytical models distributed computing Conferences

来源：评论

学校读者我要写书评

暂无评论

Efficient implementation of cellular algorithms on reconfigurable hardware

Efficient implementation of cellular algorithms on reconfigu...

引用

Euromicro Conference on parallel, distributed and Network-Based Processing

作者： P. Corsonello G. Spezzano G. Staino D. Talia DIMET University of Reggio Calabria Italy ISI-CNR Rende Italy DEIS University of Calabria Italy

ISBN: (纸本)0769514448

Reconfigurable architectures represent an innovative approach to the computer system design paradigm, which tries to cope with a problem of inefficiency of conventional computing systems, due to their general purpose nature. On the other hand, cellular automata are attractive computing models due to their fine grain parallelism, simple computational structures and local communication patterns. The inherently parallel cellular automata model is well suited to be implemented on reconfigurable hardware architectures such as field programmable gate arrays (FPGA) that can provide significant speedup. This paper describes the CAREM system that provides an efficient implementation of cellular automata algorithms on FPGA systems exploiting their reconfigurable features for executing different cellular automata rules. Its application to an image processing application and a forest fire simulation are presented and discussed. Performance evaluation and comparison with different implementations of cellular automata are presented.

关键词： Hardware Field programmable gate arrays Automata Logic devices Reconfigurable logic Application software Computer architecture Programmable logic arrays Concurrent computing parallel processing

来源：评论

学校读者我要写书评

暂无评论

Removing the latency overhead of the ITB mechanism in COWs with source routing

Removing the latency overhead of the ITB mechanism in COWs w...

引用

Euromicro Conference on parallel, distributed and Network-Based Processing

作者： J. Flich M.P. Malumbres P. Lopez J. Duato Dpto. of Computer Engineering (DISCA) Universidad Politécnica de Valencia Valencia Spain

ISBN: (纸本)0769514448

Clusters of workstations (COWs) are becoming increasingly popular as a cost-effective alternative to parallel computers. The in-transit buffer (ITB) mechanism can improve network performance when applied to COWs with irregular topology and source routing. This mechanism considerably improves the performance of this kind of network when compared to current source routing algorithms; however, it introduces a latency penalty. An implementation of this mechanism was performed, showing that the latency overhead of the mechanism may be noticeable, especially for short messages and at low network loads. In this paper, we analyze in detail the latency overhead of ITBs, proposing several mechanisms to reduce, hide and remove it. Firstly, we show, by simulation, the effect of an ITB implementation that is much slower than the one implemented. Then we propose three mechanisms that try to overcome the latency penalty. All the mechanisms are simple and can be easily implemented; also, they are out of the critical path of the ITB packet-processing procedure. The results show very good behaviour of the proposed mechanisms, considerably reducing or even completely removing the latency overhead.

关键词： Delay Cows Routing Network topology Concurrent computing Workstations Local area networks Telecommunication traffic Large-scale systems parallel processing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共118页 << < 36 37 38 39 40 41 42 43 44 45 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：