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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

10,310 篇 会议
252 篇 期刊文献
187 册 图书
2 篇 学位论文

馆藏范围

10,751 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

4,861 篇 工学
- 4,309 篇 计算机科学与技术...
- 3,041 篇 软件工程
- 722 篇 电气工程
- 684 篇 信息与通信工程
- 521 篇 控制科学与工程
- 375 篇 电子科学与技术（可...
- 162 篇 机械工程
- 147 篇 动力工程及工程热...
- 98 篇 网络空间安全
- 97 篇 生物工程
- 91 篇 安全科学与工程
- 86 篇 仪器科学与技术
- 79 篇 建筑学
- 71 篇 土木工程
- 71 篇 生物医学工程（可授...
- 64 篇 化学工程与技术
- 57 篇 材料科学与工程（可...
- 54 篇 力学（可授工学、理...
- 54 篇 光学工程
1,331 篇 理学
- 955 篇 数学
- 213 篇 系统科学
- 163 篇 统计学（可授理学、...
- 156 篇 物理学
- 120 篇 生物学
- 67 篇 化学
1,047 篇 管理学
- 827 篇 管理科学与工程(可...
- 409 篇 工商管理
- 253 篇 图书情报与档案管...
120 篇 经济学
- 120 篇 应用经济学
71 篇 法学
- 58 篇 社会学
45 篇 教育学
40 篇 医学
26 篇 农学
14 篇 文学
9 篇 军事学
2 篇 艺术学

主题

1,688 篇 application soft...
899 篇 distributed comp...
876 篇 computer archite...
873 篇 computer science
849 篇 hardware
728 篇 concurrent compu...
668 篇 parallel process...
559 篇 software enginee...
559 篇 computational mo...
446 篇 real time system...
345 篇 runtime
326 篇 costs
324 篇 software systems
319 篇 processor schedu...
317 篇 fault tolerance
315 篇 resource managem...
292 篇 software
289 篇 operating system...
287 篇 scalability
283 篇 bandwidth

机构

35 篇 school of comput...
23 篇 ibm thomas j. wa...
22 篇 department of co...
21 篇 school of softwa...
20 篇 college of compu...
20 篇 school of electr...
19 篇 state key labora...
19 篇 department of el...
19 篇 department of co...
18 篇 department of co...
16 篇 school of comput...
15 篇 department of el...
15 篇 department of co...
15 篇 department of co...
15 篇 department of co...
14 篇 department of el...
14 篇 beijing jiaotong...
13 篇 department of co...
13 篇 school of comput...
13 篇 institute of inf...

作者

20 篇 m. takizawa
20 篇 rajkumar buyya
20 篇 k.h. kim
18 篇 dhabaleswar k. p...
18 篇 jack dongarra
17 篇 m. kandemir
17 篇 h.j. siegel
16 篇 a. choudhary
14 篇 m. parashar
14 篇 howard jay siege...
13 篇 l.r. welch
13 篇 parashar manish
13 篇 gao guang r.
12 篇 dongarra jack
12 篇 h. casanova
12 篇 hari subramoni
12 篇 welch lonnie r.
12 篇 xiao qin
12 篇 maciejewski anth...
11 篇 jun wang

语言

10,619 篇 英文
96 篇 其他
34 篇 中文
1 篇 西班牙文
1 篇 法文
1 篇 葡萄牙文

检索条件"任意字段=International Symposium on Software Engineering for Parallel and Distributed Systems"

共 10751 条记录，以下是4231-4240 订阅

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

详细简洁

排序：

A Spatial Hypertext Wiki for knowledge management

A Spatial Hypertext Wiki for knowledge management

引用

2010 international symposium on Collaborative Technologies and systems, CTS 2010

作者： Solis, Carlos Ali, Nour Lero - The Irish Software Engineering Research Centre University of Limerick Limerick Ireland

ISBN: (纸本)9781424466191

Collaboration is a key factor in successful knowledge management. Recently, wikis have become a popular solution for distributed and collaborative knowledge management. However, most wikis do not appropriately support the facilities needed for group idea creation and can only represent unstructured knowledge (text, images, and hyperlinks) which cannot be reused or systematized. This paper proposes the use of a Spatial Hypertext Wiki (ShyWiki) as a knowledge management wiki which allows users to interact in a distributed and collaborative way in order to generate ideas, and organize and structure knowledge. This type of wiki can help in the externalization of tacit knowledge, and is able to represent explicit knowledge at different levels of formality. Furthermore, the visual and spatial characteristics of this wiki can be used for representing implicit relations among concepts as well as for organizing and visualizing knowledge. © 2010 IEEE.

关键词： Knowledge management

来源：评论

学校读者我要写书评

暂无评论

Speculative execution on multi-GPU systems

Speculative execution on multi-GPU systems

引用

24th IEEE international parallel and distributed Processing symposium, IPDPS 2010

作者： Diamos, Gregory Yalamanchili, Sudhakar School of Electrical and Computer Engineering Georgia Institute of Technology Atlanta GA 30332-0250 United States

ISBN: (纸本)9781424464432

The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of modern systems and the ability of applications to exploit them. Emerging programming models, such as CUDA and OpenCL, force developers to explicitly partition applications into components (kernels) and assign them to accelerators in order to utilize them effectively. An accelerator is a processor with a different ISA and micro-architecture than the main CPU. These static partitioning schemes are effective when targeting a system with only a single accelerator. However, they are not robust to changes in the number of accelerators or the performance characteristics of future generations of accelerators. In previous work, we presented the Harmony execution model for computing on heterogeneous systems with several CPUs and accelerators. In this paper, we extend Harmony to target systems with multiple accelerators using control speculation to expose parallelism. We refer to this technique as Kernel Level Speculation (KLS). We argue that dynamic parallelization techniques such as KLS are sufficient to scale applications across several accelerators based on the intuition that there will be fewer distinct accelerators than cores within each accelerator. In this paper, we use a complete prototype of the Harmony runtime that we developed to explore the design decisions and trade-offs in the implementation of KLS. We show that KLS improves parallelism to a sufficient degree while retaining a sequential programming model. We accomplish this by demonstrating good scaling of KLS on a highly heterogeneous system with three distinct accelerator types and ten processors.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Application of CA CS approach for distributed logistic systems

Application of CA CS approach for distributed logistic syste...

引用

3rd international symposium on Swarm Intelligence Algorithms and Applications symposium - A symposium at the AISB 2010 Convention

作者： Al-Maqtari, Sami Abdulrab, Habib Babkin, Eduard LITIS Laboratory INSA Rouen France TAPRADESS Laboraotry Higher School of Economics State University Nizhny Novgorod Russia

ISBN: (纸本)1902956966

The article offers original approach which is called Controller Agent for Constraints Satisfaction (CACS). That approach combines multi-agent architecture with constraint solvers in the unified framework which expresses major features of Swarm Intelligence approach and replaces traditional stochastic adaptation of the swarm of the autonomous agents by constraint-driven adaptation. We describe major theoretic, methodological and software engineering principles of composition of constraints and agents in the framework of one multi-agent system, as well as application of our approach for modelling of particular logistic problem.

关键词： Autonomous agents

来源：评论

学校读者我要写书评

暂无评论

A policy-based framework for automated SLA negotiation for Internet-based Virtual Computing Environment

A policy-based framework for automated SLA negotiation for I...

引用

16th IEEE international Conference on parallel and distributed systems, ICPADS 2010

作者： Xiao, Zan Cao, Donggang School of Electronics Engineering and Computer Science Peking University Key Laboratory of High Confidence Software Technologies Beijing 100871 China

ISBN: (纸本)9780769543079

Service Level Agreements (SLAs) play an important role in guaranteeing successful collaborations among autonomous entities in Internet-based Virtual Computing Environment (iVCE). However, traditional static and predefined SLAs are not suitable for the open and dynamic iVCE. This paper proposes a policy-based framework for supporting dynamic and automated SLA negotiations between autonomous entities in iVCE. Requirements or constraints on SLA attributes as well as negotiation strategies of negotiating parties are both specified in policy specifications using a simple but expressive policy language that extends the WS-Policy framework. According to these policies, a negotiation agent will be dynamically created for each negotiation party, which is responsible for SLA negotiations on behalf of its owner party. We have implemented a prototype of our framework and demonstrated our approach through a case study. © 2010 IEEE.

关键词： Internet Internet-based virtual computing environment Negotiation Policy SLA WS-Policy framework automated SLA negotiation entity collaboration groupware iVCE negotiation agent negotiation strategy policy language policy specification policy-based framewo

来源：评论

学校读者我要写书评

暂无评论

Cloud computing: New challenge to the entire computer industry

Cloud computing: New challenge to the entire computer indust...

引用

2010 1st international Conference on parallel, distributed and Grid Computing, PDGC - 2010

作者： Mathur, Peeyush Nishchal, Nikhil Department of Computer Engineering Sobhasaria Engineering College Sikar India Sobhasaria Engineering College Sikar India

ISBN: (纸本)9781424476725

Cloud computing is a way of computing, via the Internet, that broadly shares computer resources instead of using software or storage on a local PC. Cloud computing is an outgrowth of the ease-of-access to remote computing sites provided by the Internet. Instead of installing a suite of software for each computer, we'd only have to load one application. That application would allow workers to log into a Web-based service which hosts all the programs the user would need for his or her job. Remote machines owned by another company would run everything from e-mail to word processing to complex data analysis programs. It's called cloud computing, and it could change the entire computer industry. In a cloud computing system, there's a significant workload shift. Local computers no longer have to do all the heavy lifting when it comes to running applications. The network of computers that make up the cloud handles them instead. Hardware and software demands on the user's side decrease. The only thing the user's computer needs to be able to run is the cloud computing systems interface software, which can be as simple as a Web browser, and the cloud's network takes care of the rest. © 2010 IEEE.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

Applying software engineering principles for designing Cloud@Home 10

Applying software engineering principles for designing Cloud...

引用

10th IEEE/ACM international symposium on Cluster, Cloud, and Grid Computing, CCGrid 2010

作者： Cunsolo, V.D. Distefano, S. Puliafito, A. Scarpa, M. Dipartimento di Matematica Università di Messina Contrada Papardo S. Sperone 98166 Messina Italy

ISBN: (纸本)9781424469871

Cloud computing is the "new hot" topic in IT. It combines the maturity of Web technologies (networking, APIs, semantic Web 2.0, languages, protocols and standards such as WSDL, SOAP, REST, WS-BPEL, WS-CDL, IPSEC, etc.), the robustness of geographically distributed computing paradigm (Network, Internet and Grid computing) and self-management capabilities (Autonomic computing), with the capacity to manage quality of services by monitoring, metering, quantifying and billing computing resources and costs (Utility computing). Those have made possible and cost-effective for businesses, small and large, to completely host data- and application-centers virtually... in the Cloud. Our idea of Cloud proposes a new dimension of computing, in which everyone, from single users to communities and enterprises, can, on one hand, share resources and services in a transparent way and, on the other hand, have access to and use such resources and services adaptively to their requirements. Such an enhanced concept of Cloud, enriching the original one with Volunteer computing and interoperability challenges, has been proposed and synthesized in Cloud@Home. The complex infrastructure implementing Cloud@Home has to be supported by an adequate distributed middleware able to manage it. In order to develop such a complex distributed software, in this paper we apply software engineering principles such as rigor, separation of concerns and modularity. Our idea is, starting from a software engineering approach, to identify and separate concerns and tasks, and then to provide both the software middleware architecture and the hardware infrastructure following the hw/sw co-design technique widely used in embedded systems. In this way we want to primarily identify and specify the Cloud@Home middleware architecture and its deployment into a feasible infrastructure;secondly, we want to propose the development process we follow, based on hardware/software co-design, in distributed computing contexts, de

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Leverage simulation for analyzing CBSE/MDD development process of embedded systems

Leverage simulation for analyzing CBSE/MDD development proce...

引用

18th international Conference on software, Telecommunications and Computer Networks, SoftCOM 2010

作者： Paveti, Branka Land, Rikard Infodom D.o.o Zagreb Croatia School of Innovation Design and Engineering Mälardalen University Västerås Sweden

ISBN: (纸本)9789532900217

distributed embedded systems usually have strict quality requirements which need to be verified, and the allocation of software to hardware needs to be considered throughout the whole development process. In this paper, we present usage of simulation in analyzing development process of embedded systems using CARMA principle which combines two paradigms - Component-Based software engineering and Model Driven Development. In development process two types of parallel modeling of hardware are distinguished: modeling of a virtual hardware structure and of the physical structure. Two kinds of verification activities are introduced: milestone verification, which integrates the product requirements into the process through frequent analyses and measurements of the development artifacts, and exploratory analysis, which is informal and carried out by individual developers, similar to debugging. Based on the process model, we have constructed a queuing network model, used for simulations to further explore the characteristics of the development model. Initial simulations give by hand that by increasing the amount of analysis and verification in a project, more errors are found with the same amount of effort and time. There are also dependencies on project risks and the strength of the analysis tool support.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

A consistency check algorithm for component-based refinements of fault trees

A consistency check algorithm for component-based refinement...

引用

2010 IEEE 21st international symposium on software Reliability engineering, ISSRE 2010

作者： Domis, Dominik Höfig, Kai Trapp, Mario Software Engineering Dependability Group University of Kaiserslautern 67653 Kaiserslautern Germany 67663 Kaiserslautern Germany

ISBN: (纸本)9780769542553

The number of embedded systems in our daily lives that are distributed, hidden, and ubiquitous continues to increase. Many of them are safety-critical. To provide additional or better functionalities, they are becoming more and more complex, which makes it difficult to guarantee safety. It is undisputed that safety must be considered before the start of development, continue until decommissioning, and is particularly important during the design of the system and software architecture. An architecture must be able to avoid, detect, or mitigate all dangerous failures to a sufficient degree. For this purpose, the architectural design must be guided and verified by safety analyses. However, state-of-the-art component-oriented or model-based architectural design approaches use different levels of abstraction to handle complexity. So, safety analyses must also be applied on different levels of abstraction, and it must be checked and guaranteed that they are consistent with each other, which is not supported by standard safety analyses. In this paper, we present a consistency check for CFTs that automatically detects commonalities and inconsistencies between fault trees of different levels of abstraction. This facilitates the application of safety analyses in top-down architectural designs and reduces effort. © 2010 IEEE.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

A GPU-inspired soft processor for high-throughput acceleration

A GPU-inspired soft processor for high-throughput accelerati...

引用

2010 IEEE international symposium on parallel and distributed Processing, Workshops and Phd Forum, IPDPSW 2010

作者： Kingyens, Jeffrey Steffan, J. Gregory Department of Electrical and Computer Engineering University of Toronto Canada

ISBN: (纸本)9781424465347

There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose a soft processor programming model and architecture inspired by graphics processing units (GPUs) that are well-matched to the strengths of FPGAs, namely highly-parallel and pipelinable computation. In particular, our soft processor architecture exploits multithreading and vector operations to supply a floating-point pipeline of 64 stages via hardware support for up to 256 concurrent thread contexts. The key new contributions of our architecture are mechanisms for managing threads and register files that maximize data-level and instruction-level parallelism while overcoming the challenges of port limitations of FPGA block memories, as well as memory and pipeline latency. Through simulation of a system that (i) supports AMD's CTM r5xx GPU ISA [1], and (ii) is realizable on an XtremeData XD1000 FPGA-based accelerator system, we demonstrate that our soft processor can achieve 100% utilization of the deeply-pipelined floating-point datapath. © 2010 IEEE.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

A new approach to reorganize code layout of software cache in Dynamic Binary Translator

A new approach to reorganize code layout of software cache i...

引用

international symposium on parallel Architectures, Algorithms, and Programming

作者： He, Yunchao Chen, Kai Gu, Jinghui Deng, Haipeng Liang, Alei Guan, Haibing School of Software Shanghai Jiao Tong University Shanghai China School of Information Security Engineering Shanghai Jiao Tong University Shanghai China School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University Shanghai China Shanghai Key Laboratory of Scalable Computing and Systems Shanghai China

ISBN: (纸本)9780769543123

Dynamic Binary Translation(DBT) is widely used, but it suffers from substantial overhead. Several methods are taken to improve its performance, such as linking/chaining, building superblock according to profiling and/or tracing. Reorganizing code layout of software cache can also improve performance on the ground that the execution stream will be more approximate to its control flow. Once the target code in software cache is reframed properly, hot code will be gathered together and well organized. Because of exact prediction and improved locality, the execution stream will concentrate on a small area with less control transfer. In this paper, we designed a new approach using dynamic-static combined framework to reorganize code layout of software cache. Then we compare it with another two conventional types of code layout in detail. Experimental result shows that our method can significantly cut down the overhead. The overall run time reduced by about 30% on average. Finally, we analyze the reason why reorganizing code layout can improve the performance of dynamic binary translator from several different perspectives. © 2010 IEEE.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 420 421 422 423 424 425 426 427 428 429 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：