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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

900 篇 会议
22 册 图书
22 篇 期刊文献

馆藏范围

944 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

356 篇 工学
- 335 篇 计算机科学与技术...
- 255 篇 软件工程
- 50 篇 信息与通信工程
- 34 篇 电气工程
- 32 篇 控制科学与工程
- 23 篇 电子科学与技术（可...
- 14 篇 网络空间安全
- 10 篇 动力工程及工程热...
- 7 篇 机械工程
- 5 篇 交通运输工程
- 5 篇 生物工程
- 5 篇 安全科学与工程
- 4 篇 力学（可授工学、理...
- 4 篇 材料科学与工程（可...
- 4 篇 化学工程与技术
- 4 篇 环境科学与工程（可...
- 4 篇 生物医学工程（可授...
- 3 篇 建筑学
93 篇 理学
- 65 篇 数学
- 19 篇 系统科学
- 8 篇 统计学（可授理学、...
- 7 篇 物理学
- 7 篇 生物学
- 4 篇 化学
87 篇 管理学
- 71 篇 管理科学与工程(可...
- 31 篇 工商管理
- 17 篇 图书情报与档案管...
5 篇 法学
- 5 篇 社会学
4 篇 教育学
- 4 篇 教育学
3 篇 经济学
- 3 篇 应用经济学
3 篇 医学

主题

267 篇 application soft...
123 篇 computer science
114 篇 hardware
102 篇 concurrent compu...
99 篇 distributed comp...
84 篇 computer archite...
77 篇 parallel process...
59 篇 computer network...
58 篇 computational mo...
56 篇 processor schedu...
54 篇 delay
53 篇 software enginee...
51 篇 resource managem...
51 篇 large-scale syst...
50 篇 costs
48 篇 runtime
48 篇 real time system...
42 篇 software systems
41 篇 operating system...
40 篇 parallel program...

机构

8 篇 ibm thomas j. wa...
5 篇 school of electr...
5 篇 school of comput...
5 篇 department of co...
5 篇 department of co...
4 篇 software school ...
4 篇 department of co...
4 篇 department of el...
4 篇 institute of com...
4 篇 department of co...
3 篇 department of en...
3 篇 department of el...
3 篇 cncert/cc
3 篇 research centre ...
3 篇 department of el...
3 篇 school of electr...
3 篇 department of el...
3 篇 department of el...
3 篇 school of softwa...
3 篇 institute for pa...

作者

7 篇 l.r. welch
6 篇 m. parashar
6 篇 gao guang r.
5 篇 h. casanova
5 篇 jack dongarra
5 篇 zimeo eugenio
5 篇 hong jiang
5 篇 s. hariri
5 篇 wei-keng liao
4 篇 j.-l. gaudiot
4 篇 suzhen wu
4 篇 b. pfarr
4 篇 m. kandemir
4 篇 g.r. gao
4 篇 alok choudhary
4 篇 l. welch
4 篇 p. sobe
4 篇 bo mao
4 篇 wentong cai
4 篇 minyi guo

语言

942 篇 英文
1 篇 其他
1 篇 中文

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

共 944 条记录，以下是361-370 订阅

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

详细简洁

排序：

Techniques for specifying bug patterns

Techniques for specifying bug patterns

引用

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

作者： Quinlan, Daniel J. Vuduc, Richard W. Misherghi, Ghassan Center for Applied Scientific Computing Lawrence Livermore National Laboratory 7000 East Avenue Livermore CA United States Department of Computer Science University of California Davis Davis CA United States

ISBN: (纸本)159593748X

We present our on-going work to develop techniques for specifying source code signatures of bug patterns. Specifically, we discuss two approaches. The first approach directly analyzes a program in the intermediate representation (IR) of the ROSE compiler infrastructure using ROSE's API. The second analyzes the program using the bddbddb system of Lam, Whaley, et al.. In this approach, we store the IR produced by ROSE as a relational database, express patterns as declarative inference rules on relations in the language Datalog, and bddbddb implements the Datalog programs using binary decision diagram (BDD) techniques. Both approaches readily apply to large-scale applications, since ROSE provides full type analysis, control flow, and other available analysis information. In this paper, we primarily consider bug patterns expressed with respect to the structure of the source code or the control flow, or both. More complex techniques to specify patterns that are functions of data flow properties may be addressed by either of the above approaches, but are not directly treated here. Our Datalog-based work includes explicit support for expressing patterns on the use of the Message Passing Interface (MPI) in parallel distributed memory programs. We show examples of this on-going work as well. Copyright 2007 ACM.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Experience with fluid: Analysis, design intent, and assurance for concurrency

Experience with fluid: Analysis, design intent, and assuranc...

引用

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

作者： Scherlis, William Carnegie Mellon University School of Computer Science Pittsburgh PA United States

ISBN: (纸本)159593748X

There is a new generation of analysis-based tools to assist programmers in assuring software at scale. Most often, these tools emphasize program properties that tend to defy traditional testing and inspection-typically properties that involve nondeterminism or that may have a non-local character, in the sense that there may be no single place in the code associated with errors. Concurrency errors are the perfect storm of nondeterminism and non-locality, and so have received attention from analysis and verification researchers for some time. Additionally, concurrency is of increasing importance because software exploitation of multicore processors is an emerging gateway to continued movement up the curve of Moore's Law. In this talk, we survey some recent progress in advanced software assurance tools for concurrency, including both static and dynamic analysis. Our focus is on the effective exploitation of design intent to assist developers in achieving verification related to Java race conditions and access policy to shared data. We consider lock-based approaches, using both lexical-style locking, as with Java's synchronized,and dynamic lock acquisition and release, as with Doug Lea *** library. We also consider policy-based approaches that avoid explicit locking, as used in most GUI frameworks and in many simulation and data management systems. We summarize the results of a number of field trials in major commercial companies to assess our ideas related to adoptability by working developers and scalability to realistic large systems.

关键词： Computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

Programming distributed Memory Sytems Using OpenMP

Programming Distributed Memory Sytems Using OpenMP

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Ayon Basumallik Seung-Jai Min Rudolf Eigenmann School of Electrical and Computer Engineering Purdue University West Lafayette IN USA

OpenMP has emerged as an important model and language extension for shared-memory parallel programming. On shared-memory platforms, OpenMP offers an intuitive, incremental approach to parallel programming. In this paper, we present techniques that extend the ease of shared-memory parallel programming in OpenMP to distributed-memory platforms as well. First, we describe a combined compile-time/runtime system that uses an underlying software distributed shared memory system and exploits repetitive data access behavior in both regular and irregular program sections. We present a compiler algorithm to detect such repetitive data references and an API to an underlying software distributed shared memory system to orchestrate the learning and proactive reuse of communication patterns. Second, we introduce a direct translation of standard OpenMP into MPI message-passing programs for execution on distributed memory systems. We present key concepts and describe techniques to analyze and efficiently handle both regular and irregular accesses to shared data. Finally, we evaluate the performance achieved by our approaches on representative OpenMP applications.

关键词： Application software parallel programming software systems Runtime Concurrent computing distributed computing software algorithms Communication system software Message passing software performance

来源：评论

学校读者我要写书评

暂无评论

Splice: A Standardized Peripheral Logic and Interface Creation Engine

Splice: A Standardized Peripheral Logic and Interface Creati...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Justin Thiel Ron K. Cytron Department of Computer Science and Engineering Washington University Saint Louis MO USA

Recent advancements in FPGA technology have allowed manufacturers to place general-purpose processors alongside user-configurable logic gates on a single chip. At first glance, these integrated devices would seem to be the ideal deployment platform for hardware-software co-designed systems, but some issues, such as incompatibility across vendors and confusion over which bus interfaces to support, have impeded adoption of these platforms. This paper describes the design and operation of Splice, a software-based code generation tool designed to address these types of issues by providing a bus-independent structure that allows end-users to integrate their customized peripheral logic easily into embedded systems.

关键词： Engines Hardware Field programmable gate arrays Application software software prototyping software libraries Logic devices Logic design software performance software tools

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Performance Analysis Methodology for distributed software systems

Model-Driven Performance Analysis Methodology for Distribute...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Swapna S. Gokhale Paul Vandal Aniruddha Gokhale Dimple Kaul Arundhati Kogekar Jeff Gray Yuehua Lin Department of CSE University of Connecticut Storrs CT USA Department of EECS Vanderbilt University Nashville TN USA Department of CIS University of Alabama Birmingham Birmingham AL USA

A key enabler of the recently popularized, assembly-centric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reusable building blocks in the form of design patterns that codify solutions to commonly recurring problems. These patterns can be customized by choosing an appropriate set of configuration parameters. The configuration options of the patterns exert a strong influence on system performance, which is of paramount importance in many distributed software systems. Despite this considerable influence, currently there is a lack of significant research to analyze performance of middleware at design time, where performance issues can be resolved at a much earlier stage of the application life cycle and with substantially less costs. The present project seeks to develop a performance analysis methodology for design-time performance analysis for distributed software systems implemented using middleware patterns and their compositions. The methodology is illustrated on a producer/consumer system implemented using the active object (AO) pattern in middleware. Finally, broader impacts of the methodology for middleware specialization are also described.

关键词： Performance analysis software systems Middleware Assembly systems System performance Model driven engineering Design methodology Pattern analysis Computational Intelligence Society Real time systems

来源：评论

学校读者我要写书评

暂无评论

FEMS: An Adaptive Finite Element Solver

FEMS: An Adaptive Finite Element Solver

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Alberto Bertoldo Department of Information Engineering University of Padova Padova Italy

In this paper we investigate how to obtain high-level adaptivity on complex scientific applications such as finite element (FE) simulators by building an adaptive version of their computational kernel, which consists of a sparse linear system solver. We present the software architecture of FEMS, a parallel multifrontal solver for FE applications whose main feature is an install-time training phase where adaptation to the computing platform takes place. FEMS relies on a simple model-driven mesh partitioning strategy, which makes it possible to perform efficient static load balancing on both homogeneous and heterogeneous machines.

关键词： Finite element methods Assembly Matrix decomposition Application software Linear systems Concurrent computing distributed computing Computational modeling Computer architecture Iterative methods

来源：评论

学校读者我要写书评

暂无评论

A Probabilistic Approach to Measuring Robustness in Computing systems

A Probabilistic Approach to Measuring Robustness in Computin...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Behdis Eslamnour Shoukat Ali University of Missouri-Rolla Rolla MO USA

System builders are becoming increasingly interested in robust design. We believe that a methodology for generating robustness metrics helps the robust design research efforts and, in general, is an important step in the efforts to create robust computing systems. The purpose of the research in this paper is to quantify the robustness of a resource allocation, with the eventual objective of setting a standard that could easily be instantiated for a particular computing system to generate robustness metric. We present our theoretical foundation for robustness metric and give its instantiation for a particular system.

关键词： Robustness Resource management Quality of service System software Fault tolerant systems Detectors Scheduling algorithm Electric variables measurement Design engineering Educational institutions

来源：评论

学校读者我要写书评

暂无评论

distributed Adaptive Particle Swarm Optimizer in Dynamic Environment

Distributed Adaptive Particle Swarm Optimizer in Dynamic Env...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Xiaohui Cui Thomas E. Potok Applied Software Engineering Research Computational Sciences and Engineering Division Oak Ridge National Laboratory Oak Ridge TN USA

Particle swarm optimization (PSO) is a population-based stochastic optimization technique, which can be used to find an optimal, or near optimal, solution to a numerical and qualitative problem. In PSO algorithm, the problem solution emerges from the interactions among many simple individual agents called particles. In the real world, we have to frequently deal with searching and tracking an optimal solution in a dynamical and noisy environment. This demands that the algorithm not only find the optimal solution but also track the trajectory of the non-stationary solution. The traditional PSO algorithm lacks the ability to track the changing optimal solution in a dynamic and noisy environment. In this paper, we present a distributed adaptive PSO (DAPSO) algorithm that can be used to track a non-stationary optimal solution in a dynamically changing and noisy environment.

关键词： Particle swarm optimization Working environment noise Trajectory Heuristic algorithms Birds Equations software engineering distributed computing Stochastic processes Multidimensional systems

来源：评论

学校读者我要写书评

暂无评论

Hardware/software Co-Design for Matrix Computations on Reconfigurable Computing systems

Hardware/Software Co-Design for Matrix Computations on Recon...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Ling Zhuo Viktor K. Prasanna Department of Electrical Engineering University of Southern California USA

Recently, reconfigurable computing systems have been built which employ field-programmable gate arrays (FPGAs) as hardware accelerators for general-purpose processors. These systems provide new opportunities for scientific computations. However, the co-existence of the processors and the FPGAs in such systems also poses new challenges to application developers. In this paper, we investigate a design model for hybrid designs, that is, designs that utilize both the processors and the FPGAs. The model characterizes a reconfigurable computing system using various system parameters, including the floating-point computing power of the processor and the FPGA, the number of nodes, the memory bandwidth and the network bandwidth. Using the model, we investigate hardware/software co-design for two computationally intensive applications: matrix factorization and all-pairs shortest-paths problem. Our designs balance the load between the processor and the FPGA, as well as overlap the computation time with memory transfer time and network communication time. The proposed designs are implemented on 6 nodes in a Cray XD1 chassis. Our implementations achieve 20 GFLOPS and 6.6 GFLOPS for these two applications, respectively.

关键词： Hardware Field programmable gate arrays Application software Power system modeling Computer networks Bandwidth parallel processing Process design software performance Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Healing data races on-the-fly

Healing data races on-the-fly

引用

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

作者： Krena, Bohuslav Letko, Zdenek Tzoref, Rachel Ur, Shmuel Vojnar, Tomáš Brno University of Technology Božetěchova 2 Brno CZ 612 66 Czech Republic IBM Haifa Research Lab Haifa University Campus Haifa 31905 Israel

ISBN: (纸本)159593748X

Testing of concurrent software is extremely difficult. Despite all the progress in the testing and verification technology, concurrent bugs, the most common of which are deadlocks and races, make it to the field. This paper describes a set of techniques, implemented in a tool called ConTest, allowing concurrent programs to self-heal at run-time. Concurrent bugs have the very desirable property for healing that some of the interleaving produce correct results while in others bugs manifest. Healing concurrency problems is about limiting, or changing the probability of interleaving, such that bugs will be seen less. When healing concurrent programs, if a deadlock does not result from limiting the interleaving, we are sure that the result of the healed program could have been in the original program and therefore no new functional bug has been introduced. In this initial work which deals with different types of data races, we suggest three types of healing mechanisms: (1) changing the probability of interleaving by introducing sleep or yield statements or by changing thread priorities, (2) removing interleaving using synchronisation commands like locking and unlocking certain mutexes or waits and notifies, and (3) removing the result of "bad interleaving" by replacing the value of variables by the one that "should" have been taken. We also classify races according to the relevant healing strategies to apply. Copyright 2007 ACM.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共95页 << < 33 34 35 36 37 38 39 40 41 42 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：