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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,197 篇 工学
- 1,029 篇 计算机科学与技术...
- 560 篇 软件工程
- 263 篇 电气工程
- 151 篇 电子科学与技术（可...
- 147 篇 控制科学与工程
- 133 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 18 篇 材料科学与工程（可...
- 17 篇 建筑学
- 17 篇 土木工程
- 17 篇 安全科学与工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 11 篇 光学工程
- 11 篇 化学工程与技术
264 篇 理学
- 166 篇 数学
- 79 篇 系统科学
- 38 篇 物理学
- 32 篇 统计学（可授理学、...
- 13 篇 化学
- 12 篇 生物学
135 篇 管理学
- 114 篇 管理科学与工程(可...
- 51 篇 工商管理
- 28 篇 图书情报与档案管...
20 篇 经济学
- 20 篇 应用经济学
19 篇 法学
- 19 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
358 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
115 篇 field programmab...
112 篇 real time system...
100 篇 program processo...
90 篇 embedded computi...
87 篇 kernel
84 篇 software
83 篇 computer science
80 篇 parallel process...
79 篇 registers
73 篇 control systems
71 篇 timing

机构

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 篇 computer systems...
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 篇 eindhoven univer...
5 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...
5 篇 shanghai key lab...

作者

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

语言

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

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

共 2731 条记录，以下是2321-2330 订阅

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

详细简洁

排序：

11th international Forum on System Design Language, SDL 2003

引用

11th international System Design Languages Forum, SDL 2003

ISBN: (纸本)3540405399

The proceedings contain 23 papers. The special focus in this conference is on Performance, Evolution, Development, modeling and Timing. The topics include: Looking for better integration of design and performance engineering;scenario-based performance engineering with UCMNAV;using SDL for modeling behavior composition;industrial application of the SDL-pattern approach in UMTS call processing development;experience and quantitative assessment;synthesizing SDL from use case maps;enhanced SDL subset for the design and implementation of java-enabled embedded signalling systems;generating a compiler for SDL from the formal language definition;modelling and evaluation of a network on chip architecture using SDL;formalizing graphical service descriptions using SDL;specification and simulation of real time concurrent systems using standard SDL tools;validating the interval timed extension for SDL with an industrial-size multicast protocol;using projections for the detection of anomalous behaviors;applying mutation analysis to SDL specifications;automatic formal model generation and analysis of SDL;applying SDL to formal analysis of security systems;modeling IETF session initiation protocol and its services in SDL;automated generation of marshaling code from high-level specifications and the winning entry of the SAM 2002 design contest.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A performance model of non-deterministic particle transport on large-scale systems

A performance model of non-deterministic particle transport ...

引用

international conference on Computational Science (ICCS 2003)

作者： Mathis, MM Kerbyson, DJ Hoisie, A Texas A&M Univ Dept Comp Sci College Stn TX 77843 USA Los Alamos Natl Lab Performance & Architectures Lab Los Alamos NM 87545 USA

ISBN: (纸本)3540401962

In this work we present a predictive analytical model that encompasses the performance and scaling characteristics of a non-deterministic particle transport application, MCNP. Previous studies on the scalability of parallel Monte Carlo eigenvalue calculations have been rather general in nature [1]. It can be used for the simulation of neutron, photon, electron, or coupled transport, and has found uses in many problem areas. The performance model is validated against measurements on an AlphaServer ES40 system showing high accuracy across many processor/problem combinations. It is parametric with both application characteristics (e.g. problem size), and system characteristics (e.g. communication latency, bandwidth, achieved processing rate) serving as input. The model is used to provide insight into the achievable performance that should be possible on systems containing thousands of processors and to quantify the impact that possible improvements in sub-system performance may have. In addition, the impact on performance of modifying the communication structure of the code is also quantified.

关键词： Large-scale systems Performance analysis Performance modeling

来源：评论

学校读者我要写书评

暂无评论

The SIGNAL approach to the design of system architectures

The SIGNAL approach to the design of system architectures

引用

international conference and Workshop on Engineering of computer-Based systems

作者： A. Gamatie T. Gautier IRISA INRIA Rennes France

modeling plays a central role in system engineering. It significantly reduces costs and efforts in the design by providing developers with means for cheaper and more relevant experimentations. So, design choices can be assessed earlier. The use of a formalism, such as the synchronous language SIGNAL which relies on solid mathematical foundations for the modeling, allows validation. This is the aim of the methodology defined for the design of embedded systems where emphasis is put on formal techniques for verification, analysis, and code generation. This paper mainly focuses on the modeling of architecture components using SIGNAL. For illustration, we consider the modeling of a bounded FIFO queue, which is intended to be used for communication protocols. We bring out the capabilities of SIGNAL to allow specifications in an elegant way, and we check few elementary properties on the resulting model for correctness.

关键词： Signal design embedded system Unified modeling language systems engineering and theory Costs Solid modeling Mathematical model Protocols Data engineering Data structures

来源：评论

学校读者我要写书评

暂无评论

GOOFI: generic object-oriented fault injection tool

GOOFI: generic object-oriented fault injection tool

引用

international conference on Dependable systems and Networks (DSN)

作者： J. Aidemark J. Vinter P. Folkesson J. Karlsson Department of Computer Engineering Chalmers University of Technology and Göteborg University Goteborg Sweden

来源：评论

学校读者我要写书评

暂无评论

Deriving process networks from weakly dynamic applications in system-level design 03

Deriving process networks from weakly dynamic applications i...

引用

international conference on Hardware/Software Codesign and System Synthesis (CODES)

作者： T. Stefanov E. Deprettere Leiden Embedded Research Center Leiden Institute of Advanced Computer Science Leiden University Netherlands

ISBN: (纸本)9781581137422

We present an approach to the automatic derivation of executable process network specifications from weakly dynamic applications. We introduce the notions of dynamic single assignment code, approximated dependence graph, and linearly bounded sets to model and capture weakly dynamic (data-dependent) behavior of applications at the task-level of abstraction. Process networks are simple parallel processing models that match the emerging multiprocessor architectures in the sense that the mapping of process network specifications of applications onto multiprocessor architectures can be done in a systematic and transparent way.

关键词： Intelligent networks System-level design Mathematical model Computational modeling Application software Concurrent computing computer networks computer science embedded computing Design automation

来源：评论

学校读者我要写书评

暂无评论

Performance-based system design education

Performance-based system design education

引用

IEEE international conference on Microelectronic systems Education

作者： J.J. Hein J.H. Aylor R.H. Klenke Department of Electrical and Computer Engineering University of Virginia Charlottesville VA USA Department of Electrical Engineering Virginia Commonwealth University Richmond VA USA

This paper describes an integrated performance based modeling tool (PBMT) developed to facilitate the performance-based design of hardware/software systems. It is used to aid in a senior level design project and other design exercises. Task graphs are specified as control flow and/or dataflow with the ability to model real-time applications. The application model is executed on a variety of SystemC architectures for performance analysis.

关键词： Hardware Application software computer architecture Performance analysis Software systems embedded system Communication channels embedded software Process design Software performance

来源：评论

学校读者我要写书评

暂无评论

Towards a comprehensive environment for the engineering of embedded control systems based on UML

Towards a comprehensive environment for the engineering of e...

引用

IEEE international conference on Industrial Technology (ICIT)

作者： S. Lu W.A. Halang R. Gumzej Faculty of Electrical and Computer Engineering Fern Universität Hagen Hagen Germany Faculty of Electrical Engineering and Computer Science University of Maribor Maribor Slovenia

With the ever increasing complexity of embedded control systems, design and implementation have to fulfill demanding requirements with respect to functionality, timing, reliability, cost, safety and security. To meet these requirements, an integrated development environment based on an extended UML is designed. It aims at providing a comprehensive set of methods and tools for all development phases of complex embedded control systems. For the environment to be fully integrated, the gaps between the applicability of UML models for proper modeling as well as for validation, verification, simulation and code generation need to be filled. To enable domain-specific specification, in form of profiles UML is enhanced by comprehensive sets of constructs addressing the aspects real time, distribution and safety characteristic for embedded control systems. Corresponding models should automatically be translated to several other model notations. Here, a UML profile for simulation models is defined, which is process-oriented and based on extensions of UML oriented at PEARL for distributed systems and real-time extensions of UML statecharts which enable to simulate real-time constraints. This UML profile is expected to automatically translate UML models into simulation models described as XML documents, utilising existing model analysis tools for quantitative system analysis without the need for individual complex and expensive formal modeling.

关键词： Control systems Unified modeling language Real time systems Safety Reliability engineering Timing Cost function Security Automatic control Analytical models

来源：评论

学校读者我要写书评

暂无评论

international Workshop on the Move to Meaningful Internet systems, OTM 2003 co-located with Workshop on HCI SWWA, IPW, JTRES,WORM, WMS, and WRSM 2003

引用

international Workshop on the Move to Meaningful Internet systems, OTM 2003 co-located with Workshop on HCI SWWA, IPW, JTRES,WORM, WMS, and WRSM 2003

ISBN: (纸本)9783540204947

The proceedings contain 101 papers. The special focus in this conference is on Move to Meaningful Internet systems. The topics include: On enhancing component-based middleware with transactions;online consistency checking for replicated objects;integrating container services with pluggable system extensions;a full scope simulator for nuclear power plants;a declaratively configurable java based framework for resource aware object mobility;trading freshness for performance in a cluster of replicated databases;regarding the integration of collaborative applications into virtual worlds;workflow reconfiguration using chains;modeling semistructured data by using graph-based constraints;a graph-based model for semistructured temporal data;a formal approach to knowledge base comparison and interoperability;a web-based learning system for content-based lecture retrieval;a formalism of contextualized predicate calculus for information integration;an ontology based visual tool for query formulation support;revaluation of a large-scale thesaurus for multi-media indexing;on storing and querying xml data within network-enabled embedded systems;an object-oriented invocation layer for the java message service;an approach to the process maps based on semantic web methodologies;modelling organic adaptable service-oriented enterprise architectures;towards a semantic integration of medical relational databases by using ontologies;designing ontology-based interactive information retrieval interfaces;usability issues confronting mobile devices as internet interfaces for general purpose and an interactive visualization technique for exploring an annotated image collection navigation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reducing compilation time overhead in compiled simulators

Reducing compilation time overhead in compiled simulators

引用

IEEE international conference on computer Design: VLSI in computers and Processors, (ICCD)

作者： M. Reshadi N. Dutt Center for Embedded Computer Systems University of California Irvine USA

Compiled simulation is a well known technique for improving the performance of instruction set simulators at the cost of compilation time. However the compilation time overhead makes such usage of compiler optimizations impractical especially for large applications. We propose a hybrid compiled simulation approach that is simple, generates an optimized decoder and has almost no compilation overhead comparing to static compiled simulation. Using two contemporary processor models- ARM7 and Sparc- we demonstrated that our technique can reduce the compilation time by 99% on the average, from several thousands of seconds to only tens of seconds.

关键词： Decoding Computational modeling Optimizing compilers Dynamic compiler Application software computer simulation Analytical models Program processors computer aided instruction embedded computing

来源：评论

学校读者我要写书评

暂无评论

Redeeming IPC as a performance metric for multithreaded programs 03

Redeeming IPC as a performance metric for multithreaded prog...

引用

international conference on Parallel Architecture and Compilation Techniques (PACT)

作者： K.M. Lepak H.W. Cain M.H. Lipasti Electrical and Computer Engineering and Computer Sciences Department University of Wisconsin Madison WI USA

ISBN: (纸本)9780769520216

Recent work has shown that multithreaded workloads running in execution-driven, full-system simulation environments cannot use instructions per cycle (IPC) as a valid performance metric due to nondeterministic program behavior. Unfortunately, invalidating IPC as a performance metric introduces its own host of difficulties: special workload setup, consideration of cold-start and end-effects, statistical methodologies leading to increased simulation bandwidth, and workload-specific, higher-level metrics to measure performance. We explore the nondeterminism problem in multithreaded programs, describe a method to eliminate nondeterminism across simulations of different experimental machine models, and demonstrates the suitability of this methodology for performing architectural performance analysis, thus redeeming IPC as a performance metric for multithreaded programs.

关键词： Measurement Computational modeling computer simulation Operating systems computer aided instruction Analytical models Delay Acceleration Multiprocessing systems Statistical analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共274页 << < 229 230 231 232 233 234 235 236 237 238 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：