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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,299 篇 会议
251 篇 期刊文献
185 册 图书
2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

4,858 篇 工学
- 4,307 篇 计算机科学与技术...
- 3,041 篇 软件工程
- 721 篇 电气工程
- 684 篇 信息与通信工程
- 521 篇 控制科学与工程
- 375 篇 电子科学与技术（可...
- 161 篇 机械工程
- 147 篇 动力工程及工程热...
- 98 篇 网络空间安全
- 97 篇 生物工程
- 91 篇 安全科学与工程
- 86 篇 仪器科学与技术
- 79 篇 建筑学
- 71 篇 土木工程
- 71 篇 生物医学工程（可授...
- 64 篇 化学工程与技术
- 57 篇 材料科学与工程（可...
- 54 篇 力学（可授工学、理...
- 54 篇 光学工程
1,330 篇 理学
- 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...
898 篇 distributed comp...
873 篇 computer science
873 篇 computer archite...
848 篇 hardware
728 篇 concurrent compu...
668 篇 parallel process...
558 篇 software enginee...
557 篇 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,664 篇 英文
37 篇 其他
34 篇 中文
1 篇 西班牙文
1 篇 法文
1 篇 葡萄牙文

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

共 10737 条记录，以下是4801-4810 订阅

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

详细简洁

排序：

Compiler-enhanced incremental checkpointing for OpenMP applications

Compiler-enhanced incremental checkpointing for OpenMP appli...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Greg Bronevetsky Daniel Marques Keshav Pingali Sally McKee Radu Rugina Lawrence Livemore National Laboratory USA Ballista Securities University of Texas Austin USA Chalmers University of Technology Sweden VMware Inc. USA

ISBN: (纸本)9781424437511

As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety of causes. Checkpointing is a popular technique for tolerating such failures, enabling applications to periodically save their state and restart computation after a failure. Although a many automated system-level checkpointing solutions are currently available to HPC users, manual application-level checkpointing remains more popular due to its superior performance. This paper improves performance of automated checkpointing via a compiler analysis for incremental checkpointing. This analysis, which works with both sequential and OpenMP applications, reduces checkpoint sizes by as much as 80% and enables asynchronous checkpointing.

关键词： Checkpointing Runtime Yarn Read-write memory Monitoring Optimizing compilers National security Performance analysis Application software System software

来源：评论

学校读者我要写书评

暂无评论

Manipulating Clocks in Timed Automata Using PVS

Manipulating Clocks in Timed Automata Using PVS

引用

ACIS international Conference on software engineering, Artificial Intelligence, Networking, and parallel/distributed Computing (SNPD)

作者： Qingguo Xu Huaikou Miao School of Computer Engineering and Science Shanghai University Shanghai China

Clock is an important notion in TA (Timed automata). In order to manipulate clock easily and conveniently in TA, a mechanized system called FVofTA (formal verification of timed automata) for specifying and reasoning about real-time systems using TA theory in PVS (prototype verification system) is presented in this paper. This system includes two parts: one for modeling real-time system using TA template in PVS and the other for proof intending for formal verification of real-time system. As one of the important modular of FVofTA, clock manipulations are given in PVS specification and mainly include (1) clock interpretation and clock constraints, (2) clock region equivalence definition and its application, and (3) the clock zone and its DBM (difference-bound matrices) representation. Finally, a case study is investigated with the aid of clock manipulation theories and the results are satisfied.

关键词： Clocks Automata Real time systems Formal verification distributed computing Prototypes software engineering Artificial intelligence Intelligent networks Computer networks

来源：评论

学校读者我要写书评

暂无评论

HCW 2009 keynote talk: GPU computing: Heterogeneous computing for future systems

HCW 2009 keynote talk: GPU computing: Heterogeneous computin...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： John Owens Department of Electrical and Computer Engineering University of California Davis USA

Over the last decade, commodity graphics processors (GPUs) have evolved from fixed-function graphics units into powerful, programmable data-parallel processors. Today's GPU is capable of sustaining computation rates substantially greater than today's modern CPUs, with technology trends indicating a widening gap in the future. Researchers in the rapidly evolving field of GPU computing have demonstrated mappings to these processors for a wide range of computationally intensive tasks, and new programming environments offer the promise of a wider role for GPU computing in the coming years. In this talk I will begin by discussing the motivation and background for GPU computing and describe some of the recent advances in the field. The field of GPU computing has substantially changed over its short lifetime due to new applications, techniques, programming models, and hardware. As parallel computing has decidedly moved into the mainstream, the lessons of GPU computing are applicable to both today's systems as well as to the designers of tomorrow's systems. I will address the way a GPU-CPU system is a heterogeneous system and why it is an interesting one, and discuss some case studies on how one can program and use such a system.

关键词： Computer graphics Power engineering computing Hardware Electrical engineering Programming environments Programming profession parallel processing Concurrent computing Biographies Power engineering and energy

来源：评论

学校读者我要写书评

暂无评论

Decoupling memory pinning from the application with overlapped on-demand pinning and MMU notifiers

Decoupling memory pinning from the application with overlapp...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Brice Goglin INRIA-LABRI-Université Bordeaux 1 Talence France

High-performance cluster networks achieve very high throughput thanks to zero-copy techniques that require pinning of application buffers in physical memory. The Open-MX stack implements message passing over generic Ethernet hardware with similar needs. We present the design of an innovative pinning model in Open-MX based on the decoupling of memory pinning from the application. This idea eases the implementation of a reliable pinning cache in the kernel and enables full overlap of pinning with communication. The pinning cache enables performance improvement when the application reuses the same buffers multiple times, while overlapped pinning is also applicable to other applications. Performance evaluation shows that both these optimizations bring from 5 up to 20% throughput improvements depending on the host and network performance.

关键词： Hardware High-speed networks Operating systems Throughput Kernel Application software Read-write memory Message passing Ethernet networks software performance

来源：评论

学校读者我要写书评

暂无评论

Concurrent adaptive computing in heterogeneous environments (CACHE)

Concurrent adaptive computing in heterogeneous environments ...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： John U. Duselis Isaac D. Scherson The Donald Bren School of Information and Computer Science University of California Irvine Irvine CA USA

We introduce a computational framework for concurrent adaptive computing in heterogeneous environments for computationally intensive applications. This framework considers the presence of inter-connected computational resources which are discoverable and a workload which needs to be executed either by concurrent means or on a singular resource. The selection of resources, using a novel measurement of performance, leads to the adaptive inclusion/exclusion of resources to be used in the efficient execution of workload computations. The adaptive approach is that it makes a determination to include a proper subset of resources for system inclusion to execute a workload, which is contrary (except when the subset is all-inclusive) to a greedy approach where all the resources are seized for the workload application. The selection of a subset of resources may be more efficient due to the high level of heterogeneity of the resources, where, for some resources, certain resource selections may be detrimental or have no value to send work there. Furthermore, this framework aims to lessen the unpredictability and uncontrollability of heterogeneous systems by using this analysis for resource selection.

关键词： Concurrent computing Application software Pervasive computing Computer applications Costs Predictive models Computer science Power system interconnection Power engineering computing Programmable control

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of an easy-to-use automated system to build Beowulf parallel computing clusters

Design and implementation of an easy-to-use automated system...

引用

XXII international symposium on Information, Communication and Automation Technologies, ICAT

作者： Iker Castaños Izaskun Garrido Aitor Garrido Goretti Sevillano Department of Automatic Control and Systems Engineering University of Basque Bilbao Spain Department of Automatic Control and Systems Engineering of the University of the Basque Country Bilbao Spain

Since Beowulf was born in 1994 and NASA constructed the first Beowulf cluster using IBM PCs, several schemes have been developed. This type of clusters allows high-performance parallel computing using low-cost PC hardware. Through this work we have designed and implemented a new operating system for the automatic construction and installation of a Beowulf parallel computing cluster. In particular, the paper presents the operating system and provides an easy way to construct a parallel computing cluster using this technology. The system is capable to support up to 254 computers and it is aimed to provide an environment in which any parallel computing application target may be built instantly from anywhere by anybody. In this sense, the main objective is to provide the researchers with an automated and easy to use tool for constructing low-cost parallel computing clusters in their own laboratories as a way to solve concrete problems or as a previous step before launching the code in a large computing facility as Blue Gene or MareNostrum. The system is fully functional and it can be obtained and distributed in a gnu license basis from the group website: ***/AC.

关键词： parallel processing Operating systems Concurrent computing NASA Personal communication networks Hardware Paper technology Application software Laboratories Concrete

来源：评论

学校读者我要写书评

暂无评论

Network processing performability evaluation on heterogeneous reliability multicore processors using SRN model

Network processing performability evaluation on heterogeneou...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Peter D. Ungsunan Chuang Lin Yang Wang Yi Gai Department of Computer Science and Technology Tsinghua University Beijing China Ming Hsieh Department of Electrical Engineering University of Southern California Los Angeles CA USA

Future network systems and embedded infrastructure devices in ubiquitous environments will need to consume low power and process large amounts of network packet traffic. In order to meet necessary high processing efficiency requirements, future processors will have many heterogeneous cores with reduced reliability due to low voltage, small transistor sizes, semiconductor wearout, and environmental factors such as noise and interference. It will be necessary for multi-core network infrastructure software to mitigate transient hardware faults to maintain acceptable system reliability. Applications such as packet processing can benefit from the reliability versus performance tradeoff. We propose a model based on stochastic reward nets to evaluate the performance vs. reliability tradeoff of unreliable embedded multi-core network processors, and apply this model to a multi-core packet processing application.

关键词： Performance evaluation Multicore processing Power system reliability Power system modeling Telecommunication traffic Traffic control Semiconductor device reliability Low voltage Environmental factors Noise reduction

来源：评论

学校读者我要写书评

暂无评论

software Cost Estimation Using SVR Based on Immune Algorithm

Software Cost Estimation Using SVR Based on Immune Algorithm

引用

ACIS international Conference on software engineering, Artificial Intelligence, Networking, and parallel/distributed Computing (SNPD)

作者： Jooon-kil Lee Ki-Tae Kwon Computer Science Department Kangnung National University Gangwon South Korea

Increasing use of information system has led to larger amount of developing expenses and demands on software. Until recent days, the model using regression analysis based on statistical algorithm has been used. However, Machine learning is more being investigated now. This paper estimates the software cost using SVR (Support Vector Regression), a sort of machine learning technique. It, also, finds the best set of parameters applying immune algorithm. In this paper, software cost estimation is performed by SVR based on immune algorithm while changing populations, memory cells, and the number of allele. Also, this paper analyzes and compares the result with existing linear regression method and other machine learning methods.

关键词： Costs software algorithms Immune system Machine learning algorithms Machine learning software quality software engineering Artificial intelligence Computer science Information systems

来源：评论

学校读者我要写书评

暂无评论

PyMW - A Python module for desktop grid and volunteer computing

PyMW - A Python module for desktop grid and volunteer comput...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Eric M. Heien Yusuke Takata Kenichi Hagihara Adam Kornafeld Graduate School of Information Science and Technology Osaka University Toyonaka Osaka Japan Laboratory of Parallel and Distributed Systems Computer and Automation Research Institute Hungarian Academy of Sciences (ATOMKI) Budapest Hungary

We describe a general purpose master-worker parallel computation Python module called PyMW. PyMW is intended to support rapid development, testing and deployment of large scale master-worker style computations on a desktop grid or volunteer computing environment. This module targets non-expert computer users by hiding complicated task submission and result retrieval procedures behind a simple interface. PyMW also provides a unified interface to multiple computing environments with easy extension to support additional environments. In this paper, we describe the internal structure and external interface to the PyMW module and its support for the Condor computing environment and the Berkeley Open Infrastructure for Network Computing (BOINC) platform. We demonstrate the effectiveness and scalability of PyMW by performing master-worker style computations on a desktop grid using Condor and a BOINC volunteer computing project.

关键词： Grid computing Concurrent computing Computer interfaces Large-scale systems Virtual colonoscopy distributed computing Computer networks software packages Packaging Information science

来源：评论

学校读者我要写书评

暂无评论

Understanding the Role of Enterprise Architecture towards Better Institutionalization

Understanding the Role of Enterprise Architecture towards Be...

引用

ACIS international Conference on software engineering, Artificial Intelligence, Networking, and parallel/distributed Computing (SNPD)

作者： Lawrence Chung Hyun-Kyung Song Yeong-Tae Song Nary Subramanian Department of Computer Science University of Texas Dallas Richardson USA Department of Computer and Information Science Towson University Towson USA Department of Engineering and Computer Science University of Texas Tyler Tyler USA

In order for a software system to be more beneficial to an organization, its services should be laid out in a careful consideration of the various constituents of the organization, or the architecture of the organization. Here after enterprise architecture. A software system and the enterprise architecture then ultimately help achieve the goals that the organization has, while helping to solve some critical problems the organization might be faced with. In this paper, we present our initial understanding of the role of an enterprise architecture in relation to such goals and problems, as well as to the requirements on, and the specification of, a software system. Based on such understanding, we then present our preliminary work on how to proceed towards institutionalizing an enterprise architecture for an organization, with an emphasis on the high-level concerns that an enterprise architect should have during the process of institutionalization.

关键词： Computer architecture software systems distributed computing Computer science software engineering Artificial intelligence Intelligent networks Computer networks Concurrent computing Information science

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 477 478 479 480 481 482 483 484 485 486 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：