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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

4,861 篇 工学
- 4,309 篇 计算机科学与技术...
- 3,043 篇 软件工程
- 722 篇 电气工程
- 684 篇 信息与通信工程
- 521 篇 控制科学与工程
- 376 篇 电子科学与技术（可...
- 161 篇 机械工程
- 147 篇 动力工程及工程热...
- 98 篇 网络空间安全
- 97 篇 生物工程
- 91 篇 安全科学与工程
- 87 篇 仪器科学与技术
- 79 篇 建筑学
- 71 篇 土木工程
- 71 篇 生物医学工程（可授...
- 64 篇 化学工程与技术
- 57 篇 材料科学与工程（可...
- 55 篇 光学工程
- 54 篇 力学（可授工学、理...
1,331 篇 理学
- 955 篇 数学
- 213 篇 系统科学
- 163 篇 统计学（可授理学、...
- 157 篇 物理学
- 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,665 篇 英文
39 篇 其他
34 篇 中文
1 篇 西班牙文
1 篇 法文
1 篇 葡萄牙文

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

共 10740 条记录，以下是4931-4940 订阅

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

详细简洁

排序：

Optimistic parallelization support for event stream processing systems

Optimistic parallelization support for event stream processi...

引用

5th Middleware Doctoral symposium, MDS'08, Co-located with ACM/IFIP/USENIX 9th international Middleware Conference, Middleware 2008

作者： Brito, Andrey Systems Engineering Group TU Dresden Germany

ISBN: (纸本)9781605583617

Event stream applications consist of an acyclic graph of components that are traversed by streams of events. Examples of operations in such components are filtering, aggregation, enrichment, and transformation of events and, commonly, applications include a mix of common-use library functions and user-defined functions. When the operation only depends on the current input events, the component can be trivially parallelized by replication. However, if the component keeps state that is used for the computation of the results, the trivial parallelization approach does not work. parallel versions for common components have being designed, but complex or user-defined components are normally limited by single thread performance. In this work, we use optimistic parallelization approaches to harness the potential of multi-core processors to scale the performance of stateful operators in event stream applications. In addition, we investigate indulgent ways to allow the user to provide application knowledge that can improve the amount of useful speculative work. The current prototype shows considerable gain in throughput even though some speculative executions must be disregarded. Copyright 2008 ACM.

关键词： event stream processing optimistic parallelization software transactional memory

来源：评论

学校读者我要写书评

暂无评论

Improving MPI Independent Write Performance Using A Two-Stage Write-Behind Buffering Method

Improving MPI Independent Write Performance Using A Two-Stag...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Wei-keng Liao Avery Ching Kenin Coloma Alok Choudhary Mahmut Kandemir Department of Electrical Engineering and Computer Science Northwestern University Evanston IL USA Department of Computer Science and Engineering Pennsylvania State University University Park PA USA

Many large-scale production applications often have very long executions times and require periodic data checkpoints in order to save the state of the computation for program restart and/or tracing application progress. These write-only operations often dominate the overall application runtime, which makes them a good optimization target. Existing approaches for write-behind data buffering at the MPI I/O level have been proposed, but challenges still exist for addressing system-level I/O issues. We propose a two-stage write-behind buffering scheme for handing checkpoint operations. The first-stage of buffering accumulates write data for better network utilization and the second-stage of buffering enables the alignment for the write requests to the file stripe boundaries. Aligned I/O requests avoid file lock contention that can seriously degrade I/O performance. We present our performance evaluation using BTIO benchmarks on both GPFS and Lustre file systems. With the two-stage buffering, the performance of BTIO through MPI independent I/O is significantly improved and even surpasses that of collective I/O.

关键词： File systems Checkpointing Large-scale systems Computer science Production Application software Degradation Message passing Data engineering Runtime

来源：评论

学校读者我要写书评

暂无评论

Fault-tolerant scheduling policy for grid computing systems

Fault-tolerant scheduling policy for grid computing systems

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： J.H. Abawajy School of Computer Science Carleton University Ottawa Canada

Summary form only given. With the momentum gaining for the grid computing systems, the issue of deploying support for integrated scheduling and fault-tolerant approaches becomes paramount importance. Unfortunately, fault-tolerance has not been factored into the design of most existing grid scheduling strategies. To this end, we propose a fault-tolerant scheduling policy that loosely couples job scheduling with job replication scheme such that jobs are efficiently and reliably executed. Performance evaluation of the proposed fault-tolerant scheduler against a nonfault-tolerant scheduling policy is presented and shown that the proposed policy performs reasonably in the presence of various types of failures.

关键词： Fault tolerant systems Processor scheduling Grid computing Fault tolerance distributed computing Middleware Resource management Large-scale systems Operating systems Application software

来源：评论

学校读者我要写书评

暂无评论

Development of evolutionary and self-assembling robot-organisms

Development of evolutionary and self-assembling robot-organi...

引用

20th Anniversary MHS 2009 and Micro-Nano Global COE - 2009 international symposium on Micro-NanoMechatronics and Human Science

作者： Levi, Paul Institute of Parallel and Distributed Systems University of Stuttgart Universitätsstr. 38 70569 Stuttgart Germany

ISBN: (纸本)9781424450954

Symbiotic robotics is a discipline within collective robotics that is concerned with artificial multi-cellular robot-organisms that define their morphological structure by aggregation through self-assembling and they are also able to disaggregate afterwards. This contribution is concerned to the description of evolutionary and cognitive principles that governs such a symbiotic cycle to build artificial organisms of different forms and operate with them. The evolutionary approach starts with a artificial genome, will be continued by the insertion of different types of regulative cycles, and ends up in an embryogenetic formed body. Hereby there is differentiation between the genetic based learning and the fitness based learning. Further there are dominant differences between multi-cellular organism and structured cooperative aggregations of swarm members. The cognitive approach is focused on cognitive maps, on cognitive sensor data fusion and finally to the definition of information that governs the the process of organism formation and body survival in a given environment. This more engineering oriented approach is used to build all HW-components and all kinds of embedded "operating systems" to control and to operate symbiotic robot organisms. ©2009 IEEE.

关键词： Swarm intelligence

来源：评论

学校读者我要写书评

暂无评论

Enhancing build-portability for scientific applications across heterogeneous platforms

Enhancing build-portability for scientific applications acro...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Magdalena Slawinska Jaroslaw Slawinski Vaidy Sunderam Dept. of Math and Computer Science Emory University Atlanta GA USA

The paper addresses the build problem in the HPC arena that results from heterogeneity in hardware architectures, system software, and application build systems. We propose a new approach that generalizes current build systems, and enhances their portability across heterogeneous high-end platforms. Although the original application build system needs to be modified it is a one-time activity that allows us to extract target platform specific information and store it into profiles. Our toolkit exploits profiles to retrieve appropriate target-specific information during the actual build process. Our developed mechanism termed late binding enables dynamic concretization of platform-specific variables from profiles. This approach simplifies the build process for heterogeneous environments, promotes profile reuse, and improves its portability. In order to verify our approach in practice we have applied our methodology to a production molecular dynamics code (the CPMD application).

关键词： Application software Hardware System software Information retrieval Production Computer science Drives Computer architecture Data mining Productivity

来源：评论

学校读者我要写书评

暂无评论

Cost-aware software-defined hybrid object-based storage system 18

Cost-aware software-defined hybrid object-based storage syst...

引用

18th international Conference on parallel and distributed Computing, Applications and Technologies, PDCAT 2017

作者： Lu, Yung-Feng Kuo, Chin-Fu Chou, Shih-Chun Li, Jhong-Syuan Lai, Yan-Wei Department of Computer Science and Information Engineering National Taichung University of Science and Technology Taiwan Department of Computer Science and Information Engineering National University of Kaohsiung Taiwan Innovative Digitech-Enabled Applic. and Services Inst. Institute for Information Industry Taiwan

ISBN: (纸本)9781538631515

Object-based storage is a storage architecture that manages data as objects, as opposed to other storage architectures like file systems which manage data as a file hierarchy and block storage which manages data as blocks within sectors and tracks. In general, each object typically includes the data itself, a variable amount of metadata, and a globally unique identifier. Object storage seeks to enable capabilities not addressed by other storage architectures such as data replication and data distribution at object-level granularity. A distributed data store is a computer network where information is stored on more than one node, often in a replicated fashion. Recently, there are many excellent researches target on energy aware, performance-aware, and trade-of on cloud storage. However, less on the scheduling on the cost-efficient designs. This paper, aims to evaluate the data storage performance with hybrid storage. We try to provide a cost-aware scheme for tier-based hybrid storage. Our scheme can provide a proper placement for data. Thus, users and venders can use lower cost to get the performance that they need. © 2017 IEEE.

关键词： Network architecture

来源：评论

学校读者我要写书评

暂无评论

A ubiquitous message passing interface implementation in Java:jmpi

A ubiquitous message passing interface implementation in Jav...

引用

international symposium on parallel Processing

作者： K. Dincer Department of Computer Engineering Baskent University Ankara Turkey

jmpi is a 100% Java-based implementation of the message-passing interface (MPI-1) standard jmpi comes with an efficient and effective MPI implementation in Java and supports a user-friendly Java application programming interface (API) for MPI. We present the implementation details and give some early communication benchmark performance results on a cluster of SUN UltraSparc workstations.

关键词： Message passing Java Computer interfaces Computer networks distributed computing Object oriented modeling Libraries Pervasive computing Application software Sun

来源：评论

学校读者我要写书评

暂无评论

Formal modeling and verification of security protocols on cloud computing systems based on UML 2.3 15

Formal modeling and verification of security protocols on cl...

引用

15th IEEE Int Conf on Trust, Security and Privacy in Comp and Commun / 10th IEEE Int Conf on Big Data Science and engineering / 14th IEEE Int symposium on parallel and distributed Proc with Applicat (IEEE Trustcom/BigDataSE/ISPA)

作者： Fang, Kunding Li, Xiaohong Hao, Jianye Feng, Zhiyong Tianjin Univ Sch Comp Sci & Technol Tianjin Peoples R China Tianjin Univ Sch Comp Software Tianjin Peoples R China

ISBN: (纸本)9781509032051

Cloud computing, as a kind of internet-based computing, has to entrust data which are managed by external parties on remote servers. One of the critical security challenges on cloud computing is to ensure data security and privacy. In order to perform rigorous formal analysis for cloud-based applications, we use UML, an industry-adopted modeling language to build an abstraction of a system. In this paper, we extend class/profile diagram, sequence diagram and state diagram in UML 2.3 that contains sufficient information to model security protocols in cloud-based systems. Following that, a method is proposed to automatically translate UML models to pi calculus specification, which allows us to verify the data secrecy and confidentiality of security protocols using the existing protocol verifier - ProVerif. Our methodology is applied on ConfiChair, a security protocol in cloud computing system, to prove the effectiveness and feasibility of our approach.

关键词： data privacy cloud computing formal verification extended UML pi calculus

来源：评论

学校读者我要写书评

暂无评论

Data gathering in sensor networks using the energy∗delay metric 15

Data gathering in sensor networks using the energy∗delay me...

引用

15th international parallel and distributed Processing symposium, IPDPS 2001

作者： Lindsey, S. Raghavendra, C. Sivalingam, K. Computer Systems Research Department Aerospace Corporation P. O. Box 92957 Los AngelesCA90009-2957 United States School of Electrical Engineering and Computer Washington State University PullmanWA99164-2752 United States

ISBN: (纸本)0769509908

In this paper we consider the problem of data collection from a sensor web consisting of N nodes, where nodes have packets of data in each round of communication that need to be gathered and fused with other nodes' packets into one packet and transmitted to a distant base station. Nodes have power control in their wireless communications and can transmit directly to any node in the network or to the base station. With unit delay cost for each packet transmission, if all nodes transmit data directly to the base station, then both high energy and high delay per round will occur. In our prior work [6], we developed an algorithm to minimize the energy cost per round, where a linear chain of all the nodes are formed to gather data, and nodes took turns to transmit to the base station. If the goal is to minimize the delay cost, then a binary combining scheme can be used to accomplish this task in about log N units of delay with parallel communications and incurring a slight increase in energy cost. The goal is to find data gathering schemes that balance the energy and delay cost, as measured by energy∗delay. We conducted extensive simulation experiments with a number of schemes for this problem with 100 nodes in playing fields of 50m x 50m and 100m x 100m and the base station located at least 100 meters and 200 meters, respectively, from any node. With CDMA capable sensor nodes, a chain-based binary scheme performs best in terms of energy∗delay. If the sensor nodes are not CDMA capable, then parallel communications are possible only among spatially separated nodes, and a chain-based 3 level hierarchy scheme performs well. These schemes perform 60 to 100 times better than direct scheme and also outperform a cluster based scheme, called LEACH [3]. © 2001 IEEE.

关键词： Base stations

来源：评论

学校读者我要写书评

暂无评论

The thrifty barrier: Energy-aware synchronization in shared-memory multiprocessors

The thrifty barrier: Energy-aware synchronization in shared-...

引用

Proceedings - 10th international symposium on High Performance Computer Architecture

作者： Li, Jian Martínez, José F. Huang, Michael C. Computer Systems Laboratory Cornell University Ithaca NY 14853 United States Electrical and Computer Engineering University of Rochester Rochester NY 14627 United States

Much research has been devoted to making microprocessors energy-efficient. However, little attention has been paid to multiprocessor environments where, due to the co-operative nature of the computation, the most energy-efficient execution in each processor may not translate into the most energy-efficient overall execution. We present the thrifty barrier, a hardware-software approach to saving energy in parallel applications that exhibit barrier synchronization imbalance. Threads that arrive early to a thrifty barrier pick among existing low-power processor sleep states based on predicted barrier stall time and other factors. We leverage the coherence protocol and propose small hardware extensions to achieve timely wake-up of these dormant threads, maximizing energy savings while minimizing the impact on performance.

关键词： Multiprocessing systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 490 491 492 493 494 495 496 497 498 499 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：