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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
57 册 图书
53 篇 期刊文献

馆藏范围

2,831 篇 电子文献
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...
7 篇 department of co...
6 篇 eindhoven univer...
6 篇 computer systems...
6 篇 natl tech univ a...
6 篇 computer systems...
6 篇 institute for co...
6 篇 fraunhofer iese ...
5 篇 school of automa...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of te...
5 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...

作者

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 篇 andy d. pimentel
10 篇 jung matthias
9 篇 mohamed abid
9 篇 fornaciari willi...
9 篇 pnevmatikatos di...
9 篇 kostas siozios
9 篇 christian haubel...
9 篇 andreas gerstlau...
9 篇 wehn norbert
8 篇 f. fummi

语言

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

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

共 2831 条记录，以下是2661-2670 订阅

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

详细简洁

排序：

Benchmarking and modeling: pick your favorite

Benchmarking and modeling: pick your favorite

引用

Proceedings of the 1996 22nd international conference for the Resource Management & Performance Evaluation of Enterprise Computing systems, CMG. Part 2 (of 2)

作者： Houtekamer, Gilbert E. Consul Risk Management B.V. Delft Netherlands

The advent of modern disk controller architectures has revived the debate on how to model this complex equipment. At the CMG95 conference a panel session was held on the topic of predicting performance for modern I/O controllers, and on what could be expected from those predictions. One of the topics of the discussion was whether or not new controllers rendered modeling useless because of their complexity. When analyzing complex equipment like a computer system or a disk I/O subsystem, it is apparent that the performance that one observes is the result of a very complex interaction between the hardware design and workload. It is tempting to state that the system is so complex that modeling or simulation will not work, and that a benchmark is the only way to get a performance prediction. In this paper we will show the contrary to be true, explaining how analytical modeling can be used successfully, even with limited information about the subsystem internal operation.

关键词： computer simulation

来源：评论

学校读者我要写书评

暂无评论

simulation and modeling of a simultaneous multithreading processor

Simulation and modeling of a simultaneous multithreading pro...

引用

Proceedings of the 1996 22nd international conference for the Resource Management & Performance Evaluation of Enterprise Computing systems, CMG. Part 2 (of 2)

作者： Tullsen, Dean M. Univ of California San Diego La Jolla United States

Simultaneous multithreading is a processor architecture technique that combines the multiple-instruction-issue features of modern superscalar CPUs with the latency-hiding ability of multithreaded architectures. SMT permits multiple threads (e.g., multiple programs) to execute instructions on a superscalar processor's multiple functional units in a single cycle. The objective of simultaneous multithreading is to substantially increase processor utilization in the face of both long instruction latencies and limited available parallelism per thread. Measurement and analysis of such a processor requires a simulator that is powerful and flexible. This paper discusses the simulator and some of its unique features.

关键词： computer simulation

来源：评论

学校读者我要写书评

暂无评论

Adaptive resource allocation for embedded parallel applications

Adaptive resource allocation for embedded parallel applicati...

引用

Proceedings of the 1996 3rd international conference on High Performance Computing, HiPC

作者： Jha, Rakesh Muhammad, Mustafa Yalamanchili, Sudhakar Schwan, Karsten Ivan-Rosu, Daniela de Castro, Chris Honeywell Technology Cent Minneapolis United States

Parallel and distributed computer architectures are increasingly being considered for application in a wide variety of computationally intensive embedded systems. Many such applications impose highly dynamic demands for resources (processors, memory, and communication network), because their computations are data-dependent, or because the applications must constantly interact with a rapidly changing physical environment, or because the applications themselves are adaptive. This paper presents a set of dynamic resource allocation techniques aimed at maintaining high levels of application performance in the presence of varying resource demands. It focuses on a class of applications structured as multiple pipelines of data-parallel stages, as this structure is common to many sensor-based applications. We discuss the issues involved in resource management for such applications, and present preliminary results from our implementations on Intel Paragon. Our approach uses feedback control - a real-time monitoring system is used to detect significant performance shortfalls, and resources are reallocated among the application components in an attempt to improve performance. The main contribution of this work is that it combines real-time monitoring of an application's performance with dynamic resource allocation, and focuses on practical implementations rather than simulation and analysis.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

5th international Workshop on computer Aided systems Theory- EUROCAST 1995

引用

5th international Workshop on computer Aided systems Theory, EUROCAST 1995

ISBN: (纸本)9783540607489

The proceedings contain 42 papers. The special focus in this conference is on systems Theory and Design Environments and Tools. The topics include: On the structure of discrete systems;identification and recognition through shape in complex systems;a logical approach to system construction;task management system;toward a unified theory of discrete event systems;general systems description and implications;proving system properties by means of trigger-graph and petri nets;refinement mapping for general (discrete event) systems theory;a system-theoretic approach to planning and programming;equality of functions in CAST;basins of attraction estimation through symbolic graphical computing techniques;temporal and functional verification of a symbolic representation of complex systems;modelling differential equations by basic information technology means;system theoretic aspects of software architectures;a language for describing complex-evolutive software systems;an architecture for process modeling and execution support;a formal semantics for a graphical model representation in system design;a user-interface for a microsystems high-level simulator;CAST extensions to DASME to support generalized information theory;symbolic computing aided design of nonlinear PID controllers;discrete event simulation in an environment for temporal expert systems;TOMSPIN - a tool for modeling with stochastic petri nets;hybrid evolutionary programming;automatic induction of DEVS structures;systems engineering and infrastructures for open computer based systems;object-oriented high level modeling of complex systems;multifacetted, object oriented modeling in the transportation domain;a tool environment for the design of complex, real-time systems;systems level specification and modelling of reactive systems and control through deliberative and reactive planning.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and evaluation of automated checks for signal processing applications 6

Design and evaluation of automated checks for signal process...

引用

conference on Advanced Signal Processing Algorithms, architectures, and Implementations VI

作者： Nair, VSS Kim, HC Krishnamurthy, N Abraham, JA SO METHODIST UNIV DEPT COMP SCI & ENGNDALLASTX 75275

ISBN: (纸本)0819422347

Most of the signal processing application programs involve computationally intensive iterative steps. In such programs, various failures in the underlying hardware manifest as control-flow errors that affect the reliability of the computed results. Various techniques have been proposed in the past to detect and recover from such control-flow errors. Unfortunately, all these techniques need either additional hardware or modification of the hardware and are not portable across various platforms. To circumvent these limitations, recently we have developed a high-level control-flow checking approach using assertions (CCA). In CCA, branch-free intervals in a given high-level language program are identified and the entry and exit points of the intervals are fortified through pre-inserted assertions. In this paper we describe an implementation of CCA through a pre-processor that will automatically insert the necessary assertions into a high-level language program. Based on the implementation we study the fault detection capabilities of CCA with the help of fault injection experiments using FERRARI.

关键词： simulation of CCA and DLA aggregates Switches Signal processing Reliability Computing systems computer engineering Data modeling Error analysis Error control coding computer science

来源：评论

学校读者我要写书评

暂无评论

4th international Workshop on computer Aided systems Theory, CAST 1994

引用

4th international Workshop on computer Aided systems Theory, CAST 1994

ISBN: (纸本)3540614788

The proceedings contain 31 papers. The special focus in this conference is on Foundations of Cast and Methods. The topics include: systems science and systems technology;soft computer-aided system theory and technology;the configuration of complex systems;on the expressibility of discrete event specified systems;an object-oriented architecture for possibilistic models;fuzzy expert system technology;deciding boundedness for systems of two linear communicating finite state machines;a framework for knowledge intensive engineering;a development methodology for systems engineering of computer-based systems and its environmental support;an approach to the design of complex, heterogeneous hardware/software systems;a strategy for realizing traceability in an object-oriented design environment;towards a CAST method for a systematic generation of non-orthogonal complete transformations;tuning fuzzy logic controllers by classical techniques;computer aided design of protocol converters;modelling, analysis and evaluation of systems architectures;systematic strategy for performance prediction in improvement of parallel programs;design and implementation of multimedia environment for simulation;a neural network with direct learning based on linear or non-linear threshold logics;an evolutionary recurrent neural network designer and trainer;an environment for system level telecommunication design exploration and modelling;a tool for visual object modeling;a computer aided system for developing graphical telematic applications and a simple approach to improve the abstraction level of object representation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Experiences with HPF for scientific applications

Experiences with HPF for scientific applications

引用

international conference and Exhibition on High-Performance Computing and Networking, HPCN EUROPE 1996

作者： Cabitza, G. Nardone, C. Bagaini, C. Balzano, A. Bonomi, E. Brieger, L. Ennas, M. Garau, E. Greco, D. Lecca, G. Pieroni, E. Rossi, C. CRS4 Center for Advanced Studies Research and Development in Sardinia via N.Sauro 10 Cagliari1-09123 Italy

ISBN: (纸本)9783540611424

The data-parallel programming paradigm emerges as the natural choice for a large class of scientific applications. One of its most significant features consists in hiding the details of the communications and synchronizations among processors, leaving them to the compiler. The advent of the new standard data-parallel language, High Performance Fortran (HPF), promises to bring portability of data-parallel codes across different parallel architectures. A wide spectrum of activities around HPF has been carried out and planned for the future at CRS4, ranging from basic tools to parallel libraries, kernel codes and time-consuming real applications. Examples are the HPParLib++ project (a run-time system for HPF), codes for seismic migration and modeling, a molecular dynamics code of liquid water and a shallow water transport code for the simulation of lagoon systems. The strategy behind this work is to advance both in basic computer science and in the development of end-user applications in order to benefit from the synergetic exchange of ideas and solutions. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

international conference on Reliable Software Technologies, Ada-Europe 1996

International Conference on Reliable Software Technologies, ...

引用

Ada-Europe international conference on Reliable Software Technologies, Ada-Europe 1996

ISBN: (纸本)354061317X

The proceedings contain 39 papers. The special focus in this conference is on Software Development Methods. The topics include: Programming the internet in ada 95;reliability modeling for safety critical software;fault-tolerance by replication in distributed systems;an effective concurrent programming language;mapping HRT-HOOD designs to ada 95 hierarchical libraries;an approach to increasing software component reusability in ada;iterative software development for large ada programs;HCSD unit development process;testing ada 95 programs for conformance to rapide architectures;tasking deadlocks in ada 95 programs and their detection;on some characterisation problems of subdomain testing;a framework for testing object-oriented software using formal specifications;ada 95 and critical systems;use of a static analysis tool for safety-critical ada applications;secure communication in distributed ada;using object-oriented methods in ada 95 to implement linda;shared packages through linda;an ada extension to program fault-tolerant distributed applications;the dining philosophers in ada 95;using ada 95 for prototyping real-time systems;the GNARL implementation of POSIX/ada signal services;implementing protected types on embedded targets;from the prototype to the full implementation;handling irregular grammars in ada;interprocedural call optimization;augmenting ada 95 with additional real-time features;the addition of persistence and its consequences;extending the object-orientedness of ada 95 and an aria 95 view of some difficult or controversial points in object-oriented programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Real-time simulation techniques based on the RTO.k object modeling

Real-time simulation techniques based on the RTO.k object mo...

引用

IEEE Annual international computer Software and Applications conference (COMPSAC)

作者： K.H. Kim Dept. of Electr. & Comput. Eng. California Univ. Irvine CA USA

Real-time simulation is an advanced mode of simulation in which the simulation objects are designed to show the same timing behavior as the simulation targets. A new approach to real-time simulation which is based on the RTO.k object modeling is discussed. The RTO.k object, which is a real-time extension of the well-established object structure, is capable of uniformly and accurately representing both real-time embedded computer systems and application environments. This simulation approach has many attractive features, e.g., expandability, modifiability, adaptability for efficient parallel processing, etc. In spite of its promising nature, the approach is an immature one in many respects and some desirable directions for future work aimed toward maturing the technology are also discussed.

关键词： Object oriented modeling Computational modeling Real time systems Timing Application software Parallel processing embedded computing Traffic control computer applications Clocks

来源：评论

学校读者我要写书评

暂无评论

Hardware synthesis from encapsulated Verilog modules

Hardware synthesis from encapsulated Verilog modules

引用

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

作者： D.R. Smith Computer Science Department SUNY Stony Brook USA

This paper discusses experience with synthesis from a Verilog writing style using encapsulated modules. The method is shown to be capable of significant advantages in reduction of code complexity, re-use of submodules, and automatic inference of control. In order to pass synthesis and low level simulation, care must be taken in the translation of the encapsulated modules through an intermediate style accessible to industry synthesizers. If the encapsulated modules are edge activated then the control points need to be staggered in time through the clock cycle as control is passed down through the hierarchy. Examples are given of a such an intermediate style which is acceptable to synthesis and low level simulation. A conclusion discusses other implications of adapting the objective style to hardware design.

关键词： Hardware design languages Object oriented modeling Automatic control Writing Size control computer science Synthesizers Clocks Computational modeling Software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共284页 << < 263 264 265 266 267 268 269 270 271 272 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：