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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

477 篇 会议
408 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

502 篇 工学
- 291 篇 计算机科学与技术...
- 238 篇 软件工程
- 71 篇 信息与通信工程
- 52 篇 生物工程
- 50 篇 控制科学与工程
- 48 篇 电气工程
- 44 篇 电子科学与技术（可...
- 43 篇 土木工程
- 40 篇 生物医学工程（可授...
- 38 篇 船舶与海洋工程
- 33 篇 化学工程与技术
- 28 篇 光学工程
- 27 篇 材料科学与工程（可...
- 25 篇 机械工程
- 23 篇 仪器科学与技术
353 篇 理学
- 115 篇 数学
- 93 篇 生物学
- 85 篇 物理学
- 44 篇 统计学（可授理学、...
- 40 篇 化学
- 36 篇 海洋科学
- 26 篇 系统科学
121 篇 管理学
- 83 篇 管理科学与工程(可...
- 48 篇 工商管理
- 41 篇 图书情报与档案管...
69 篇 医学
- 49 篇 临床医学
- 42 篇 基础医学(可授医学...
- 23 篇 公共卫生与预防医...
27 篇 农学
23 篇 法学
- 20 篇 社会学
20 篇 教育学
- 20 篇 教育学
15 篇 经济学
3 篇 艺术学
1 篇 文学
1 篇 军事学

主题

31 篇 computer science
22 篇 computer archite...
22 篇 systems engineer...
17 篇 machine learning
16 篇 computational mo...
14 篇 neural networks
14 篇 optimization
14 篇 accuracy
14 篇 training
13 篇 conferences
12 篇 predictive model...
12 篇 software
12 篇 data models
11 篇 software enginee...
11 篇 collaborative wo...
11 篇 semantics
11 篇 artificial intel...
11 篇 collaboration
11 篇 adaptation model...
10 篇 knowledge manage...

机构

12 篇 systems engineer...
11 篇 systems engineer...
9 篇 postgraduate pro...
7 篇 health managemen...
7 篇 department of bi...
7 篇 tércio pacitti i...
7 篇 the pillar of in...
6 篇 university colle...
6 篇 faculty of infor...
6 篇 the school of au...
5 篇 leeds institute ...
5 篇 department of ph...
5 篇 center for psych...
5 篇 department of in...
5 篇 institute for pa...
5 篇 department of co...
5 篇 department of st...
5 篇 university of pi...
5 篇 arnie charbonnea...
5 篇 university centr...

作者

17 篇 daniel schneider
14 篇 jano moreira de ...
12 篇 antónio correia
10 篇 niyato dusit
9 篇 travassos guilhe...
9 篇 xiong zehui
9 篇 marcos antonio d...
9 篇 du hongyang
7 篇 llanos carlos h.
7 篇 barbosa valmir c...
7 篇 m.a. teixeira
7 篇 kang jiawen
7 篇 werner cláudia
6 篇 carlos h. llanos
6 篇 mattoso marta
6 篇 muñoz daniel m.
6 篇 rob knight
6 篇 wang hsin-min
6 篇 g. zaverucha
6 篇 ayala-rincón mau...

语言

803 篇 英文
80 篇 其他
5 篇 中文
2 篇 日文
1 篇 德文
1 篇 法文

检索条件"机构=Systems Engineering and Computer Science Program-COPPE"

共 888 条记录，以下是671-680 订阅

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

详细简洁

排序：

An agent-based architecture for knowledge management in context-aware business processes

An agent-based architecture for knowledge management in cont...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Leonardo A. de C. Gatti Flávia Maria Santoro Vanessa T. Nunes NP2TEC - Research and Practice Group in Information Technology UNIRIO Rio de Janeiro Brazil NP2TEC-Research and Practice Group in Information Technology Department of Applied Informatics UNIRIO Federal University of Rio de Janeiro Rio de Janeiro Brazil COPPE - Systems Engineering and Computer Science Program UFRJ Rio de Janeiro Brazil

The main knowledge management challenges are to capture, store and reuse contextual knowledge generated during interactions that occur daily in an organization. In this paper, we propose an activity context-aware architecture to support knowledge management in working processes. The required features for this architecture are processing, reasoning and sharing contextual knowledge involving information about activities performed. We also present results from evaluation of our proposal — A-CoBrA — for a specific domain.

关键词： Knowledge management computer architecture Context modeling Collaborative work Proposals Information technology Informatics Service oriented architecture Ontologies Knowledge engineering

来源：评论

学校读者我要写书评

暂无评论

Accelerating the Shuffled Frog Leaping algorithm by parallel implementations in FPGAs

Accelerating the Shuffled Frog Leaping algorithm by parallel...

引用

International Conference on Bio-Inspired Computing: Theories and Applications, BICTA

作者： Daniel M. Muñoz Carlos H. Llanos Leandro dos S. Coelho Mauricio Ayala-Rincón Department of Mechanical Engineering University of Brasilia Brasilia D.F Brazil Industrial and Systems Engineering Graduate Program Pontifical Catholic University of Parana Curitiba Parana Brazil Department of Computer Science and Mathematics University of Brasilia Brasilia D.F Brazil

Meta-heuristics are efficient techniques for solving large scale optimization problems in which traditional mathematical techniques are impractical or provide suboptimal solutions. The Shuffled Frog Leaping algorithm (SFLA) is a stochastic iterative method, bio-inspired on the memetic evolution of a group of frogs when seeking for food, which combines the social behavior-based of the particle swarm optimization technique (PSO) and the global information exchange of memetic algorithms. However, the SFLA algorithm suffers on large execution times, being this problem clearly evident when solving complex optimization problems for embedded applications. This drawback can be overcome by exploiting the parallel capabilities of the SFLA. This paper proposes a hardware parallel implementation of the SFLA algorithm (HPSFLA) using FPGAs (Field programmable gate Arrays) and the efficient floating-point arithmetic. The proposed architecture allows the SFLA to improve the functionality of the algorithm as well as to decrease the execution times by implementing parallel frogs and parallel memeplexes. Three well-known benchmark problems have been used to validate the implemented algorithm and simulation results demonstrate that the HPSFLA speeds-up by factors of 362, 727 and 211 a C-code implementation using an embedded microprocessor for the Sphere, Rastrigin and Rosenbrock benchmarks problems, respectively. Synthesis, simulation and execution time results demonstrate the effectiveness of the proposed HPSFLA architecture for embedded optimization systems.

关键词： Mathematics Field programmable gate arrays Table lookup

来源：评论

学校读者我要写书评

暂无评论

SpMT WaveCache: Exploiting thread-level parallelism in WaveScalar

SpMT WaveCache: Exploiting thread-level parallelism in WaveS...

引用

2009 WRI World Congress on computer science and Information engineering, CSIE 2009

作者： Pei, Songwen Wu, Baifeng Du, Min Chen, Gang Marzulo, Leandro A. J. Franca, Felipe M. G. School of Computer Science Fudan University 200433 Shanghai China Systems Engineering and Computer Science Program COPPE Rio de Janeiro Brazil

ISBN: (纸本)9780769535074

Speculative Multithreading (SpMT) increases the performance by means of executing multiple threads speculatively to exploit thread-level parallelism. By combining software and hardware approaches, we have improved the capabilities of previous WaveScalar ISA on the basis of Transactional Memory system for the WaveCache Architecture. Threads are extracted at the course of static compiling, and speculatively executed as a thread-level transaction that is supported by extra hardware components, such as Thread-Context-Table (TCT) and Thread-Memory-History (TMH). We have evaluated the SpMT WaveCache with 6 real benchmarks from SPEC, Mediabench and Mibench. On the whole, the SpMT WaveCache outperforms superscalar architecture ranging from 2X to 3X, and great performance gains are achieved over original WaveCache and Transactional WaveCache as well. © 2008 IEEE.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

Improving a web usability inspection technique using qualitative and quantitative data from an observational study

Improving a web usability inspection technique using qualita...

引用

SBES 2009 - 23rd Brazilian Symposium on Software engineering

作者： Conte, Tayana Vaz, Verônica Massolar, Jobson Mendes, Emilia Travassos, Guilherme Horta Manaus Brazil Systems Engineering and Computer Science Program COPPE UFRJ Rio de Janeiro Brazil Computer Science Department University of Auckland Auckland New Zealand

ISBN: (纸本)9780769538440

We have proposed a checklist-based usability inspection technique (WDP - Web Design Perspectives-Based Usability Evaluation) specific for Web applications' usability evaluation and we are following an experimentation-based methodology to support its development and improvement. This paper describes an observational study conducted, aimed at eliciting how inspectors apply the WDP technique. We discuss the quantitative and qualitative results of the result and their impact on improving the WDP technique. We analyzed the qualitative data using the procedures from the Grounded Theory (GT) method. © 2009 IEEE.

关键词： Inspection

来源：评论

学校读者我要写书评

暂无评论

Action research use in software engineering: An initial survey 09

Action research use in software engineering: An initial surv...

引用

2009 3rd International Symposium on Empirical Software engineering and Measurement, ESEM 2009

作者： Dos Santos, Paulo Sérgio Medeiros Travassos, Guilherme Horta Systems Engineering and Computer Science Department PESC/COPPE UFRJ Rio de Janeiro Brazil

ISBN: (纸本)9781424448418

This paper presents a literature survey of action research (AR) studies published in nine major Software engineering (SE) journals and three conference proceedings in the period 1993 to June 2009. A strict selection based on distinguishing SE from Information systems research has identified 16 papers. Although they represent a very small fraction of the studies being conducted in SE, such papers concern with different SE contexts allowing to get information about the increasing tendency in the AR use in software engineering. However, as shown by the initial results, SE researchers should invest more on rigor when defining, applying and reporting AR studies in SE. © 2009 IEEE.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Porantim: An approach to support the combination and selection of model-based testing techniques

Porantim: An approach to support the combination and selecti...

引用

2009 ICSE Workshop on Automation of Software Test, AST 2009

作者： Neto, Arilo Claudio Dias Travassos, Guilherme Horta Federal University of Rio de Janeiro Systems Engineering and Computer Science Program COPPE/UFRJ P.O. Box 68511 21941-972 Rio de Janeiro RJ Brazil

ISBN: (纸本)9781424437436

The technical literature regarding Model-based Testing (MBT) has several techniques with different characteristics and goals available to be applied in software projects. Besides the lack of information regarding these techniques, they could be applied together in a software project aiming at improving the testing coverage. However, this decision needs to be carefully analyzed to avoid loss of resources in a software project. Based on this scenario, this paper proposes an approach with the purpose of supporting the unique or combined selection of MBT techniques for a given software project considering two aspects: the adequacy level between MBT techniques and the software project characteristics and impact of more than one MBT technique in some testing process variables. At the end, preliminary results of an experimental evaluation are presented.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Using modal logics to express and check global graph properties

Using modal logics to express and check global graph propert...

引用

作者： Benevides, Mario R.F. Schechter, L. Menasché Computer Science Department Systems and Computer Engineering Program Federal University of Rio de Janeiro Rio de Janeiro Brazil Systems and Computer Engineering Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

Graphs are among the most frequently used structures in computer science. Some of the properties that must be checked in many applications are connectivity, acyclicity and the Eulerian and Hamiltonian properties. In this work, we analyze how we can express these four properties with modal logics. This involves two issues: whether each of the modal languages under consideration has enough expressive power to describe these properties and how complex (computationally) it is to use these logics to actually test whether a given graph has some desired property. First, we show that these properties are not definable in a basic modal logic or in any bisimulation-invariant extension of it, like the modal μ-calculus. We then show that it is possible to express some of the above properties in a basic hybrid logic. Unfortunately, the Hamiltonian and Eulerian properties still cannot be efficiently checked. In a second attempt, we propose an extension of CTL* with nominals and show that the Hamiltonian property can be more efficiently checked in this logic than in the previous one. In a third attempt, we extend the basic hybrid logic with the ↓ operator and show that we can check the Hamiltonian property with optimal (NP) complexity in this logic. Finally, we tackle the Eulerian property in two different ways. First, we develop a generic method to express edge-related properties in hybrid logics and use it to express the Eulerian property. Second, we express a necessary and sufficient condition for the Eulerian property to hold using a graded modal logic. © The Author 2009. Published by Oxford University Press. All rights reserved.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

SpMT WaveCache: Exploiting Thread-Level Parallelism in WaveScalar

SpMT WaveCache: Exploiting Thread-Level Parallelism in WaveS...

引用

computer science and Information engineering, CSIE, WRI World Congress on FLAGGED

作者： Songwen Pei Baifeng Wu Min Du Gang Chen Leandro A.J. Marzulo Felipe M.G. Franca School of Computer Science Fudan University Shanghai China Systems Engineering and Computer Science Program COPPE Rio de Janeiro Brazil

Speculative multithreading (SpMT) increases the performance by means of executing multiple threads speculatively to exploit thread-level parallelism. By combining software and hardware approaches, we have improved the capabilities of previous WaveScalar ISA on the basis of transactional memory system for the WaveCache Architecture. Threads are extracted at the course of static compiling, and speculatively executed as a thread-level transaction that is supported by extra hardware components, such as thread-context-table (TCT) and thread-memory-history (TMH). We have evaluated the SpMT WaveCache with 6 real benchmarks from SPEC, Mediabench and Mibench. On the whole, the SpMT WaveCache outperforms superscalar architecture ranging from 2times to 3times, and great performance gains are achieved over original WaveCache and transactional WaveCache as well.

关键词： Yarn Parallel processing Multithreading Hardware computer science computer architecture Instruction sets Out of order program processors Protocols

来源：评论

学校读者我要写书评

暂无评论

Porantim: An approach to support the combination and selection of Model-based Testing techniques

Porantim: An approach to support the combination and selecti...

引用

International Workshop on Automation of Software Test (AST)

作者： Arilo Claudio Dias Neto Guilherme Horta Travassos Systems Engineering and Computer Science Program-COPPE/UFRJ Federal University of Rio de Janeiro Rio de Janeiro Brazil

The technical literature regarding model-based testing (MBT) has several techniques with different characteristics and goals available to be applied in software projects. Besides the lack of information regarding these techniques, they could be applied together in a software project aiming at improving the testing coverage. However, this decision needs to be carefully analyzed to avoid loss of resources in a software project. Based on this scenario, this paper proposes an approach with the purpose of supporting the unique or combined selection of MBT techniques for a given software project considering two aspects: the adequacy level between MBT techniques and the software project characteristics and impact of more than one MBT technique in some testing process variables. At the end, preliminary results of an experimental evaluation are presented.

关键词： Software testing Automatic testing Software tools System testing Software quality programming Software systems Costs Context modeling systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

On using grid of collocated APs to improve performance of wireless VoD systems

On using grid of collocated APs to improve performance of wi...

引用

5th International Latin American Networking Conference, LANC 2009

作者： De Pinho, Leonardo Bidese De Amorim, Claudio Luis Computer Engineering - Campus Bage UNIPAMPA - Federal University of Pampa P.O. Box 07 Bage RS 96400-970 Brazil COPPE - Systems Engineering Program UFRJ - Federal University of Rio de Janeiro P.O. Box 68.511 Rio de Janeiro RJ 21941-972 Brazil

ISBN: (纸本)9781605587752

In previous work we showed that Collocated Wireless Access Points coupled with appropriate management of their non-overlapping channels could be used for building Scalable Wireless Video-On-Demand (SWVoD) systems within a limited covered area. In this paper, we introduce the Grid of collocated Access Points or simply GAPS, a novel approach that uses clusters of Collocated Access Points as the basic blocks to efficiently build SWVoD systems for a wider covered area. In GAPS, each basic block is responsible for a distinct part of the covered area and the amount of APs per block can be set either statically or dynamically depending on the client concentration pattern (CCP). We present in details the framework of GAPS and report simulated performance results that indicated that GAPS could significantly decrease the blocking rate of video requests in comparison with previous design based on fixed distribution of basic blocks. In addition, GAPS had the advantage of sustaining the lower blockage rate over larger covered areas. Also, we showed that the higher setup cost of dynamic grids was fully compensated by handling changes on CCP much better than the static scheme so that GAPS could generate a higher monthly net income according to our cost metric. Copyright 2009 ACM.

关键词： Video on demand

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共89页 << < 64 65 66 67 68 69 70 71 72 73 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：