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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是2441-2450 订阅

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

详细简洁

排序：

Using Java to embed complex simulation media into surgical training environments

Using Java to embed complex simulation media into surgical t...

引用

Joint Meeting of the 3rd IEEE EMBS international conference on Information Technology Applications in Biomedicine/3rd Workshop of the Int-Telemedical-Information-Society

作者： Grange, S Jones, G Bunker, T Princess Elizabeth Orthopaed Ctr Exeter EX2 5DW Devon England

ISBN: (纸本)078036449X

INTRODUCTION: Digital technologies can offer a safe training environment for familiarisation with new surgical procedures. To enhance access and control of these virtual environments a Java Based Interface is used. METHODS: The Exeter Virtual Worlds (EVW) Shoulder Arthroscopy Simulator is designed to teach surgical pattern recognition skills via an interactive media, using a thin client via distributed computer architecture. A Java based interface has been developed to enable the EVW system to be operated remotely from within a declarative (factual) web-based training environment. RESULTS: By using Java for the control interface, it was possible for the surgeon to operate the virtual environment from a remote machine using familiar windows style controls, which a focus group confirmed adequate for the task. CONCLUSIONS: The development of networking computer architectures will assist the assimilation of multiple sources and media. The interface now offers the opportunity to collect statistically significant data from such simulation systems embedded in an educational environment.

关键词： client server architecture distributed surgical training interface Java thin client

来源：评论

学校读者我要写书评

暂无评论

international Workshop on Software architectures for Product Families, IW-SAPF 2000

引用

3rd international Workshop on Software architectures for Product Families, IW-SAPF 2000

ISBN: (纸本)9783540414803

The proceedings contain 27 papers. The special focus in this conference is on Product Family Practice, Business, Product Family Concepts and Product Family Methods. The topics include: Component frameworks for a medical imaging product family;meeting the product line goals for an embedded real-time system;a two-part architectural model as basis for frequency converter product families;a product line architecture for a network product;railway-control product families;a decision support tool for scoping product lines;dependency navigation in product lines using xml;summary of product family concepts session;software connectors and refinement in family architectures;organizing for software product lines;a comparison of software product family process frameworks;issues concerning variability in software product lines;a first assessment of development processes with respect to product lines and component based development;requirement modeling for families of complex systems;creating product line architectures;extending commonality analysis for embedded control system families;stakeholder-centric assessment of product family architecture and engineering software architectures, processes, and platforms for system families.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international conference on High Performance Computing, HiPC 2000

引用

7th international conference on High Performance Computing, HiPC 2000

ISBN: (纸本)3540414290

The proceedings contain 51 papers. The special focus in this conference is on System Software and Algorithms. The topics include: Charon message-passing toolkit for scientific computations;dynamic slicing of concurrent programs;an efficient run-time scheme for exploiting parallelism on multiprocessor systems;characterization and enhancement of static mapping heuristics for heterogeneous systems;optimal segmented scan and simulation of reconfigurable architectures on fixed connection networks;reducing false causality in causal message ordering;the working-set based adaptive protocol for software distributed shared memory;evaluation of the optimal causal message ordering algorithm;register efficient mergesorting;applying patterns to improve the performance of fault tolerant CORBA;design, implementation and performance evaluation of a high performance CORBA group membership protocol;analyzing the behavior of event dispatching systems through simulation;a domain-specific semi-automatic parallelization tool;practical experiences with java compilation;performance prediction and analysis of parallel out-of-core matrix factorization;integration of task and data parallelism;parallel and distributed computational fluid dynamics;parallel congruent regions on a mesh-connected computer;can scatter communication take advantage of multidestination message passing?;a first class design constraint for future architectures;embedded computing;instruction level distributed processing;speculative multithreaded processors;a fast tree-based barrier synchronization on switch-based irregular networks;meta-data management system for high-performance large-scale scientific data access and parallel sorting algorithms with sampling techniques on clusters with processors running at different speeds.

关键词：

来源：评论

学校读者我要写书评

暂无评论

10th international Workshop on Power and Timing modeling, Optimization and simulation, PATMOS 2000

引用

10th international Workshop on Power and Timing modeling, Optimization and simulation, PATMOS 2000

ISBN: (纸本)9783540410683

The proceedings contain 34 papers. The special focus in this conference is on RTL Power modeling, Power Estimation, System-Level Design, Transistor-Level modeling and Asynchronous Circuit Design. The topics include: Architectural design space exploration achieved through innovative RTL power estimation techniques;power models for semi-autonomous RTL macros;RTL estimation of steering logic power;reducing power consumption through dynamic frequency scaling for a class of digital receivers;framework for high-level power estimation of signal processing architectures;adaptive bus encoding techique for switching activity reduced data transfer over wide system buses;accurate power estimation of logic structures based on timed Boolean functions;a holistic approach to system level energy optimization;design-space exploration of low power coarse grained reconfigurable datapath array architectures;internal power dissipation modeling and minimization for submicronic CMOS design;degradation delay model extension to CMOS gates;second generation delay model for submicron CMOS process;semi-modular latch chains for asynchronous circuit design;comparative study on self-checking carry-propagate adders in terms of area, power and performance;VLSI Implementation of a low-power high-speed self-timed adder;low power design techniques for contactless chipcards;dynamic memory design for low data-retention power;data-reuse and parallel embedded architectures for low-power, real-time multimedia applications and modeling of power consumption of adiabatic gates versus fan in and comparison with conventional gates.

关键词：

来源：评论

学校读者我要写书评

暂无评论

IEEE/ACM international conference on computer-Aided Design, Digest of Technical Papers, ICCAD

IEEE/ACM International Conference on Computer-Aided Design, ...

引用

IEEE/ACM international conference on computer Aided Design, ICCAD 2000

ISBN: (纸本)0780364457

The proceedings contain 93 papers. The topics discussed include: physical planning with retiming;corner block list: an effective and efficient topological representation of non-slicing floorplan;modeling non-slicing floorplans with binary trees;event driven simulation without loops or conditionals;observability analysis of embedded software for coverage-directed validation;a methodology for verifying memory access protocols in behavioral synthesis;symbolic debugging scheme for optimized hardware and software;automated data dependency size estimation with a partially fixed execution ordering;effects of global interconnect optimizations on performance estimation of deep submicron design;impact of systematic spatial intra-chip gate length variability on performance of high-speed digital circuits;and miller factor for gate-level coupling delay calculation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

international Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 1999

International Workshop on Applications of Graph Transformati...

引用

international Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 1999

ISBN: (纸本)9783540451044

The proceedings contain 43 papers. The special focus in this conference is on Modularization Concepts, Distributed System Modelling, Software architectures, Visual Graph Transformation Languages and Tool Development. The topics include: Term graph rewriting and mobile expressions in functional languages;graph transformation modules and their composition;modeling distributed systems by modular graph transformation based on refinement via rule expressions;from UML descriptions of high-level software architectures to LQN performance models;on a uniform representation of transformation systems;a note on modeling agent systems by graph transformations;compositional construction of simulation models using graph grammars;graph-based reverse engineering and reengineering tools;support for design patterns through graph transformation tools;conditional graph rewriting as a domain-independent formalism for software evolution;from graph transformation rules to rule-based programming with diagrams;using fujaba for the development of production control systems;a formal definition of structured analysis with programmable graph grammars;creating semantic representations of diagrams;defining the syntax and semantics of natural visual languages;a development environment for visual languages;a combined graph schema and graph grammar approach to consistency in distributed data modeling;improving the publication chain through high-level authoring support;learning and rewriting in fuzzy rule graphs;document table recognition by graph rewriting;image structure from monotonic dual graph contraction;planning geometric constraint decompositions via optimal graph transformations and tool support for viewpoint-oriented software development.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling

Discrete event system specification (DEVS) and StateMate Sta...

引用

international conference and Workshop on Engineering of computer-Based systems

作者： S. Schulz T.C. Ewing J.W. Rozenblit Department of Electrical and Computer Engineering University of Arizona Tucson USA

Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully implemented in a commercially available tool suite. We argue that the DEVS formalism is more expressive than StateCharts and can also be applied to the design of such systems. In this paper we want to show that we can in fact build equivalent StateChart models directly from DEVS models and execute them in the available development environments. The presented mapping of the two system modeling formalisms promises to combine the benefits of formally well-defined models and a sound tool implementation.

关键词： Discrete event systems embedded system Automata Unified modeling language Design methodology computer industry Microwave integrated circuits Discrete event simulation Automatic control Control systems

来源：评论

学校读者我要写书评

暂无评论

Efficient resource management for hard real-time communication over differentiated services architectures

Efficient resource management for hard real-time communicati...

引用

IEEE international conference on embedded and Real-Time Computing systems and Applications (RTCSA)

作者： B. Choi R. Bettati Department of Computer Science Texas A and M University College Station TX USA

We propose an efficient strategy for resource management for scalable QoS guaranteed real-time communication services. This strategy is based on sink trees, and is particularly well suited for differentiated-services based architectures. We first show that finding a set of sink-trees in a given network is NP-complete. Then we propose a heuristic algorithm that always efficiently produces a set of sink-trees for a given network. Sink-tree based resource management integrates routing and resource reservation along the routes, and therefore has a number of advantages over other resource management scheme, in terms of: admission probability, link resource utilization, flow set up latency, signaling overhead, and routing over-head. In this paper we show by simulation experiments that even for simple cases the sink-tree based approach shows excellent results in terms of admission probability.

关键词： Resource management Admission control Routing Web and internet services Scalability Aggregates computer architecture computer science Delay Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Reuse-oriented design of embedded systems

Reuse-oriented design of embedded systems

引用

international conference on Knowledge-Based Intelligent Information Engineering systems (KES)

作者： D. Monjau M. Sporer Department of Computer Science Chemnitz University of Technology Chemnitz Germany

The paper describes an object oriented model and a reuse oriented methodology for the co-design of embedded computer systems. Our approach is based on a hierarchy of classes which describes all possible specifications of systems of a certain domain, the behavior of hardware and software components, and the target architectures. The content of this knowledge base (reusable, formalized descriptions) is determined by the analysis of known systems. We present solutions for a specification methodology, the modeling of heterogeneous systems by task graphs, and the mapping process from specified requirements down to hard- or software components in a target architecture. This approach is illustrated by functions of the domain of robot controls.

关键词： embedded system Robot control Object oriented modeling systems engineering and theory Intelligent robots Chemical technology computer science embedded computing Microelectronics Process design

来源：评论

学校读者我要写书评

暂无评论

architectures for distributed information systems supporting environmental simulation

Architectures for distributed information systems supporting...

引用

computer Science Society (SCCC) international conference Chilean FLAGGED

作者： S. Unger T. Asselmeyer GMD FIRST Berlin Germany

Different distributed environmental simulation systems are presented. They take advantage of the possibilities of modern network technologies to gather input data, perform simulation and spread the simulation results. The term 'distributed' applies in this context both to the simulation, which is a parallel (distributed) simulation on computer networks, and to the fact, that all components (pre- and postprocessing and the simulation models) may reside in different locations and will be accessed via the Web. The systems described use this architecture to a different extent. Based on this it is shown, that it should be possible to build a system which links various data sources, simulation models, visualization and information tools, all of them running possibly remotely on the corresponding hardware. Such a system would form a distributed virtual laboratory.

关键词： Distributed information systems Computational modeling Context modeling computer simulation Air pollution Data visualization Soil Atmospheric measurements Pollution measurement Modems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共274页 << < 241 242 243 244 245 246 247 248 249 250 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：