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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

9,285 篇 会议
362 篇 期刊文献
33 册 图书
1 篇 学位论文

馆藏范围

9,681 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,567 篇 工学
- 4,178 篇 计算机科学与技术...
- 2,157 篇 软件工程
- 847 篇 电气工程
- 629 篇 信息与通信工程
- 313 篇 控制科学与工程
- 226 篇 电子科学与技术（可...
- 83 篇 网络空间安全
- 65 篇 机械工程
- 56 篇 石油与天然气工程
- 55 篇 材料科学与工程（可...
- 52 篇 仪器科学与技术
- 50 篇 生物医学工程（可授...
- 40 篇 动力工程及工程热...
- 34 篇 生物工程
- 32 篇 建筑学
- 31 篇 安全科学与工程
- 29 篇 环境科学与工程（可...
- 28 篇 力学（可授工学、理...
- 27 篇 土木工程
- 26 篇 光学工程
1,073 篇 理学
- 863 篇 数学
- 129 篇 统计学（可授理学、...
- 125 篇 系统科学
- 101 篇 物理学
- 48 篇 生物学
- 33 篇 化学
808 篇 管理学
- 626 篇 管理科学与工程(可...
- 296 篇 工商管理
- 220 篇 图书情报与档案管...
71 篇 经济学
- 68 篇 应用经济学
22 篇 法学
22 篇 医学
18 篇 农学
16 篇 文学
10 篇 教育学
6 篇 军事学
1 篇 艺术学

主题

1,198 篇 distributed data...
995 篇 distributed comp...
954 篇 parallel process...
780 篇 concurrent compu...
778 篇 computer science
693 篇 databases
616 篇 computer archite...
586 篇 application soft...
559 篇 computational mo...
467 篇 parallel process...
369 篇 scalability
351 篇 distributed comp...
345 篇 distributed proc...
333 篇 hardware
325 篇 database systems
293 篇 parallel program...
293 篇 processor schedu...
290 篇 resource managem...
287 篇 costs
269 篇 fault tolerance

机构

32 篇 ibm thomas j. wa...
20 篇 school of comput...
19 篇 oak ridge natl l...
15 篇 college of compu...
13 篇 oak ridge nation...
13 篇 oak ridge nation...
13 篇 pacific northwes...
12 篇 iit dept comp sc...
12 篇 lawrence berkele...
12 篇 argonne national...
12 篇 mathematics and ...
11 篇 department of co...
11 篇 georgia institut...
11 篇 department of co...
11 篇 mathematics and ...
11 篇 department of co...
11 篇 department of co...
11 篇 lawrence berkele...
10 篇 school of comput...
10 篇 lawrence berkele...

作者

21 篇 a. choudhary
15 篇 boukerche azzedi...
13 篇 dongarra jack
12 篇 sun xian-he
11 篇 hoefler torsten
11 篇 s.k. das
11 篇 jack dongarra
11 篇 kurt rothermel
10 篇 choudhary a
10 篇 j. saltz
9 篇 raicu ioan
9 篇 jun zhang
9 篇 m. takizawa
9 篇 yong chen
9 篇 ciprian dobre
9 篇 l.r. welch
9 篇 welch lonnie r.
9 篇 t. kurc
9 篇 chen haibo
9 篇 florin pop

语言

9,597 篇 英文
63 篇 其他
21 篇 中文

检索条件"任意字段=International Symposium on Databases in Parallel and Distributed Systems"

共 9681 条记录，以下是4891-4900 订阅

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

详细简洁

排序：

An integrated visualization of a smart camera based distributed surveillance system

An integrated visualization of a smart camera based distribu...

引用

3rd IASTED international Conference on Advances in Computer Science and Technology, ACST 2007

作者： Fleck, Sven Vollrath, Christian Walter, Florian Straßer, Wolfgang WSI/GRIS University of Tübingen Sand 14 72076 Tübingen Germany

ISBN: (纸本)9780889866560

Surveillance systems based on distributed sensor networks are massively emerging today, as the interest in enhanced safety in this ever changing world gets more actual than ever. Traditional "CCTV" surveillance systems with their centralized processing (compression) and recording architecture together with a simple multi-monitor visualization of the raw video streams bear several drawbacks and limitations. The necessary communication bandwidth to each camera and the computational requirements on the centralized servers strongly limit such systems in terms of the expandability, installation size (cable lengths) and spatial/ temporal resolution of each camera. Additionally, the visualization is counter intuitive and fatiguing due to the massive load of raw video data. We present a distributed network of smart cameras and its integrated visualization. The smart cameras' tracking results are embedded in a common 3D environment as live textures and can be viewed from arbitrary perspectives. Also a georeferenced live visualization embedded in Google Earth is presented. This offers a visualization more abstract from the camera perspective yet more intuitive in terms of integration.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

ParalleX: An asynchronous execution model for scalable heterogeneous computing

ParalleX: An asynchronous execution model for scalable heter...

引用

21st international parallel and distributed Processing symposium, IPDPS 2007

作者： Sterling, Thomas Department of Computer Science Center of Computation and Technology Louisiana State University Center for Advance Computation Research California Institute of Technology Computing and Computational Sciences Directorate Oak Ridge National Laboratory Department of Computer Science Louisiana State University California Institute of Technology Oak Ridge National Laboratory

ISBN: (纸本)1424409101

Heterogeneous system architecture has long been appreciated as a potential strategy for achieving super-linear speedup with respect to some normalizing parameter like number of nodes, cost, or power. However the challenge of programming and managing the system resources has been a limiting factor for the application of such systems on a broad scale. The exception has been the use of special purpose processors such as graphics processing units that may yield dramatic increases for such functionality enabling capabilities largely impossible otherwise like realistic high resolution real time interactive games. However, with power emerging as the dominant constraint on high performance computing and the need to make better use of logic and storage resources such components as the ClearSpeed SIMD attached processor and the IBM cell architectures among others is forcing mainstream computing to adopt heterogeneous processing. This keynote presentation will describe a computational model, ParalleX that provides an asynchronous runtime framework for supporting effective execution in an environment comprising heterogeneous elements. ParalleX is based on a message-driven split-phase multithreaded transaction processing paradigm synthesizing a number of concepts represented in prior art that in ensemble will facilitate management of heterogeneous resources and provide the basis for a systematic programming methodology. Also discussed in this presentation is another example of a heterogeneous architecture, Gilgamesh II, that provides separate mechanisms for computations that exhibit disparate locality properties. © 2007 IEEE.

关键词： parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Semantics driven dynamic partial-order reduction of MPI-based parallel programs

Semantics driven dynamic partial-order reduction of MPI-base...

引用

2007 ACM international symposium on Software Testing and Analysis, ISSTA'07 and PADTAD-V Workshop

作者： Palmer, Robert Gopalakrishnan, Ganesh Kirby, Robert M. School of Computing University of Utah Salt Lake City UT 84112 United States

ISBN: (纸本)159593748X

Most distributed parallel programs in the high performance computing (HPC) arena are written using the MPI library. There is growing interest in using model checking for debugging these MPI programs. In this context, partial-order reduction has considerable potential for containing state explosion, given the distributed memory nature of MPI programs. This potential is largely unmet. In this paper, we first define the formal semantics for a non-trivial subset of MPI. We then prove independence theorems based on theformal semantics, paving the way to a semantically clear and general partial-order reduction approach for MPI. Our work describes, for the first time, the exact dependencies between MPI non-blocking send operations and their tests for completion, namely wait and test. We also offer a cleaner solution than in previous works for MPI wildcard receives,a proper handling of which requires knowledge of the future course of computations. We show that Flanagan and Godefroid's dynamic patial-order reduction algorithm offers a natural way to handle the need for future information. Our initial experimental results are encouraging. Copyright 2007 ACM.

关键词： parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

RAxML-cell: parallel phylogenetic tree inference on the cell broadband engine

RAxML-cell: Parallel phylogenetic tree inference on the cell...

引用

21st international parallel and distributed Processing symposium, IPDPS 2007

作者： Blagojevic, Filip Stamatakis, Alexandros Antonopoulos, Christos D. Nikolopoulos, Dimitrios S. Department of Computer Science Center for High-end Computing Systems 660 McBryde Hall Blacksburg VA 24061 School of Computer and Communication Sciences École Polytechnique Fédérale de Lausanne Station 14 Ch-1015 Lausanne Switzerland Department of Computer Science College of William and Mary and Greek Armed Forces Division of Research and Informatics

ISBN: (纸本)1424409101

Computational phytogeny is a challenging application even for the most powerful supercomputers. It is also an ideal candidate for benchmarking emerging multiprocessor architectures, because it exhibits fine- and coarse-grain parallelism at multiple levels. In this paper, we present the porting, optimization, and evaluation of RAxML on the Cell Broadband Engine. RAxML is a provably efficient, hill climbing algorithm for computing phylogenetic trees, based on the Maximum Likelihood (ML) method. The Cell Broadband Engine, a heterogeneous multi-core processor with SIMD accelerators which was initially marketed for set-top boxes, is currently being deployed on supercomputers and high-end server architectures. We present both conventional and unconventional, Cell-specific optimizations for RAxML's search algorithm on a real Cell multiprocessor. While exploring these optimizations, we present solutions to problems related to floating point code execution, complex control flow, communication, scheduling, and multilevel parallelization on the Cell. © 2007 IEEE.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Organizing processes and threads for debugging

Organizing processes and threads for debugging

引用

2007 ACM international symposium on Software Testing and Analysis, ISSTA'07 and PADTAD-V Workshop

作者： Kingsbury, Barry TotalView Technologies 24 Prime Park Way Natick MA 01760 United States

ISBN: (纸本)159593748X

Debugging parallel programs containing thousands of processes and threads across hundreds or thousands of nodes by individually looking at each process and thread is possible. Possible, however, does not mean practical. The only workable approach is to organize processes and threads into groups and then debug the program by using these groups. This paper discusses the ways in which the TotalView Technologies Debugger (TVD) automatically organizes a program's processes and threads, the way developers can manually organize them when additional grouping capabilities are needed, and the implications of executing processes, threads, and groups asynchronously under debugger control. Copyright 2007 ACM.

关键词： parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Using an interactive software environment for the parallelization of real-world scientific applications

Using an interactive software environment for the paralleliz...

引用

Joint Meeting of the international symposium on distributed Computing and Applications to Business, Engineering and Science/international Conference on parallel Algorithms and Computing Evironments

作者： Ierotheou, C. S. Jin, H. Matthews, G. Johnson, S. P. Hood, R. Leggett, P. F. Univ Greenwich Parallel Proc Res Grp London SE10 9LS England NASA Ames Res Ctr Adv Supercomp Div Moffett Field CA 94035 USA

The parallelization of real-world compute intensive Fortran application codes is generally not a trivial task. If the time to complete the parallelization is to be significantly reduced then an environment is needed that will assist the programmer in the various tasks of code parallelization. In this paper the authors present a code parallelization environment where a number of tools that address the main tasks such as code parallelization, debugging and optimization are available. The ParaWise and CAPO parallelization tools are discussed which enable the near automatic parallelization of real-world scientific application codes for shared and distributed memory-based parallel systems. As user involvement in the parallelization process can introduce errors, a relative debugging tool (P2d2) is also available and can be used to perform nearly automatic relative debugging of a program that has been parallelized using the tools. A high quality interprocedural dependence analysis as well as usertool interaction are also highlighted and are vital to the generation of efficient parallel code and in the optimization of the backtracking and speculation process used in relative debugging. Results of benchmark and real-world application codes parallelized are presented and show the benefits of using the environment.

关键词： iterative parallelization software tools and environment OpenMP message passing compiler directives

来源：评论

学校读者我要写书评

暂无评论

A parallel multi-scale region outlier mining algorithm for meteorological data 07

A parallel multi-scale region outlier mining algorithm for m...

引用

Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems

作者： Barua, Sajib Alhajj, Reda Dept. of Computer Science University of Calgary Calgary AB T2N 1N4 Canada

ISBN: (纸本)9781595939142

The increase use of high dimensional, geographically distributed rich and massive meteorological data poses an increasing scientific challenge in efficient outlier mining. Properties in such meteorological data are observed to fluctuate in spatial synchrony. Capturing this spatial variation at different spatial scales requires a multi-resolution analysis. In this paper, we develop an algorithm for region outlier detection at different scales using the multi-resolution feature of wavelet analysis. Another challenge of meteorological data mining is that the data size is huge to accommodate different resolutions and number of samples varies with the spatial scales. This motivated us to design a load adaptive parallel algorithm for outlier detection which can maintain good scalability for all spatial scales. Our algorithm has been implemented on high-performance computing architecture and evaluated on real-world meteorological data. © 2007 ACM.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 8th international symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2006

Proceedings of the 8th International Symposium on Symbolic a...

引用

8th international symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2006

ISBN: (纸本)076952740X

The proceedings contain 68 papers. The topics discussed include: mathematical theory exploration;emergence in problem solving, classification and machine learning;tuning evolutionary algorithm performance using nature inspired heuristics;implementing parameterized type algorithm definitions in Mathematica;doing numerical cosmology with the cactus code;a quality measure for multi-level community structure;the complexity of a probabilistic approach to deal with missing values in a decision tree;algorithms and results in content-based visual query of the image databases resulting from DICOM files;a stability analysis method for nonlinear systems with fuzzy logic controller;a parallel algorithm for rendering huge terrain surfaces;design of a hardware architecture based on microcontrollers for the implementation of membrane systems;and number encodings and arithmetics over multisets.

关键词： Problem solving

来源：评论

学校读者我要写书评

暂无评论

On formal MOM modeling

引用

5th international symposium on parallel and distributed Processing and Applications/ISPA 2007 international Workshops

作者： Cui, Hanmei Chen, Jessica Univ Windsor Sch Comp Sci Windsor ON N9B 3P4 Canada

ISBN: (纸本)9783540747413

distributed applications are usually concurrent and nondeterministic. For this reason, formal verification on their design specifications is an essential technique for us to gain more confidence in the correctness of the behavioral aspects of our design before putting them into coding stage. Message-Oriented Middleware (MOM) is widely used to simplify the task of interprocess communications in distributed applications. To model the MOM-based applications for verification purpose, the services provided by MOM must also be integrated into the models. However, MOM modeling is non-trivial. While providing high-level program interfaces which shield programmers from the complexity of the underlying operating systems and networks, MOM may also conceals under such interfaces the concurrency and nondeterminism present in the underlying networks. This increases the possibility of misinterpretting the behavior of the applications, which in turn causes design errors. An over-abstracted MOM model based on Application Programming Interface may bury such design errors while an over-detailed model may consume too much resource and render the verification infeasible: As a guideline for MOM modeling, we present several formal models of various behavioral aspects of MOM in terms of Promela, the specification language used in SPIN model checker. Based on our empirical study, we also discuss the impact of incorporating these formal models in different settings into the MOM-based application models, in terms of increased state space for model checking.

关键词： distributed applications message-oriented middleware nondeterminism model checking

来源：评论

学校读者我要写书评

暂无评论

Efficient development of highly reusable distributed systems using the TCAO

Efficient development of highly reusable distributed systems...

引用

3rd IASTED international Conference on Advances in Computer Science and Technology, ACST 2007

作者： Singh, Santokh Xu, Sheri Zidie Kaur, Harveen Centre for Software Innovation Dept. of Computer Science University of Auckland Private Bag 92019 NZL New Zealand Dept. of Computer Science University of Auckland Private Bag 92019 New Zealand Department of Mathematics University of Auckland Private Bag 92019 New Zealand

ISBN: (纸本)9780889866560

Currently there are neither structured nor efficient ways to develop and reuse non-trivial and complex distributed systems despite the fact that there exist numerous sources of software, components and knowledge relating to this field. In this paper we describe how we use a novel all-encompassing development methodology called the Total Components Aspect-Oriented (TCAO) methodology to efficiently and rapidly design and develop reusable distributed systems of any size, functionality and complexity. We further describe our other novel concepts of using Early Aspect-Oriented Components (EAOC) and Early Aspect-Oriented Software (EAOS), collectively known as early systemic-entities, to get an early head-start in the development process starting from the requirements engineering phase itself and spanning throughout all the phases. TCAO also encompasses the activities of deployment, maintenance and refactoring to add any further remoting functionalities if the need arises. We further describe how we use TCAO to identify, isolate and use aspects, which are systemic cross-cutting concerns, to make the analysis, design, modelling and implementations of reusable distributed systems easier to understand, manage and control. With the aid of an exemplar software system, we also describe how a non-trivial reusable distributed system can be efficiently and rapidly developed by using our methodology to facilitate technology transfer and reuse.

关键词： Technology transfer

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 486 487 488 489 490 491 492 493 494 495 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：