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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Extending Vienna Fortran with task parallelism

Extending Vienna Fortran with task parallelism

引用

international Conference on parallel and distributed systems (ICPADS)

作者： B. Chapman P. Mehrotra J. Van Rosendale H. Zima Institute for Software Technology and Parallel Systems University of Technology Vienna Vienna Austria ICASE NASA-Langley Research Center Hampton VA USA

Vienna Fortran supports a wide range of data-parallel numerical problems. However, a significant number of scientific and engineering applications are of a multi-disciplinary and heterogeneous nature and thus do not fit well into the data parallel paradigm. In this paper we present new language extensions to fill this gap. Tasks can be spawned as asynchronous activities in a homogeneous or heterogeneous computing environment; they interact by sharing access to Shared Data Abstractions (SDAs). SDAs are an extension of Fortran 90 modules, representing a pool of common data, together with a set of methods for controlled access to these data and a mechanism for providing persistent storage. These extensions support the integration of data and task parallelism and can be used to express task parallel applications in a natural and efficient way.

关键词： parallel processing Application software NASA software performance Space technology Data engineering Radio access networks parallel architectures parallel languages Contracts

来源：评论

学校读者我要写书评

暂无评论

Scalable Automated Design and Development of Deep Neural Networks for Scientific and engineering Applications

Scalable Automated Design and Development of Deep Neural Net...

引用

IEEE international symposium on parallel and distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Prasanna Balaprakash Oak Ridge National Laboratory.

Deep learning is becoming crucial for tackling the increasing modeling complexity of scientific and engineering applications. However, designing high-performing deep neural network (DNN) models can be a challenging and time-consuming task that requires expertise. To address this challenge, we have developed DeepHyper [1], a software package that automates the design and development of DNN models for scientific and engineering applications through scalable neural architecture and hyperparameter search. Our approach emphasizes deep learning over parallel and distributed infrastructures, enabling us to efficiently design and train DNNs for a wide range of scientific applications. In this talk, we will present our recent work on using DeepHyper to automatically generate an ensemble of DNNs at scale and using them to estimate data (aleatoric) and model (epistemic) uncertainties. Our approach enables us to leverage the power of parallel and distributed infrastructures to scale the training of DNNs and improve their performance, while reducing the time and expertise required for manual architecture design and hyperparameter tuning.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Characterizing scalar opportunities in GPGPU applications

Characterizing scalar opportunities in GPGPU applications

引用

2013 IEEE international symposium on Performance Analysis of systems and software, ISPASS 2013

作者： Chen, Zhongliang Kaeli, David Rubin, Norman Department of Electrical AndComputer Engineering Northeastern University Boston MA 02115 United States NVIDIA Corporation United States

ISBN: (纸本)9781467357777

General Purpose computing with Graphics Processing Units (GPGPU) has gained widespread adoption in both the high performance and general purpose communities. In most GPU computation, execution exploits a Single Instruction Multiple Data (SIMD) model. However, GPU execution typically pays little attention to whether the data operated upon by the SIMD units is the same or different. When SIMD computation operates on multiple copies of the same data, redundant computations are generated. It provides an opportunity to improve efficiency by just broadcasting the results of a single computation to multiple outputs. To better serve those operations, modern GPUs are armed with scalar units. Then SIMD instructions that are operating on the same input data operands will be directed to execute upon scalar units, requiring only a single copy of the data, and leaving the data-parallel SIMD units available to execute non-scalar operations. In this paper, we first characterize a number of CUDA programs taken from the NVIDIA SDK to quantify the potential for scalar execution. We observe that 38% of static SIMD instructions are recognized to operate on the same data by the compiler, and their dynamic occurences account for 34% of the total dynamic instruction execution. We then evaluate the impact of scalar units on a heterogeneous scalar-vector GPU architecture. Our results show that scalar units are utilized 51% of the time during execution, though their use places additional pressure on the interconnect and memory, as shown in the results of our study. © 2013 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Implementing a reconfigurable atomic memory service for dynamic networks

Implementing a reconfigurable atomic memory service for dyna...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： P.M. Musial A.A. Shvartsman Department of Computer Science and Engineering University of Connecticut Storrs CT USA Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge MA USA

Summary form only given. Transforming abstract algorithm specifications into executable code is an error-prone process in the absence of sophisticated compilers that can automatically translate such specifications into the target distributed system. We present a framework that was developed for translating algorithms specified as Input/Output Automata (IOA) to distributed programs. The framework consists of a methodology that guides the software development process and a core set of functions needed in target implementations that reduce unnecessary software development. The systems developed using this methodology preserve the modularity of the original specifications, making it easier to track refinements and effect optimizations. As a proof of concept, this work also presents a distributed implementation of a reconfigurable atomic memory service for dynamic networks (RAMBO). This service emulates atomic read/write shared objects in the dynamic setting where processors can arbitrarily crash, or join and leave the computation. The algorithm tolerates processor crashes and message loss and guarantees atomicity for arbitrary patterns of asynchrony and failure. The algorithm implementing the service is given in terms of IOA. An important consideration in formulating RAMBO was that it could be employed as a building block in real systems. Following a formal presentation of RAMBO algorithm, this work describes an optimized implementation that was developed using the methodology presented here. The system is implemented in Java and runs on a network of workstations. Empirical data illustrates the behavior of the system.

关键词： Computer science Automata Programming Middleware Random access memory Artificial intelligence Laboratories Computer errors Computer crashes Java

来源：评论

学校读者我要写书评

暂无评论

Capstone projects aimed at contributing to consolidated open source projects: A practical experience 22

Capstone projects aimed at contributing to consolidated open...

引用

22nd international symposium on Computers in Education, SIIE 2020

作者： Pereira, Juanan Escuela de Ingeniería de Bilbao UPV/EHU Calle Rafael Moreno Pitxitxi 2-3 Spain

Due to time constraints (one term or quarterly subjects) software projects used in university classes of software engineering are usually limited to small developments, with few people involved and without any previous code base to build upon, that is, without taking into account important aspects like software maintenance or software evolution. Open source software (OSS) is currently being considered as a way of involving students in the realities of professional software development, confronting them with a constantly evolving code base, maintenance, portability problems (compatibility with multiple operating systems), localization and programming styles. It is also remarkable the amount of learning obtained by collaborating in a distributed software development, carried out among a group of developers from different parts of the world. This in turn, allows students to be trained in communication skills to be able to interact with the OSS community. The problem is that, again, it is difficult to integrate this OSS project-based learning into a quarterly course. This work advocates a more feasible scenario, proposing that students that have to develop their capstone projects build them by contributing to consolidated OSS applications. In this context, a practical experience developed with 3 capstone students is shown, detailing the benefits obtained, both from the point of view of the students and the project itself. A series of recommendations are also presented, provided by the students and the teacher involved, so that any interested teacher can replicate the experience with a higher guarantee of success. © 2020 CEUR-WS. All rights reserved.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Workflow fine-grained concurrency with automatic continuation 06

Workflow fine-grained concurrency with automatic continuatio...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： G. Tretola E. Zimeo Department of Engineering University of Sannio Benevento Italy Research Centre on Software Technology University of Sannio Benevento Italy

ISBN: (纸本)9781424400546

Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunication, manufacturing, e-business, e-government and grid computing. In some of these fields, efficiency and traffic optimization represent key aspects for a wide diffusion of workflow engines and modeling tools. This paper focuses on a technique that enables fine-grained concurrency in compute and data-intensive workflows and reduces the traffic on the network by limiting the number of interactions to the ones strictly needed to bring the data where they are really necessary for continuing the flow of computations. We implemented this technique by using the concepts of wait by necessity and automatic continuation and we integrated it in a flexible, Java workflow engine that through the new mechanisms is able to navigate a workflow anticipating the enactment of sequential activities

关键词： Concurrent computing Telecommunication traffic Traffic control Engines Computer networks Data flow computing Manufacturing Electronic government Grid computing Telecommunication computing

来源：评论

学校读者我要写书评

暂无评论

Overhead reduction techniques for software dynamic translation

Overhead reduction techniques for software dynamic translati...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： K. Scott N. Kumar B.R. Childers J.W. Davidson M.L. Soffa Google Inc. New York NY USA Department of Computer Science University of Pittsburgh Pittsburgh PA USA Department of Computer Science University of Virginia Charlottesville VA USA

Summary form only given. software dynamic translation (SDT) is a technology that allows programs to be modified as they are running. The overhead of monitoring and modifying a running program's instructions is often substantial in SDT systems. As a result, SDT can be impractically slow, especially in SDT systems that do not or cannot employ dynamic optimization to offset overhead. This is unfortunate since SDT has obvious advantages in modern computing environments and interesting applications of SDT continue to emerge. We investigate several overhead reduction techniques, including indirect branch translation caching, fast returns, and static trace formation that can improve SDT performances significantly.

关键词： Application virtualization Linux Switches Computer science distributed processing Application software Instruction sets Buildings Performance evaluation Memory management

来源：评论

学校读者我要写书评

暂无评论

Program dependence analysis of concurrent logic programs and its applications

Program dependence analysis of concurrent logic programs and...

引用

international Conference on parallel and distributed systems (ICPADS)

作者： J. Zhao J. Cheng K. Ushijima Department of Computer Science and Communication Engineering Kyushu University Fukuoka Japan

In this paper a formal model for program dependence analysis of concurrent logic programs is proposed with the following contributions. First, two language-independent program representations are presented for explicitly representing control flows and/or data flows in a concurrent logic program. Then based on these representations, program dependences between literals in concurrent logic programs are defined formally, and a dependence-based program representation named the Literal Dependence Net (LDN) is presented for explicitly representing primary program dependences in a concurrent logic program. Finally, as applications of the LDNs, some important software engineering activities including program slicing, debugging, testing, complexity measurement, and maintenance are discussed in a programming environment for concurrent logic programs.

关键词： Logic programming Communication system control Logic testing Application software software engineering Programming environments Optimizing compilers Computer science software testing software measurement

来源：评论

学校读者我要写书评

暂无评论

software transactional memory: Where do we come from? What are we? Where are we going?

Software transactional memory: Where do we come from? What a...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Nir Shavit Computer Science Department Tel-Aviv University Israel

The transactional memory programming paradigm is gaining momentum as the approach of choice for replacing locks in concurrent programming. Combining sequences of concurrent operations into atomic transactions seems to promise a great reduction in the complexity of both programming and verification, by making parts of the code appear to be sequential without the need to program fine-grained locks. software transactional memory offers to deliver a transactional programming environment without the need for costly modifications in processor design. However, the story of software transactional memory reminds one of garbage collection in its time: performance is improving, and the semantics are becoming clearer, yet there is still a long road ahead, a road strewn with stones below and crows hovering above, predicting its demise. This talk will try to take a sober look at software transactional memory, its history, the state of research today, and what we can expect to achieve it in the foreseeable future.

关键词： Computer science Roads Programming environments Process design software performance History Sun Computer industry Concurrent computing software systems

来源：评论

学校读者我要写书评

暂无评论

Mathematical Foundations of Computer Science 1993 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540479277

ISBN: (纸本)9783540571827

This volume contains the proceedings of the 18th international symposium on Mathematical Foundations of Computer Science, MFCS '93, held in Gdansk, Poland, August-September 1993. The MFCS symposia, organized annually in Poland and the former Czechoslovakia since 1972, have a long and well-established tradition. Over the years they have served as a meeting ground for specialists from all branches of theoretical computer science, in particular - algorithms and complexity, automata theory and theory of languages, - concurrent, distributed and real-time systems, - the theory of functional, logic and object-oriented programming, - lambda calculus and type theory, - semantics and logics of programs, and others. The volume contains 12 invitedlectures and 56 contributed papers selected from 133 submissions.

关键词： Applications of Mathematics software engineering/Programming and Operating systems Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：