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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

257 篇 期刊文献
223 篇 会议
14 册 图书

馆藏范围

494 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

298 篇 工学
- 181 篇 计算机科学与技术...
- 138 篇 软件工程
- 62 篇 信息与通信工程
- 39 篇 控制科学与工程
- 33 篇 电子科学与技术（可...
- 33 篇 生物医学工程（可授...
- 32 篇 核科学与技术
- 32 篇 生物工程
- 30 篇 电气工程
- 20 篇 土木工程
- 18 篇 机械工程
- 17 篇 光学工程
- 17 篇 船舶与海洋工程
- 14 篇 仪器科学与技术
- 9 篇 建筑学
- 9 篇 航空宇航科学与技...
195 篇 理学
- 76 篇 物理学
- 54 篇 数学
- 42 篇 生物学
- 26 篇 系统科学
- 17 篇 统计学（可授理学、...
- 16 篇 海洋科学
73 篇 管理学
- 48 篇 管理科学与工程(可...
- 28 篇 工商管理
- 28 篇 图书情报与档案管...
41 篇 医学
- 33 篇 临床医学
- 28 篇 基础医学(可授医学...
- 17 篇 药学(可授医学、理...
- 12 篇 公共卫生与预防医...
13 篇 法学
- 9 篇 社会学
10 篇 农学
8 篇 教育学
5 篇 经济学
2 篇 艺术学
1 篇 哲学
1 篇 历史学

主题

23 篇 hadron colliders
19 篇 computer archite...
16 篇 computational mo...
10 篇 hadron-hadron sc...
10 篇 artificial intel...
9 篇 computer communi...
9 篇 quality of servi...
9 篇 wireless sensor ...
8 篇 analytical model...
7 篇 software enginee...
7 篇 informatics
7 篇 monitoring
7 篇 synchronization
6 篇 deep learning
6 篇 application soft...
6 篇 space exploratio...
6 篇 resource managem...
6 篇 feature extracti...
6 篇 hardware
6 篇 cms

机构

55 篇 yerevan physics ...
53 篇 centro brasileir...
53 篇 istanbul technic...
52 篇 national and kap...
51 篇 university of sc...
51 篇 university of sp...
50 篇 universidad iber...
50 篇 academy of scien...
50 篇 indian institute...
49 篇 brunel universit...
49 篇 charles universi...
49 篇 zhejiang univers...
48 篇 università di to...
48 篇 department of ph...
46 篇 infn sezione di ...
46 篇 imperial college...
45 篇 department of ph...
45 篇 indian institute...
44 篇 university of de...
43 篇 institute for nu...

作者

26 篇 m. lu
25 篇 g. tonelli
25 篇 d. barney
25 篇 l. valencia palo...
25 篇 t. liu
25 篇 c. hensel
25 篇 lethuillier m.
25 篇 a. garcia-bellid...
25 篇 pauls a.
25 篇 a. steen
25 篇 n. cartiglia
25 篇 d. eliseev
25 篇 lehti s.
25 篇 n. colino
25 篇 f. moortgat
25 篇 waltenberger w.
25 篇 b. clerbaux
25 篇 v. mastrapasqua
25 篇 g. sultanov
25 篇 a. mallampalli

语言

471 篇 英文
19 篇 其他
4 篇 中文

检索条件"机构=Computer Systems Architecture Group Informatics Institute"

共 494 条记录，以下是401-410 订阅

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

详细简洁

排序：

NASA: A generic infrastructure for system-level MP-SoC design space exploration

NASA: A generic infrastructure for system-level MP-SoC desig...

引用

Embedded systems for Real-Time Multimedia (ESTIMedia)

作者： Zai Jian Jia Andy D. Pimentel Mark Thompson Tomás Bautista Antonio Núñez Research Institute for Applied Microelectronics University of Las Palmas Spain Computer Systems Architecture Group Informatics Institute University of Amsterdam Netherlands

System-level simulation and design space exploration (DSE) are key ingredients for the design of multiprocessor system-on-chip (MP-SoC) based embedded systems. The efforts in this area, however, typically use ad-hoc software infrastructures to facilitate and support the system-level DSE experiments. In this paper, we present a new, generic system-level MP-SoC DSE infrastructure, called NASA (Non Ad-hoc Search Algorithm). This highly modular framework uses well-defined interfaces to easily integrate different system-level simulation tools as well as different combinations of search strategies in a simple plug-and-play fashion. Moreover, NASA deploys a so-called dimension-oriented DSE approach, allowing designers to configure the appropriate number of, possibly different, search algorithms to simultaneously co-explore the various design space dimensions. As a result, NASA provides a flexible and re-usable framework for the systematic exploration of the multi-dimensional MP-SoC design space, starting from a set of relatively simple user specifications. To demonstrate the distinct aspects of NASA, we also present several DSE experiments in which we, e.g., compare NASA configurations using a single search algorithm for all design space dimensions to configurations using a separate search algorithm per dimension. These experiments indicate that the latter multi-dimensional co-exploration can find better design points and evaluates a higher diversity of design alternatives as compared to the more traditional approach of using a single search algorithm for all dimensions.

关键词： NASA Algorithm design and analysis Space exploration Program processors Analytical models Maintenance engineering Topology

来源：评论

学校读者我要写书评

暂无评论

Automating composite SLA management tasks by exploiting service dependency information

Automating composite SLA management tasks by exploiting serv...

引用

8th European Conference on Web Services, ECOWS 2010

作者： Winkler, Matthias Springer, Thomas Schill, Alexander SAP Research CEC Dresden SAP AG Chemnitzer Str. 48 01187 Dresden Germany Faculty of Computer Science Computer Networks Group Institute for Systems Architecture Nöthnitzer Str. 46 01187 Dresden Germany

ISBN: (纸本)9780769543109

According to the Internet of Services vision, composite services are created by composing services to complex business processes. The relationships between services in a composition are defined by Service Level Agreements (SLAs). Managing composite SLAs is a complex task which is currently performed manually. In this paper we present an approach for automating the management of composite SLAs by exploiting the explicit knowledge about dependencies between composed services. We define a formal model for representing a set of dependencies. A set of algorithms exploits this information to automate tasks of composite SLA management. These tasks are the validation of SLAs during negotiation, the evaluation of SLA renegotiation requests and the evaluation of SLA violations with regard to their effects on other services. We have validated our approach based on a logistics scenario. We present results with respect to performance and a set of test cases demonstrating the added value of dependency information based automated SLA management. © 2010 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table Structures

A Data Warehouse Model for Integrating Fuzzy Concepts in Met...

引用

Annual IEEE International Conference on Engineering of computer Based systems

作者： Daniel Fasel Khurram Shahzad Information System Research Group Department of Informatics University of Fribourg Information Systems Laboratory Department of Computer and System Science Royal Institute of Technology (KTH)

ISBN: (纸本)9781424465378;9780769540054

In classical data warehouses (DWH), classification of values takes place in a sharp manner, because of this true values cannot be measured and smooth transition between classes does not occur. In this paper, a fuzzy data warehouse (FDWH) modeling approach, which allows integration of fuzzy concepts without affecting the core of a DWH is presented. This is accomplished through the addition of a meta-table structure, which enables integration of fuzzy concepts on dimensions and facts, while preserving the time-invariability of the DWH and allowing analysis of data both sharp and fuzzy. A comparison to existing approaches for integrating fuzzy concepts in DWH is presented. Guidelines for modeling the fuzzy meta-tables and a meta-model for the FDWH are also outlined in this paper. The use of the proposed approach is demonstrated by a retail company example. Finally, a comparison of fuzzy and classical data warehousing approaches is presented.

关键词： Fuzzy Data warehousing table structure DNA Integration integration meta-models smooth transition

来源：评论

学校读者我要写书评

暂无评论

Automating Composite SLA Management Tasks by Exploiting Service Dependency Information

Automating Composite SLA Management Tasks by Exploiting Serv...

引用

European Conference on Web Services (ECOWS)

作者： Matthias Winkler Thomas Springer Alexander Schill SAP Research CEC Dresden SAP AG Dresden Germany Faculty of Computer Science Institute of Systems Architecture Computer Networks Group Technical University of Dresden Dresden Germany

关键词： Quality of service Logistics Contracts Monitoring Adaptation model Internet

来源：评论

学校读者我要写书评

暂无评论

Evaluating the impact of communication latency on applications running over on-chip multiprocessing platforms: A layered approach

Evaluating the impact of communication latency on applicatio...

引用

IEEE International Conference on Industrial informatics (INDIN)

作者： Leandro Soares Indrusiak Luciano Copello Ost Fernando Gehm Moraes Sanna Määttä Jari Nurmi Leandro Möller Manfred Glesner Real-Time Systems Group-Computer Science Department University of York UK Informatics Department Catholic University of Rio Grande do Sul Porto Alegre Brazil Department of Computer Systems Tampere University of Technology Finland Institute of Microelectronic Systems Darmstadt University of Technology Germany

ISBN: (纸本)9781424472987;9781424473007

The evaluation of communication latency in multiprocessor platforms requires the profiling of the application, the description of the architecture of the platform and of the mapping of application tasks onto processing cores. In this paper, we describe a layered approach that allows application developers to obtain accurate figures for communication latency from an abstract model of the application functionality. A complete separation of concerns is a critical part of this approach, so the major contribution here is the definition of interfaces between different layers: an abstract application model, its executable counterpart, the mapping heuristic and the multiprocessor platform model. Case studies with a realistic application and a NoC-based multiprocessor platform show the potential of the proposed approach using two different system evaluation techniques: simulation and static analysis.

关键词： Delay Unified modeling language Application software Real time systems Network-on-a-chip System-on-a-chip computer science informatics Microelectronics Analytical models

来源：评论

学校读者我要写书评

暂无评论

Feature based slam using side-scan salient objects

Feature based slam using side-scan salient objects

引用

OCEANS

作者： Josep Aulinas Xavier Lladó Joaquim Salvi Yvan R. Petillot Computer Vision and Robotics Group Institute of Informatics and Applications University of Girona Girona Spain Oceans Systems Laboratory School of Engineering and Physical Sciences Heriot-Watt University Edinburgh UK

Different underwater vehicles have been developed in order to explore underwater regions, specially those of difficult access for humans. Autonomous Underwater Vehicles (AUVs) are equipped with on-board sensors, which provide valuable information about the vehicle state and the environment. This information is used to build an approximate map of the area and estimate the position of the vehicle within this map. This is the so called Simultaneous Localization and Mapping (SLAM) problem. In this paper we propose a feature based submapping SLAM approach which uses side-scan salient objects as landmarks for the map building process. The detection of salient features in this environment is a complex task, since sonar images are noisy. We present in this paper an algorithm based on a set of image preprocessing steps and the use of a boosted cascade of Haar-like features to perform the automatic detection in side-scan images. Our experimental results show that the method produces consistent maps, while the vehicle is precisely localized.

关键词： Simultaneous localization and mapping Vehicles Feature extraction Sonar detection Object detection Sonar navigation

来源：评论

学校读者我要写书评

暂无评论

Reports of the AAAI 2010 conference workshops

Reports of the AAAI 2010 conference workshops

引用

作者： Aha, David W. Boddy, Mark Bulitko, Vadim D'Avila Garcez, Artur S. Doshi, Prashant Edelkamp, Stefan Geib, Christopher Gmytrasiewicz, Piotr Goldman, Robert P. Halevy, Alon Hitzler, Pascal Isbell, Charles Josyula, Darsana Kaelbling, Leslie Pack Kersting, Kristian Kunda, Maithilee Lamb, Luis C. Marthi, Bhaskara McGreggor, Keith Mihalkova, Lilyana Nastase, Vivi Natarajan, Sriraam Provan, Gregory Raja, Anita Ram, Ashwin Riedl, Mark Russell, Stuart Sabharwal, Ashish Smaus, Jan-Georg Sukthankar, Gita Tuyls, Karl Van Der Meyden, Ron Adaptive Systems Section Naval Research Laboratory Washington DC United States Adventium Labs. Minneapolis MN United States Department of Computer Science University of Alberta Canada City University London United Kingdom University of Georgia United States University of Bremen Germany School of Informatics University of Edinburgh United Kingdom University of Illinois Chicago United States Smart Information Flow Technologies LLC Minneapolis MN United States Structured Data Group Google Research United States Department of Computer Science Wright State University Dayton OH United States School of Interactive Computing Georgia Institute of Technology Atlanta GA United States Department of Computer Science Bowie State University United States Department of Computer Science and Engineering Massachusetts Institute of Technology United States Statistical Relational Mining Group Fraunhofer IAIS Germany Department of Computer Science Federal University of Rio Grande Do sul Brazil Willow Garage Inc. CA United States Computer Science Department University of Maryland College Park United States Heidelberg Institute for Theoretical Studies Heidelberg Germany Department of Computer Science University of Wisconsin Madison United States University College Cork Ireland Cork Complex Systems Lab. Ireland Department of Software and Information Systems University of North Carolina Charlotte United States Department of Computer Science and Engineering University of California Berkeley United States Department of Computer Science Cornell University United States Institute for Computational Sustainability United States University of Freiburg Germany School of Electrical Engineering and Computer Science University of Central Florida United States Maastricht University Netherlands University of New South Wales NICTA Australia

The AAAI-10 workshop program was held on July 11-12, 2010, at the Westin Peachtree Plaza in Atlanta, Georgia. The workshop program included 13 workshops covering a wide range of topics in artificial intelligence. There were several presentations on particular formalisms for combining the levels of planning from the perspectives of classical planning, motion planning, POMDPs, search-based planning, and temporal logic-based constraints. Henry Lieberman from Massachusetts institute of Technology Media Laboratory presented work developing a platform for knowledge acquisition and usage from expert users, built upon experience with eliciting information from nonexperts in a collaborative manner. The objective of the AAAI Workshop on Goal-Directed Autonomy (GDA) was to encourage discussion and novel contributions on intelligent agents that can self-select their goals. Jeremy Baxter from QinetiQ focused on user interaction, while Nick Hawes described a goal-directed reasoning framework for controlling a mobile robot.

关键词： Motion planning

来源：评论

学校读者我要写书评

暂无评论

System-level MP-SoC design space exploration using tree visualization

System-level MP-SoC design space exploration using tree visu...

引用

Embedded systems for Real-Time Multimedia (ESTIMedia)

作者： Toktam Taghavi Andy D. Pimentel Mark Thompson Computer Systems Architecture Group Informatics Institute University of Amsterdam Amsterdam Netherlands

The complexity of today's embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space exploration is especially needed during the early design stages, where the design space is at its largest. Due to the exponential design space in real problems, evaluating and comparing every single point in the design space is infeasible. Therefore, heuristic search techniques, such as Evolutionary Algorithms (EA), are often used to search the design space for optimum design points using only a finite number of design-point evaluations. Understanding how the design space was searched by such searching algorithms and providing insight into the ¿landscape¿ of the design space, may be of invaluable importance to the designer, To this end, this paper presents a novel interactive visualization application, based on tree visualization, to understand the search dynamics of an evolutionary algorithm and to visualize where the optimum design points are located in the design space.

关键词： Space exploration Algorithm design and analysis Evolutionary computation Data visualization Embedded system Context modeling Embedded computing computer architecture informatics Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Improving Task-driven Software Development Approaches for Creating Service-Based Interactive Applications by Using Annotated Web Services

Improving Task-driven Software Development Approaches for Cr...

引用

International Conference on Next Generation Web Services Practices (NWeSP)

作者： Marius Feldmann Gerald Hubsch Thomas Springer Alexander Schill Department of Computer Science Institute of Systems Architecture Computer Networks Group Technische Universität Dresden Dresden Germany

The aspect of human interaction becomes more and more relevant for service-oriented applications. On one hand, current development approaches support the composition of services but neglect the creation of user interfaces. On the other hand, task-based modeling of user interactions is well established but poorly integrated into service-oriented development. In this paper we propose an integrated modelling approach for the task-driven development of interactive service-oriented applications. Our central concept is the introduction of annotations as part of the Web service description. These annotations cover information relevant for the semi-automatic generation of task models and user interfaces. We present the annotation concept as well as concepts for the integration of the annotations into a task-driven software development methodology.

关键词： Programming Application software Web services Logic User interfaces Skeleton Inference mechanisms Next generation networking computer science computer architecture

来源：评论

学校读者我要写书评

暂无评论

Introducing control-flow inclusion to support pipelining in custom instruction set extensions

Introducing control-flow inclusion to support pipelining in ...

引用

Symposium on Application Specific Processors, SASP

作者： Marcela Zuluaga Theo Kluter Philip Brisk Nigel Topham Paolo Ienne School of Informatics Institute for Computing Systems Architecture University of Edinburgh Edinburgh UK School of Computer and Communication Sciences Ecole Polytechnique Fédérale de Lausanne Lausanne Switzerland

Multicycle instruction set extensions (ISE) can be pipelined in order to increase their throughput; however, typical program traces seldom contain consecutive calls to the same ISE that would allow this temporal parallelism. Often, there are intermittent calls to branch instructions, at a minimum, that prevent the pipelined execution of subsequent calls to the same ISE within a loop. What is needed is ISEs that cover an entire loop body, which can create a stream of repeated calls to the same ISE during program execution; this, in turn, permits the use of hardware pipelining. To address this concern, we introduce a new type of ISE that borrows ideas from zero overhead loop instructions to permit pipelined execution of loops. To further expose instruction level parallelism, the ISE supports loops whose bodies form hyperblocks, which are regions of program control flow that have multiple exits (including loop iterations and break points within loops). These ISEs broaden the scope of instruction level parallelism and obtain higher speed ups compared to traditional ISEs, primarily through pipelining, the exploitation of spatial parallelism, and reducing the overhead of control flow statements and branches.

关键词： Pipeline processing Parallel processing Coprocessors Hardware computer aided instruction Concurrent computing Electronic mail Costs Design automation Application specific processors

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共50页 << < 37 38 39 40 41 42 43 44 45 46 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：