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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,721 篇 会议
53 篇 期刊文献
13 册 图书

馆藏范围

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

日期分布

学科分类号

1,288 篇 工学
- 1,119 篇 计算机科学与技术...
- 591 篇 软件工程
- 286 篇 电气工程
- 158 篇 电子科学与技术（可...
- 150 篇 控制科学与工程
- 137 篇 信息与通信工程
- 50 篇 机械工程
- 44 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 19 篇 建筑学
- 18 篇 材料科学与工程（可...
- 18 篇 安全科学与工程
- 17 篇 土木工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 12 篇 生物工程
- 11 篇 光学工程
275 篇 理学
- 173 篇 数学
- 81 篇 系统科学
- 38 篇 物理学
- 33 篇 统计学（可授理学、...
- 14 篇 化学
- 14 篇 生物学
142 篇 管理学
- 119 篇 管理科学与工程(可...
- 52 篇 工商管理
- 30 篇 图书情报与档案管...
21 篇 经济学
- 21 篇 应用经济学
20 篇 法学
- 20 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
361 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
116 篇 field programmab...
112 篇 real time system...
103 篇 program processo...
90 篇 embedded computi...
89 篇 kernel
84 篇 software
83 篇 computer science
82 篇 parallel process...
81 篇 registers
73 篇 control systems
72 篇 algorithm design...

机构

10 篇 school of electr...
9 篇 rhein westfal th...
8 篇 institute for co...
8 篇 center for embed...
7 篇 center for embed...
6 篇 eindhoven univer...
6 篇 computer systems...
6 篇 natl tech univ a...
6 篇 institute for co...
6 篇 department of co...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of te...
5 篇 the university o...
5 篇 eindhoven univer...
5 篇 computer systems...
5 篇 shanghai key lab...
5 篇 bournemouth univ...
5 篇 dipartimento di ...

作者

19 篇 leupers rainer
16 篇 soudris dimitrio...
16 篇 ascheid gerd
14 篇 dimitrios soudri...
13 篇 rainer leupers
12 篇 gerd ascheid
12 篇 pimentel andy d.
11 篇 blume holger
11 篇 takala jarmo
11 篇 holger blume
10 篇 jung matthias
9 篇 mohamed abid
9 篇 fornaciari willi...
9 篇 pnevmatikatos di...
9 篇 andy d. pimentel
9 篇 kostas siozios
9 篇 christian haubel...
9 篇 andreas gerstlau...
9 篇 wehn norbert
8 篇 f. fummi

语言

2,775 篇 英文
9 篇 中文
4 篇 其他

检索条件"任意字段=International Conference on Embedded Computer Systems Architectures Modeling and Simulation"

共 2787 条记录，以下是2631-2640 订阅

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

详细简洁

排序：

GSPN subnet aggregation algorithms for modeling distributed applications in parallel architectures

GSPN subnet aggregation algorithms for modeling distributed ...

引用

IEEE international conference on systems, Man and Cybernetics

作者： P.A. Bressan L.C. Trevelin ãDepartment of Computer Science Federal University of São Carlos Sao Paulo Brazil

This paper presents algorithms for the mean response time of generalized stochastic Petri nets (GSPN) models based on a methodology for performance modeling and prediction of real time distributed applications running in parallel architectures. For architectures with monoprogrammable processors, the mean response time is obtained by successive aggregation without the use of state space, which prevents state explosion. For multiprogrammable processor architectures, reductions in immediate transitions are applied. The methodology described herein aims to help the designer to predict application execution times early in their developmental phase.

关键词： Parallel architectures Delay Application software Stochastic processes State-space methods Petri nets Predictive models Throughput Explosions Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

6th international conference on Evolutionary Programming, EP 1997

6th International Conference on Evolutionary Programming, EP...

引用

6th international conference on Evolutionary Programming, EP 1997

ISBN: (纸本)9783540627883

The proceedings contain 37 papers. The special focus in this conference is on Evolutionary Methods for modeling, Training and Alternative Frameworks for the Computational Study of Evolutionary Social systems. The topics include: Complexity formalisms, order and disorder in the structure of art;the application of evolutionary computation to selected problems in molecular biology;parallel evolutionary programming for constructing artificial neural networks;scaling behavior of the evolution strategy when evolving neuronal control architectures for autonomous agents;an object oriented simulation platform applied to markets and organizations;an agent-based computational model for the evolution of trade networks;performance-enhanced genetic programming;comparing subtree crossover with macromutation;composing 16th-century counterpoint with genetic programming and symbiosis;design of a high-gain operational amplifier and other circuits by means of genetic programming;modeling speculators with genetic programming;fast evolution strategies;airspace congestion smoothing by stochastic optimization;evolutionary optimization based on lagrangian with constraint scaling;solving static and dynamic fuzzy constraint networks using evolutionary hill-climbing;applying family competition to evolution strategies for constrained optimization;supporting polyploidy in genetic algorithms using dominance vectors;an individually variable mutation-rate strategy for genetic algorithms;inductive learning of mutation step-size in evolutionary parameter optimization;a note on the escape probabilities for two alternative methods of selection under gaussian mutation;raising theoretical questions about the utility of genetic algorithms;some geometric and algebraic results on crossover and an analysis of evolutionary algorithms based on neighborhood and step sizes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

international Symposium on High Performance Computing, ISHPC 1997

International Symposium on High Performance Computing, ISHPC...

引用

international Symposium on High Performance Computing, ISHPC 1997

ISBN: (纸本)3540637664

The proceedings contain 37 papers. The special focus in this conference is on High Performance Computing. The topics include: The generation of optimized codes using nonzero structure analysis;on the importance of an end-to-end view of memory consistency in future computer sysmtems;high performance distributed object systems;instruction cache prefetching using multilevel branch prediction;high performance wireless computing;high-performance computing and applications in image processing and computer vision;evaluation of multithreaded processors and thread-switch policies;a building block for high performance computers;data dependence path reduction with tunneling load instructions;performance estimation of embedded software with pipeline and cache hazard modeling;an implementation and evaluation of a distributed shared-memory system on workstation clusters using fast serial links;designing and optimizing 3-connectivity communication networks using a distributed genetic algorithm;adaptive routing on the recursive diagonal torus;an algorithm for automatic detection of loop indices for communication overlapping;hybrid approach for non-strict dataflow program on commodity machine;scenario-based hypersequential programming;parallelization of space plasma particle simulation;implementing iterative solvers for irregular sparse matrix problems in high performance fortran;cost estimation of coherence protocols of software managed cache on distributed shared memory system;a portable distributed shared memory system on the cluster environment;a method for runtime recognition of collective communication on distributed-memory multiprocessors;efficiency of parallel machine for large-scale simulation in computational physics and a parallelization method for neural networks with weak connection design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A simulator construction methodology for the Shiva multiprocessor system

A simulator construction methodology for the Shiva multiproc...

引用

IEEE international conference on Algorithms and architectures for Parallel Processing (ICAP)

作者： S. Slomka K.F. Sterzl V. Lakshmi Narasimhan The Speech Research Laboratory Signal Processing Research Center Queensland University of Technology Brisbane QLD Australia The PA SE Research Laboratory Department of Electrical and Computer Engineering University of Queensland Saint Lucia QLD Australia Information Management Group ITD DSTO Salisbury SA Australia

This paper describes a simulator for the Shiva multiprocessor system and the simulator construction methodology (SCM) used in its creation. The SCM, based on the active functional unit (AFU) construct, is a modern SCM which is flexible, accurate, fast, easy to use, capable of dynamic reconfigurability at run-time, and most of all simple and capable of quick simulator construction. The AFU SCM is capable of all these things through the use of object-oriented software techniques. The Shiva simulator constructed using the AFU SCM is program-driven and capable of micro and macro architectural simulation.

关键词： Multiprocessing systems Computational modeling Object oriented modeling Signal generators Laboratories computer simulation Discrete event simulation Speech processing Signal processing Information management

来源：评论

学校读者我要写书评

暂无评论

Reliability simulation of fault-tolerant software and systems

Reliability simulation of fault-tolerant software and system...

引用

Pacific Rim international Symposium on Fault Tolerant systems

作者： S.S. Gokhale M.R. Lyu K.S. Trivedi Department of Electrical and Computer Engineering Center for Advanced Computer & Communication Duke University Durham NC USA Bell Laboratories Lucent Technologies Inc. Murray Hill NJ USA

Fault tolerance is a survival attribute of complex computer systems and software in their ability to deliver continuous service to their users in the presence of faults. Formulating an analytic model for dependability and performance evaluation of hardware/software fault tolerant architectures can be quite cumbersome. Also, in practice, isolating the effect of various parameters on a system, while holding the others constant requires exploring a variety of scenarios. It is economically infeasible to build several such systems. simulation offers an attractive mechanism for dependability evaluation and the study of the influence of various parameters on the failure behavior of the system. In this paper, we develop algorithms to simulate the failure behavior of three commonly used fault tolerant architectures, viz., Distributed Recovery Block (DRB), N-Version Programming (NVP) and N-Self Checking Programming (NSCP). We demonstrate the ability of the approach to simulate complex failure scenarios with various dependencies using some illustrative numerical examples.

关键词： Fault tolerant systems Software systems Hardware Fault tolerance computer architecture Computational modeling Liver Performance analysis embedded software Software maintenance

来源：评论

学校读者我要写书评

暂无评论

Predicting FDDI computer network performance using a calibrated software simulation model

Predicting FDDI computer network performance using a calibra...

引用

IEEE international conference on Performance, Computing and Communications (IPCCC)

作者： S. Dempsey W.J. Reilly M. Teter L. Weinberg Lockheed Martin Government Electronic Systems Moorestown NJ USA

This report discusses two related activities. The first is the development of a software simulation that predicts the performance of a computer network under different loading conditions. The second is the validation of that simulation. The simulation model is configured to match a laboratory computer network, and each is subjected to similar traffic. The goal of these activities is to establish the credibility of the simulation, which will be used to predict message latency performance, host-to-host, in more complex tactical system architectures planned for Navy use on AEGIS class ships.

关键词： Predictive models FDDI computer networks Software performance Computational modeling computer simulation Laboratories Telecommunication traffic Traffic control Delay

来源：评论

学校读者我要写书评

暂无评论

Object oriented parallel architecture simulator

Object oriented parallel architecture simulator

引用

international conference on High Performance Computing in the Asia-Pacific Region

作者： Sang Gue Oh Cheol Min Hwang A. Choudhary School of Computer and Information Science Syracuse University USA Electrical and Computer Engineering Northwestern University USA

We introduce a general purpose object oriented simulation environment which enables the study of different architectural configurations for servers. The simulation environment has been built on the top of AWESIME which provides a process oriented discrete event simulation environment. On the top of AWESIME, the simulator provides the base class definitions for major components required to build large scale high-performance computer systems, and a more advanced model of any particular component can be derived from these base classes and easily replaced with the old one. This feature enables rapid evaluation of alternatives in simulating different architectures. In addition this design allows studying a component of interest in various degrees of detail while keeping the other components at a coarse-level for a faster simulation time.

关键词： Parallel architectures Object oriented modeling Computational modeling Discrete event simulation computer simulation Libraries Information science Large-scale systems Scalability Communications technology

来源：评论

学校读者我要写书评

暂无评论

An approach for quantitative analysis of application-specific dataflow architectures

An approach for quantitative analysis of application-specifi...

引用

international conference on Application Specific systems (ASAP), architectures and Processors

作者： B. Kienhuis E. Deprettere K. Vissers P. Van Der Wolf Philips Research Laboratories Eindhoven Netherlands Delft University of Technnology Delft Netherlands

In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a quantitative way and therefore supports him in the design process to find better performing architectures. The context of our work is video signal processing algorithms which are mapped onto weakly-programmable, coarse-grain dataflow architectures. The algorithms are represented as Kahn graphs with the functionality of the nodes being coarse-grain functions. We have implemented an architecture simulation environment that permits the definition of dataflow architectures as a composition of architecture elements, such as functional units, buffer elements and communication structures. The abstract, clock-cycle accurate simulator has been built using a multi-threading package and employs object oriented principles. This results in a configurable and efficient simulator. Algorithms can subsequently be executed on the architecture model producing quantitative information for selected performance metrics. Results are presented for the simulation of a realistic application on several dataflow architecture alternatives, showing that many different architectures can be simulated in modest time on a modern workstation.

关键词： Data analysis Signal processing algorithms computer architecture Communication system control Process design Streaming media Computational modeling Algorithm design and analysis Laboratories Video signal processing

来源：评论

学校读者我要写书评

暂无评论

Rapid prototyping of parallel and distributed systems by means of high-level Petri nets

Rapid prototyping of parallel and distributed systems by mea...

引用

IEEE international conference on systems, Man and Cybernetics

作者： B. Mikolajczak A. Cabeza J.T. Rumbut Computer and Information Science Department University of Massachusetts Dartmouth Dartmouth MA USA Architecture and Computer System Division Naval Undersea Warfare Center Newport RI USA

The control flow of parallel or distributed application can be specified by means of high-level Petri nets. One of the aims of rapid prototyping is to provide a validation of the specification; another is to produce a real application code which can be used in the final implementation. We restrict our considerations in this paper to the first goal only. When high-level Petri nets are involved, such as colored Petri nets, then colored linear invariants contribute to map automatically a set of processes on a specific parallel architecture. The purpose of this paper is to present the state of the art of the prototyping methodology and to illustrate it with a suitable example.

关键词： Prototypes Petri nets Power system modeling Application software Information science computer architecture Concurrent computing Distributed computing Military computing Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

Formal methods at the systems level

Formal methods at the systems level

引用

IEEE international conference on systems, Man and Cybernetics

作者： P. Alexander P. Baraona Department of Electrical & Computer Engineering and Computer Science University of Cincinnati Cincinnati OH USA

This paper presents an attempt at using formal methods as engineering mathematics. We present a Larch interface language for VHDL, called VSPEC, that provides a mechanism for specifying and analyzing systems level requirements. Further, this language supports abstractions and concepts familiar to traditional digital hardware designers. Using VSPEC, it is possible to specify and verify both functional requirements and constraints. Components are specifying using the traditional axiomatic style extended to include performance constraints and activation conditions. Additionally, using VHDL's structural specification features, it is possible to specify and verify abstract architectures formally. The paper opens by describing general characteristics of VSPEC including single component representation and architecture representation. Design rationale are presented to show how VSPEC provides familiar abstractions to the system designer. Finally, annotated examples are presented to demonstrate the language and its expected uses.

关键词： Process design Specification languages Computational modeling Handicapped aids computer science Mathematical model Software systems Mathematics Hardware Digital systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共279页 << < 260 261 262 263 264 265 266 267 268 269 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：