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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

A Model of a LED for Street Illumination - Simulations and Measurements 9

A Model of a LED for Street Illumination - Simulations and M...

引用

9th international symposium on Advanced Topics in Electrical engineering (ATEE)

作者： Ion, Florian Stancu, Laurentiu Ulieru, Valentin Dogaru Valahia Univ Targoviste Targoviste Romania SC AMIRAS C&L IMPEX SRL Targoviste Romania

ISBN: (纸本)9781479975143

The goal of this paper is to find the best model for LEDs used in simulations for street lighting. The model of LED has three parameters: V_LED, I_LED and R_LED. First, it is presented a model of LED extracted from the I-V characteristic given in the datasheet of producer. This model will be called MDS (Model from the Data Sheet). Secondly, for the same LED the I-V characteristic is raised through measurements. After the equation is established, the parameters of the LED are calculated with simple equations;this model is called MPM (Model Proposed from Measurements). The third model is obtained from averaging the measurements of parameters values for many series LEDs;this model is called MPA (Model Proposed from Averaging). All models are introduced in simulations. After that, the results are compared with the measurements. The errors obtained with the model proposed MPM are less than the errors obtained with the MDS and MPA model. This model is the best for simulations. The LED used in this paper is OSLON SSL 150 from OSRAM. The parameters of MDS are: V_LED=2.944V, I_LED=350mA and R_LED=555m Omega. The parameters of MPM are: V_LED=2.934V, I_LED=350mA and R_LED=642m Omega. The errors with the MDS are less than 13.33%, and with the MPM are less than 7.88%. The errors with the MPA are less than 25% For simulations and measurements is used the driver MP4021A from Monolithic Power systems (MPS) for two parallel strings of 16 series LEDs (32W). The software used is MPSmart 7.20 from MPS and for measurements are used Fluke 8808A digital multimeters.

关键词： LED model MP4021A driver MPSmart 7.20 software

来源：评论

学校读者我要写书评

暂无评论

Dynamic adjustment of execution order in real-time databases

Dynamic adjustment of execution order in real-time databases

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Yongyan Wang Qiang Wang Hongan Wang Guozhong Dai Intelligence Engineering Laboratory Institute of Software Chinese Academy and Sciences Beijing China

ISBN: (纸本)0769521320

Summary form only given. Many researches have been devoted to designing appropriate concurrency control algorithms for real-time database systems, which not only satisfy consistency requirements but also meet transaction timing constraints as much as possible. Optimistic concurrency control protocols have the nice properties of being nonblocking and deadlock-free, but they have the problems of late conflict detection and transaction restarts. Although the number of transaction restarts is reduced by dynamic adjustment of serialization order (DASO) in real-time database systems, it still has some unnecessary transaction restarts. We first propose a new method called dynamic adjustment of execution order (DAEO) and a new optimistic concurrency control algorithm based on DAEO, which can reduce the number of unnecessary restarts near to zero and outperforms the previous algorithms, and then discuss the experiments and the results.

关键词： Concurrency control Protocols Database systems Real time systems Optimization methods Algorithm design and analysis Timing System recovery Delay Transaction databases

来源：评论

学校读者我要写书评

暂无评论

Study on Distributing Pattern of Shared Data in CC-NUMA System

Study on Distributing Pattern of Shared Data in CC-NUMA Syst...

引用

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

作者： Guoteng Pan Qiang Dou Lunguo Xie School of Computer National University of Defense Technology Shanghai China

Nowadays, directory-based cache coherence protocols have been the best choice in designing large-scaled CC-NUMA systems. Directory contains the shared information of all memory blocks in system. The number of copies of shared data in system and their distributing characteristics are deeply influenced by the characteristics of application programs. In this paper, a Markov chains model is built for the distributing pattern of shared data in CC-NUMA systems. It's proved that, the average number of cache copies of shared data is small in CC-NUMA systems. Especially, when the percentage of shared read operations in applications is lower than 80%, this number is less than 5.

关键词： Protocols Pattern analysis distributed computing Coherence software engineering Artificial intelligence Computer networks Concurrent computing Multiprocessing systems Writing

来源：评论

学校读者我要写书评

暂无评论

Hardware-software interaction: preliminary observations

Hardware-software interaction: preliminary observations

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： N. Steiner P. Athanas Bradley Department of Electrical and Computer Engineering Virginia Polytechnic Institute and State University Blacksburg VA USA

As computational devices continue to advance, there are reasons to examine their foundations a little more deeply, and to ask whether there may not be something more to be found. The fundamental manner in which hardware and software interact is poorly understood, and yet there is little indication in the literature that this is being discussed or explored. In spite of our technological achievements, we are at a loss to precisely define the boundaries between hardware and software, and to describe the nature of their interface. This paper aims to raise some of the major issues and questions, to propose a hardware-information duality, and to suggest directions in which further research might be pursued.

关键词： Hardware Physics computing Computer interfaces Computer aided instruction Bridges Information theory Clocks Calculators Humans Circuits

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

parallel processors and an approach to the development of inference engine

Parallel processors and an approach to the development of in...

引用

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

作者： V.B. Prasad Electrical and Computer Engineering Department Bradley University Peoria IL USA

The reliable and fault tolerant computers are key to the success to aerospace, and communication industries where failures of the system can cause a significant economic impact and loss of life. Designing a reliable digital system, and detecting and repairing the faults are challenging tasks in order for the digital system to operate without failures for a given period of time. The paper presents a new and systematic software engineering approach of performing fault diagnosis of digital systems, which have employed multiple processors. The fault diagnosis model is based on the classic PMC model to generate data obtained on the basis of test results performed by the processors. The PMC model poses a tremendous challenge to the user in doing fault analysis on the basis of test results performed by the processors. This paper will perform one fault model for developing software. The effort has been made to preserve the necessary and sufficient.

关键词： Engines Digital systems Fault diagnosis Testing Performance evaluation Fault tolerant systems Aerospace industry Communication industry Fault detection software engineering

来源：评论

学校读者我要写书评

暂无评论

Architectural Considerations for Efficient software Execution on parallel Microprocessors

Architectural Considerations for Efficient Software Executio...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Srinivas Vadlamani Stephen Jenks Department of Electrical Engineering and Computer Science University of California Irvine CA USA

Chip multiprocessors (CMPs) and simultaneous multithreading (SMT) processors provide high performance but put more pressure on the memory interface than their single-thread counterparts. The "memory wall" problem is exacerbated by multiple threads sharing a memory interface, and will get worse as more cores are added. Therefore, communications between cores, using shared caches or fast interconnects between private caches, are needed to keep the CPUs busy without burdening the memory interface. Multiple CMP systems add another dimension to this challenging problem, as the communication mechanism is no longer uniform. To parallelize data-intensive applications for high performance on these systems, one must explore a number of execution behaviors in a complex architecture-dependent exercise that entails identifying key components of the communication subsystem and understanding their behavior under varying workloads. As part of ongoing research into efficient program execution models for parallel microprocessors, we have developed a tool to evaluate the performance of the storage controllers at different levels of the memory hierarchy under varying workloads and measure cache coherence overhead. The tool allows exploration of architectural features of real processors that affect the performance of several parallel execution approaches. Here, we demonstrate its use by evaluating two of our parallel programming models that employ architecture-specific optimizations and compare them to a conventional model for several applications on parallel microprocessors.

关键词： Microprocessors Yarn Surface-mount technology Finite difference methods Multithreading Cache storage Time domain analysis software performance Computer science Communication system control

来源：评论

学校读者我要写书评

暂无评论

Multiprocessor based low bitrate video codec architecture and a well-adapted two phase software coding strategy

Multiprocessor based low bitrate video codec architecture an...

引用

Visual Communications and Image Processing IV

作者： Kummerow, Thomas Mohr, Peter Weis, Peter TELENORMA Frankfurt Germany

ISBN: (纸本)0819402389

The first part of the paper describes a specialized multiprocessor environment for hybrid coding of visual communications signals in the range from ISDN basic access to primary rate transmission channels. Most important is a proprietary 4-wide SIMD parallel video processor with 80 MIPS. The second part deals with the software philosophy of the codec. It uses preanalysis and prebuffering in the first phase of coding a frame. In the second phase, limited processing power and available channel bits are distributed optimally over time and over changed areas of one frame. Codec delay is halved with respect to conventional codecs.

关键词： Computer systems, Digital

来源：评论

学校读者我要写书评

暂无评论

Performance of scheduling strategies for client-server systems

Performance of scheduling strategies for client-server syste...

引用

international Conference on parallel and distributed systems (ICPADS)

作者： S. Majumdar T. Phillips Systems & Computer Engineering Carleton University Ottawa Canada

Scheduling on client-server systems has not received much attention from researchers. Based on simulation this research presents a number of insights into system behavior and scheduling. Two phenomena, CPU monopolization by large service requests and software bottlenecking are observed to have a strong influence on system performance. software bottlenecking is a new phenomenon, observed on distributed client server systems with multiple levels of servers and occurs when a higher level server is blocked waiting for a response to a service request from a lower level server. Policies based on request characteristics such as service times and path lengths are found to effectively control these effects and improve system performance.

关键词： Client-server systems Processor scheduling Network servers systems engineering and theory System performance Transaction databases distributed computing Resource management Computational modeling software performance

来源：评论

学校读者我要写书评

暂无评论

Formal Methods for Components and Objects - 4th international symposium, FMCO 2005, Revised Lectures

引用

4th international symposium on Formal Methods for Components and Objects, FMCO 2005

ISBN: (纸本)3540367497

The proceedings contain 18 papers. The topics discussed include: a software component model and its preliminary formalisation;synchronised hyperedge replacement as a model for service oriented computing;control of modular and distributed discrete-event systems;model-based security engineering with UML: introducing security aspects;the pragmatics of STAIRS;smallfoot: modular automatic assertion checking with separation logic;separation results via leader election problems;divide and congruence: from decomposition of modalities to preservation of branching bisimulation;abstraction and refinement in model checking;program compatibility approaches;cluster-based LTL model checking of large systems;safety and liveliness in concurrent pointer programs;modular specification of encapsulated object-oriented components;and on a probabilistic chemical abstract machine and expressiveness of Linda languages.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 473 474 475 476 477 478 479 480 481 482 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：