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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是4701-4710 订阅

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

详细简洁

排序：

Machine learning based online performance prediction for runtime parallelization and task scheduling

Machine learning based online performance prediction for run...

引用

international symposium on Performance Analysis of systems and software, ISPASS 2009

作者： Li, Jiangtian Ma, Xiaosong Singh, Karan Schulz, Martin De Supinski, Bronis McKee, Sally A. Dept. of Computer Science North Carolina State University Raleigh NC 27606 United States Computer Science and Mathematics Division Oak Ridge National Laboratory Oak Ridge TN 37831 United States Computer Systems Laboratory Cornell University Ithaca NY 14850 United States Center for Applied Scientific Computing Lawrence Livermore National Laboratory Livermore CA 94550 United States Department of Computer Science and Engineering Chalmers University of Technology Göteborg Sweden

ISBN: (纸本)9781424441846

With the emerging many-core paradigm, parallel programming must extend beyond its traditional realm of scientific applications. Converting existing sequential applications as well as developing next-generation software requires assistance from hardware, compilers and runtime systems to exploit parallelism transparently within applications. These systems must decompose applications into tasks that can be executed in parallel and then schedule those tasks to minimize load imbalance. However, many systems lack a priori knowledge about the execution time of all tasks to perform effective load balancing with low scheduling overhead. In this paper, we approach this fundamental problem using machine learning techniques first to generate performance models for all tasks and then applying those models to perform automatic performance prediction across program executions. We also extend an existing scheduling algorithm to use generated task cost estimates for online task partitioning and scheduling. We implement the above techniques in the pR framework, which transparently parallelizes scripts in the popular R language, and evaluate their performance and overhead with both a realworld application and a large number of synthetic representative test scripts. Our experimental results show that our proposed approach significantly improves task partitioning and scheduling, with maximum improvements of 21.8%, 40.3% and 22.1% and average improvements of 15.9%, 16.9% and 4.2% for LMM (a real R application) and synthetic test cases with independent and dependent tasks, respectively. © 2009 IEEE.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

A review on object-oriented metrics as a supporting method to extract object-oriented concepts from student's source code

A review on object-oriented metrics as a supporting method t...

引用

IASTED international Conference on Advances in Computer Science and engineering, ACSE 2009

作者： Khamis, Norazlina Idris, Sufian Department of Software Engineering Faculty of Computer Science and Information Technology University of Malaya 50603 Kuala Lumpur Malaysia Department of Computer Science Universiti Kebangsaan Malaysia Bangi Selangor Malaysia

ISBN: (纸本)9780889867901

One of the debatable issues in programming courses for core Computer Science (CS) and Information Technology (IT) education is on how to improve the assessment so that it will reflect student's programming skills. This research will focus on this issue by proposing a new model to support the assessment of programming courses, specifically in object-oriented programming. The model will be developed by identifying object oriented concepts that student's have applied in their program source code using object oriented metrics. Metrics are an important technique in quantifying desirable software and software development characteristics of object oriented software development. Currently, metrics proposed for OO software development have rarely been used to support assessment process. This paper will investigate the suitable object-oriented metrics to be applied in the process of developing the assessment model for object-oriented programming courses. We give an overview on the object-oriented metrics and the necessary steps on the applications of metrics towards development of the assessment model.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Seismic data modelling using parallel distributed MATLAB 79

Seismic data modelling using parallel distributed MATLAB

引用

79th Society of Exploration Geophysicists international Exposition and Annual Meeting 2009, SEG 2009

作者： Bonham, Kayla H. Ferguson, Robert J. CREWES University of Calgary Canada

ISBN: (纸本)9781615675661

Numerical modelling of seismic wave propagation is central to seismic imaging and inversion. Modelling of 3D heterogeneous anisotropic media can, however, simultaneously be both costly and of low fidelity. To address some aspects of the fidelity / cost problem, we present our implementation of seismic modelling within the Rayleigh-Sommerfeld algorithmic framework and implemented in a parallel computing environment. We demonstrate through example, that knowledge of relationships among hardware architecture, support software systems, and resource usage of our algorithm, is of crucial importance to the achievement of worthwhile performance using parallel computing. From an initial, simplistic expression of our parallel algorithm in the MATLAB system, exhibiting 'negative improvement', we incrementally adapt the parallel control framework without losing the clarity or correctness of the original model expression, to bypass successive bottlenecks and achieve substantial performance gains. © 1996-2018 Society of Exploration Geophysicists All Rights Reserved.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

A lightweight stream-processing library using MPI

A lightweight stream-processing library using MPI

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Alan Wagner Camilo Rostoker Department of Computer Science University of British Columbia Vancouver BC Canada

We describe the design of a lightweight library using MPI to support stream-processing on acyclic process structures. The design can be used to connect together arbitrary modules where each module can be its own parallel MPI program. We make extensive use of MPI groups and communicators to increase the flexibility of the library, and to make the library easier and safer to use. The notion of a communication context in MPI ensures that libraries do not conflict where a message from one library is mistakenly received by another. The library is not required to be part of any larger workflow environment and is compatible with existing MPI execution environments. The library is part of MarketMiner, a system for executing financial workflows.

关键词： Context software libraries parallel architectures Middleware Performance analysis Application software Computer architecture Open source software Computer science systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

Formal specification and verification of multi-agent robotics software systems: A case study

Formal specification and verification of multi-agent robotic...

引用

1st international Conference on Agents and Artificial Intelligence, ICAART 2009

作者： Akhtar, Nadeem Guyadec, Yann Le Oquendo, Flavio Universite Europeenne de Bretagne UBS VALORIA Computer Science Laboratory France

ISBN: (纸本)9789898111661

One of the most challenging task in software specifications engineering for robotics multi-agent systems is to ensure correctness. As these systems have high concurrency, often have dynamic and distributed environments, the formal specification and verification of these systems along with step-wise refinement from abstract to concrete concepts play major role in system correctness. Our objectives are the formal specification, analysis with respect to functional as well as non-functional properties by step-wise refinement from abstract to concrete specifications and then formal verification of these specifications. Multi-agent robotics systems are concurrent systems with processes working in parallel with synchronization between them. We have worked on Gaia multi-agent method along with finite state process based finite automata techniques and as a result we have defined the formal specifications of our system, checked the correctness and verified all possible flow of concurrent executions of these specifications. Our contribution consists in transforming Gaia organizational abstractions into executable FSP specifications that can be verified using LTS. We have considered a case study of our multi-agent robotics system to exemplify formal specifications and verification.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

A method to assist the maintenance of object-oriented software systems using impact analysis

A method to assist the maintenance of object-oriented softwa...

引用

IASTED international Conference on Advances in Computer Science and engineering, ACSE 2009

作者： Kurian, M.Z. Manjunath, A.S.

ISBN: (纸本)9780889867901

The Complex nature of the relationships present in Object-Oriented system has made it complicated to understand. Inheritance, polymorphism, encapsulation, information hiding, aggregation and association combination has made maintenance of Object Oriented systems complicated. Maintenance activities often have unfore seen or unexpected effects on the system. These effects can ripple through system components complicating maintenance and testing of the system. Locating the effects of maintenance provides the maintainer with knowledge that assists in debugging and testing modified and affected components. A Comparative software Maintenance (CSM) methodology has been developed in this study to assist in the maintenance of Object Oriented systems. Using Java as a test language, CSM locates potential side effects, ripple effects and other effects of maintenance on class structures, methods, and objects. CSM uses low-level software architecture model to capture the essence of a Java system. CSM performs either predictive, pre-modification impact analysis on a Java system or postmodification impact analysis on two different versions of the same OO system. An improved impact analysis procedure that determines impact of changes to the component level is presented. The results of impact analysis is applied to determine the component level testing requirements. The CSM methodology is implemented in JFlex, a software tool for OO program maintenance.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Enhancing Java RMI with Asynchrony through Reflection

Enhancing Java RMI with Asynchrony through Reflection

引用

1st international ICST Conference on Communications Infrastructure, systems and Applications in Europe

作者： Akin, Orhan Erdogan, Nadia Istanbul Tech Univ Inst Informat TR-34469 Istanbul Turkey

ISBN: (纸本)9783642112836

Java RMI's synchronous invocation model may cause scalability challenges when long duration invocations are targeted. One way of overcoming this difficulty is adopting an asynchronous mode of operation. An asynchronous invocation allows the client to continue with its computation after dispatching a call, thus eliminating the need to wait idle while its request is being processed by a remote server. This paper describes an execution framework which extends Java RMI functionality with asynchrony. It is implemented on top of RMI calls, using the thread pooling capability and the reflection mechanism of Java. It differs from previous work as it does not require any external tool, preprocessor, or compiler and it may be integrated with previously developed software as no modification of target remote objects is necessary.

关键词： Asynchronous Communication Asynchronous RMI RMI Reflection parallel programming distributed programming

来源：评论

学校读者我要写书评

暂无评论

Thalweg: A framework for programming 1,000 machines with 1,000 cores

Thalweg: A framework for programming 1,000 machines with 1,0...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Adam L. Beberg Vijay S. Pande Department of Computer Science University of Stanford USA

While modern large-scale computing tasks have grown to span many machines, each with many cores, traditional programming models have not kept up with these advancements, resulting in difficulty exploiting these computing resources with only modest programmer effort. Thalweg seeks to address this breakdown in several ways. It provides a model for designing algorithms that have the potential to scale to multiple cores and machines, with subsequent optimization by software engineers. Based on this concept, Thalweg presents an API for handling these algorithms, for transferring data to and from nodes and coprocessors, and for verifying the correct operation of the hardware. Finally, Thalweg presents a set of concepts and a laboratory framework for pedagogical use that will educate the next generation of software engineers to operate in a world in which multi-core and distributed computing are everywhere.

关键词： Programming profession Large-scale systems Electric breakdown Algorithm design and analysis software algorithms Design optimization Design engineering Coprocessors Hardware Laboratories

来源：评论

学校读者我要写书评

暂无评论

Using a RESTful Messaging and Registry System to Support a Range a distributed Applications

Using a RESTful Messaging and Registry System to Support a R...

引用

international symposium on parallel and distributed Computing

作者： Mark Baker Garry Smith Matthew Grove Rahim Lakhoo Hugo Mills Carl Albing School of Systems Engineering University of Reading Reading UK

ISBN: (纸本)9781424444106

Tycho was conceived in 2003 in response to a need by the GridRM [1] resource-monitoring project for a ldquolight-weightrdquo, scalable and easy to use wide-area distributed registry and messaging system. Since Tycho's first release in 2006 a number of modifications have been made to the system to make it easier to use and more flexible. Since its inception, Tycho has been utilised across a number of application domains including widearea resource monitoring, distributed queries across archival databases, providing services for the nodes of a Cray supercomputer, and as a system for transferring multi-terabyte scientific datasets across the Internet. This paper provides an overview of the initial Tycho system, describes a number of applications that utilise Tycho, discusses a number of new utilities, and how the Tycho infrastructure has evolved in response to experience of building applications with it.

关键词： Virtual reality Application software Cryptography Peer to peer computing Java distributed computing Milling machines systems engineering and theory Electronic mail Monitoring

来源：评论

学校读者我要写书评

暂无评论

2009 international Conference on Advances in Computational Tools for engineering Applications, ACTEA 2009

2009 International Conference on Advances in Computational T...

引用

2009 international Conference on Advances in Computational Tools for engineering Applications, ACTEA 2009

ISBN: (纸本)9781424438341

The proceedings contain 129 papers. The topics discussed include: coding for two-user MIMO cooperative systems using matrix-Alamouti techniques;the adaptive RBFNN equalizer for nonlinear time-varying UMTS channel;centralized and distributed LTE uplink scheduling in a distributed base station scenario;parameter exploration in parallel for dynamic vehicular network efficiency;neuro-control of an inverted pendulum using genetic algorithm;design and development of a hybrid feedback control system for an RF remote-controlled robot;non linear global dynamic analysis of reinforced slopes stability under seismic loading;application of reliability analysis on seismic slope stability;concrete compressive strength obtained on uncontrolled construction sites in Lebanon;analysis of an isotropic plate containing three identical circular holes arranged in a triangular configuration;and robust proposal distribution for adaptive visual tracking in a particle filtering frame work.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 467 468 469 470 471 472 473 474 475 476 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：