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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 期刊文献
36 册 图书
2 篇 学位论文

馆藏范围

10,588 篇 电子文献
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...
849 篇 hardware
728 篇 concurrent compu...
668 篇 parallel process...
561 篇 computational mo...
482 篇 software enginee...
446 篇 real time system...
345 篇 runtime
329 篇 costs
324 篇 software systems
321 篇 processor schedu...
317 篇 fault tolerance
317 篇 resource managem...
295 篇 software
287 篇 scalability
284 篇 bandwidth
281 篇 computer network...

机构

34 篇 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 篇 department of el...
19 篇 department of co...
18 篇 state key labora...
18 篇 department of co...
16 篇 school of comput...
15 篇 department of el...
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...
13 篇 department of co...

作者

20 篇 m. takizawa
20 篇 k.h. kim
19 篇 rajkumar buyya
18 篇 dhabaleswar k. p...
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
11 篇 hong jiang

语言

10,515 篇 英文
37 篇 其他
34 篇 中文
1 篇 西班牙文
1 篇 法文
1 篇 葡萄牙文

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

共 10588 条记录，以下是4741-4750 订阅

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

详细简洁

排序：

AVR-INJECT: A tool for injecting faults in Wireless Sensor Nodes

AVR-INJECT: A tool for injecting faults in Wireless Sensor N...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Marcello Cinque Domenico Cotroneo Catello Di Martino Stefano Russo Alessandro Testa Dipartimento di Informatica e Sistemistica Universita di Napoli Federico II Napoli Italy

As the incidence of faults in real Wireless Sensor Networks (WSNs) increases, fault injection is starting to be adopted to verify and validate their design choices. Following this recent trend, this paper presents a tool, named AVR-INJECT, designed to automate the fault injection, and analysis of results, on WSN nodes. The tool emulates the injection of hardware faults, such as bit flips, acting via software at the assembly level. This allows to attain simplicity, while preserving the low level of abstraction needed to inject such faults. The potential of the tool is shown by using it to perform a large number of fault injection experiments, which allow to study the reaction to faults of real WSN software.

关键词： Wireless sensor networks software tools Testing software performance Application software Condition monitoring Performance analysis Assembly systems Laboratories Hardware

来源：评论

学校读者我要写书评

暂无评论

Generation of Synthetic Floating-Point benchmark circuits

Generation of Synthetic Floating-Point benchmark circuits

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Thomas C. P. Chau Sam M. H. Ho Philip H.W. Leong Peter Zipf Manfred Glesner Department of Computer Science and Engineering Hong Kong China Department of Electronic Engineering Chinese University of Hong Kong Hong Kong China Institute of Microelectronic Systems Technische Universitat Darmstadt Germany

Synthetic Floating-Point (SFP), a synthetic benchmark generator program for floating-point circuits is presented. SFP consists of two independent modules for characterisation and generation. The characterisation module extracts key dataflow statistics of an arbitrary software program. Generation involves producing randomised circuits with desired statistics which are either the output of the characterisation module or directly generated by the user. Using the basic linear algebra subprograms (BLAS) library, Whetstone benchmark and LINPACK benchmark, it is demonstrated that SFP can be used to generate floating-point benchmarks with different user-specified properties as well as benchmarks that mimic real computational programs.

关键词： Character generation Logic circuits Delay Field programmable gate arrays Statistics Integrated circuit interconnections Logic devices Flip-flops Circuit testing Assembly

来源：评论

学校读者我要写书评

暂无评论

Energy minimization for periodic real-time tasks on heterogeneous processing units

Energy minimization for periodic real-time tasks on heteroge...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Jian-Jia Chen Andreas Schranzhofer Lothar Thiele Computer Engineering and Networks Laboratory (TIK) Swiss Federal Institute of Technology Switzerland

ISBN: (纸本)9781424437511

Adopting multiple processing units to enhance the computing capability or reduce the power consumption has been widely accepted for designing modern computing systems. Such configurations impose challenges on energy efficiency in hardware and software implementations. This work targets power-aware and energy-efficient task partitioning and processing unit allocation for periodic real-time tasks on a platform with a library of applicable processing unit types. Each processing unit type has its own power consumption characteristics for maintaining its activeness and executing jobs. This paper proposes polynomial-time algorithms for energy-aware task partitioning and processing unit allocation. The proposed algorithms first decide how to assign tasks onto processing unit types to minimize the energy consumption, and then allocate processing units to fit the demands. The proposed algorithms for systems without limitation on the allocated processing units are shown with an (m + 1)-approximation factor, where mis the number of the available processing unit types. For systems with limitation on the number of the allocated processing units, the proposed algorithm is shown with bounded resource augmentation on the limited number of allocated units. Experimental results show that the proposed algorithms are effective for the minimization of the overall energy consumption.

关键词： Energy consumption Energy efficiency Partitioning algorithms Hardware Polynomials Multiprocessing systems Algorithm design and analysis Real time systems Computer networks Power engineering computing

来源：评论

学校读者我要写书评

暂无评论

A Hardware-software Cooperative Approach for the Exhaustive Verification of the Collatz Conjecture

A Hardware-Software Cooperative Approach for the Exhaustive ...

引用

international symposium on parallel and distributed Processing with Applications, ISPA

作者： Yasuaki Ito Koji Nakano Department of Information Engineering Hiroshima University Higashihiroshima Japan

Consider the following operation on an arbitrary positive number: if the number is even, divide it by two, and if the number is odd, triple it and add one. The Collatz conjecture assert that, starting from any positive number n, repeated iteration of the operations eventually produces the value 1. The main contribution of this paper is to present hardware-software cooperative approach to verify the Collatz conjecture. The key idea of our approach is to sieve numbers n that produces 1 using a circuit implemented on an FPGA. The numbers that fail to be verified by overflow are reported to the host PC. The host PC verifies those numbers using unlimited bits operations by software. We have implemented 24 coprocessors on the Vertex II family FPGA XC2V3000-4. The experimental results show that our hardware-software cooperative approach can verify 2.89 times 10 9 64-bit numbers per second.

关键词： distributed processing

来源：评论

学校读者我要写书评

暂无评论

New Methods and Tools for Developing Real-Time software

New Methods and Tools for Developing Real-Time Software

引用

international symposium on Object-Oriented Real-Time distributed Computing

作者： Bran Selic Malina Software Corporation Nepean ONT Canada

This short panel position paper outlines the vision of modern development methods and supporting technologies for the development of modern and future real-time and embedded software applications. It is argued that th... 详细信息

关键词： software tools Application software Computer languages distributed computing Paper technology Embedded software software engineering Real time systems software quality Technological innovation

来源：评论

学校读者我要写书评

暂无评论

A Distribution System of Document Medium with Copyright Protection

A Distribution System of Document Medium with Copyright Prot...

引用

ACIS international Conference on software engineering, Artificial Intelligence, Networking, and parallel/distributed Computing (SNPD)

作者： Kazuya Odagiri Naohiro Ishii Rihito Yaegashi Masaharu Tadauchi Electro-Communications University Japan Aichi Institute of Technology Japan Shibaura Institute of Technology Japan Toyota Technological Institute USA

There are document reproduction/distribution systems aimed for the copyright protection in the educational site. But, these systems are not always convenient and it is often hard to manage the systems for network administrator. We apply a DACS Portal to the systems by using the network communication control on the client. On the DACS Scheme, a new distribution system is developed which displays static documents dynamically. The DACS Portal is applied to the copying/distribution system. It is shown that the proposed distribution system is easy to handle for users to get the documents medium. Further, the system is also easy to manage network for network administrator with no change of network configuration.

关键词： Copyright protection Communication system control Filtering Educational technology Portals Control systems Guidelines Building materials Information management software engineering

来源：评论

学校读者我要写书评

暂无评论

Experienced Report on Assessing and Evaluating Change Impact Analysis Through a Framework and Associated Models

Experienced Report on Assessing and Evaluating Change Impact...

引用

7th symposium on Specific Allergy (SOSA)international Conference on Enterprise systems and Applications

作者： Ekabua, Obeten O. Adigun, Matthew O. Univ Zululand Dept Comp Sci Ctr Excellence Mobile eServ Dev ZA-3886 Kwa Dlangezwa South Africa

In our evolving computing environment with heterogenously distributed information systems, products are continuously modified and changed. During this process a change to one part will, in most cases, results in changes to other parts. Therefore, in design and redesign for customization, predicting this change presents a significant challenge. Changes are required to fix faults or to improve or update products. This paper reports on the development of a change impact analysis factor adaptation model, a fault and failure assumption model and the implementation of a generic change propagation framework for evaluating and assessing utility service provisioning in a Grid service environment. While implementing the framework, data was collected for a period of 3 years which helped in predicting an immediate year. The obtained results from our pre- diction shows the framework, its associated models and Bayesian statistics as satisfying the criteria for a significant prediction accuracy in evaluating and assessing the effect of a change of service in a grid environment when compared to an unreported regression method.

关键词： change impact analysis service provisioning software metrics service maintenance Bayesian statistics grid environment

来源：评论

学校读者我要写书评

暂无评论

Workflow Based Approach for Eliminating Redundancy in Virtual Enterprising

Workflow Based Approach for Eliminating Redundancy in Virtua...

引用

international symposium on parallel and distributed Processing with Applications, ISPA

作者： Reggie Davidrajuh Electrical Engineering & Computer Sc. University of Stavanger Stavanger Norway

The existence of redundancy is a serious problem in virtual enterprise in which a number of collaborating enterprises join together to manufacture and sell a class of product for a time-limited period. This paper proposes a new approach for detection and elimination of redundancy in virtual enterprises; the proposed approach is based on workflow and uses Petri net for modeling and simulation of workflows. This paper also presents a working example as a proof of concept.

关键词： Collaborative work Virtual enterprises international collaboration Marketing and sales Computer aided manufacturing Assembly distributed processing Application software Concurrent computing distributed computing

来源：评论

学校读者我要写书评

暂无评论

MM-DSM: Multi-threaded Multi-home distributed Shared Memory systems

MM-DSM: Multi-threaded Multi-home Distributed Shared Memory ...

引用

international symposium on parallel and distributed Processing with Applications, ISPA

作者： Chonglei Mei Hai Jiang Jeff Jenness Department of Computer Science Arkansas State University Jonesboro AR USA

Most traditional distributed Shared Memory (DSM) systems support data sharing in multi-process applications. This paper proposed a Multi-threaded Multi-home DSM system (MM-DSM) to support both data sharing and computation synchronization in multi-threaded applications whose threads are grouped into bundles and distributed across multiple computers for parallel execution. Globally shared data are rearranged and assigned to different thread bundles based on their access patterns. As thread bundles move around, their hosting nodes will act as the homes of the associated data blocks to reduce communication cost. Programmers can still stick to the shared memory programming paradigm whereas data consistency, distributed lock, false sharing and multiple writes are taken care of by MM-DSM. Experimental results demonstrate its effectiveness and correctness.

关键词： Yarn Programming profession Hardware Application software Computer science USA Councils distributed computing Multithreading Concurrent computing Costs

来源：评论

学校读者我要写书评

暂无评论

Organic Computing and Model-Driven engineering in Embedded systems

Organic Computing and Model-Driven Engineering in Embedded S...

引用

international symposium on Object-Oriented Real-Time distributed Computing

作者： Mike Hinchey Roy Sterritt University of Ulster Jordanstown UK Lero-the Irish Software Engineering Research Centre University of Limerick Jordanstown Ireland

Model-driven engineering (MDE), and its various forms (such as OMG's MDA: model-driven architecture) is a software development methodology focusing on creating models and abstractions for a specific domain. It aims to increase productivity and avoid traditional SDLC problems by maximizing compatibility between systems, simplifying the process of design, and promoting understanding and communication between stakeholders and developers. Organic computing is a vision for a particular type of system, and considers what is to be delivered (self-management). MDE involves applied research into how to deliver systems. Both have the development of more effective systems as a high level objective, and so can be viewed as complementary.

关键词： Embedded computing Model driven engineering Embedded system Computer vision Biology computing Real time systems software engineering Computer industry Computer networks distributed computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 471 472 473 474 475 476 477 478 479 480 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：