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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

544 篇 会议
28 篇 期刊文献
14 册 图书

馆藏范围

586 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

415 篇 工学
- 360 篇 计算机科学与技术...
- 303 篇 软件工程
- 44 篇 电气工程
- 41 篇 信息与通信工程
- 34 篇 控制科学与工程
- 16 篇 电子科学与技术（可...
- 14 篇 机械工程
- 8 篇 建筑学
- 8 篇 安全科学与工程
- 7 篇 动力工程及工程热...
- 6 篇 力学（可授工学、理...
- 6 篇 材料科学与工程（可...
- 5 篇 仪器科学与技术
- 4 篇 光学工程
- 4 篇 环境科学与工程（可...
- 4 篇 生物工程
- 3 篇 化学工程与技术
110 篇 理学
- 76 篇 数学
- 15 篇 系统科学
- 12 篇 化学
- 11 篇 物理学
- 8 篇 生物学
- 7 篇 统计学（可授理学、...
68 篇 管理学
- 49 篇 管理科学与工程(可...
- 24 篇 图书情报与档案管...
- 23 篇 工商管理
10 篇 教育学
- 10 篇 教育学
6 篇 经济学
- 6 篇 应用经济学
6 篇 法学
- 6 篇 社会学
4 篇 医学
- 4 篇 临床医学
1 篇 历史学
1 篇 农学
1 篇 艺术学

主题

46 篇 software enginee...
26 篇 distributed comp...
20 篇 application soft...
19 篇 distributed comp...
16 篇 parallel program...
16 篇 software design
15 篇 parallel process...
14 篇 parallel process...
13 篇 concurrent compu...
11 篇 computer aided s...
11 篇 software
10 篇 message passing
10 篇 computational mo...
9 篇 computer communi...
8 篇 information syst...
8 篇 object oriented ...
8 篇 computer network...
7 篇 parallel algorit...
7 篇 computer archite...
7 篇 grid computing

机构

4 篇 rwth aachen univ...
3 篇 vienna universit...
3 篇 tennessee tech u...
3 篇 inria rennes - b...
3 篇 tu vienna austri...
3 篇 university magna...
2 篇 duke univ durham...
2 篇 parallel and dis...
2 篇 department of so...
2 篇 academic compute...
2 篇 universitat poli...
2 篇 specification of...
2 篇 ibm haifa resear...
2 篇 capgemini munich
2 篇 tu münchen garch...
2 篇 sandia natl labs...
2 篇 duke univ mech e...
2 篇 department of el...
2 篇 univ a coruna de...
2 篇 university of pi...

作者

4 篇 michael alexande...
4 篇 alexandru costan
4 篇 vittorio scarano
4 篇 stephen l. scott
4 篇 laura ricci
3 篇 pflüger dirk
3 篇 dustdar schahram
3 篇 hochstein lorin
3 篇 gabor kecskemeti
3 篇 mario cannataro
3 篇 siegfried benkne...
3 篇 sascha hunold
3 篇 stefan lankes
3 篇 damian daniela
2 篇 parashar m
2 篇 paasivaara maria
2 篇 wang lei
2 篇 morris k.
2 篇 omar ellabban
2 篇 wang shaowen

语言

583 篇 英文
2 篇 其他
1 篇 中文

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

共 586 条记录，以下是141-150 订阅

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

详细简洁

排序：

Supporting debugging in a heterogeneous, globally distributed environment 2

Supporting debugging in a heterogeneous, globally distribute...

引用

2nd international workshop on The Globalization of Modeling Languages, GEMOC 2014, Co-located with ACM/IEEE 17th international Conference on Model Driven engineering Languages and systems, Models 2014

作者： Corley, Jonathan Gray, Jeff University of Alabama United States

Model-Driven engineering has emerged as a software development paradigm that can assist in separating the issues of the problem space of a software system from the complexities of implementation in the solution space. As software systems have become more complex, a need for multiple abstractions to describe a single system has emerged. The development teams of these massive systems are also often geographically distributed. These emerging concerns for MDE systems have led to a need for a heterogeneous, and potentially globally distributed, modeling environment. As these modeling environments are being explored, new challenges are being uncovered. In this paper, we discuss the need for debugging support in heterogeneous, globally distributed modeling systems and identify a number of challenges related to debugging that must be overcome to support this evolving paradigm for software development.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Optimal task scheduling in cloud computing environment: Meta heuristic approaches

Optimal task scheduling in cloud computing environment: Meta...

引用

international Conference on Electrical Information and Communication Technology (EICT)

作者： Tripti Mandal Sriyankar Acharyya Computer Science and Engineering West Bengal University of Technology Kolkata West Bengal India

Cloud computing is the latest continuation of parallel computing, distributed computing and grid computing. In this system, user can make use of different services like storage, servers and other applications. Cloud resources are not only used by numerous users but are also dynamically redistributed on demand. Requested services are delivered to user's computers and devices through the Internet. The fundamental issue in cloud computing system is related to task scheduling where a scheduler finds an optimal solution in cost-effective manner. Task scheduling issue is mainly focus on to find the best or optimal resources in order to minimize the total processing time of Virtual Machines (VMs). Cloud task scheduling is an NP-hard problem. The focus is on increasing the efficient use of the shared resources. A number of meta-heuristic algorithms have been implemented to solve this issue. In this work three meta-heuristic techniques such as Simulated Annealing, Firefly Algorithm and Cuckoo Search Algorithm have been implemented to find an optimal solution. The main goal of these algorithms is to minimize the overall processing time of the VMs which execute a set of tasks. The experimental result shows that Firefly Algorithm (FFA) performs better than Simulated Annealing and Cuckoo Search Algorithm.

关键词： Cloud computing Optimal scheduling Simulated annealing Processor scheduling Algorithm design and analysis Mathematical model software algorithms

来源：评论

学校读者我要写书评

暂无评论

Design and Simulation of High-voltage Power Supply for Electron Beam Precision Micro Machining Equipment

Design and Simulation of High-voltage Power Supply for Elect...

引用

2015 2nd international workshop on Materials engineering and Computer Sciences(IWMECS 2015)

作者： Xuejiao Li Shouqi Wei Xian Luo Jinpeng Zhu Weipeng Yin Guilin University of Electronic Technology

A kind of high-voltage inverter power supply for electron beam precision micro machining equipment is introducedThe system is based on the current transformation way of AC→DC→AC→AC→DCIts intermediate inverter link is intermediate frequency inverter which is composed of two phase parallel half-bridge inverter, this can solve the problem of discontinuous current when is in light loadBecause it is medium frequency inverter, the realization of energy transfer is intermediate frequency, so the cost of the equipment is reducedIn the high-voltage side, the over-voltage can be effectively suppressed by using the pressure sensitive resistanceThe mathematical model of the inverter high-voltage power supply is built by the simulation software PSIMThe simulation results show that the performance of the power supply can meet the expected design target and guarantee the welding quality of the EBM.

关键词： electron beam precision micro machining pressure sensitive resistance intermediate frequency inverter high-voltage supply

来源：评论

学校读者我要写书评

暂无评论

An Efficient Algorithm for Solving Eigenproblem 13

An Efficient Algorithm for Solving Eigenproblem

引用

13th international Symposium on distributed Computing and Applications to Business, engineering and Science (DCABES)

作者： Zhang, Huirong Cao, Jianwen Chinese Acad Sci Grad Univ Lab Parallel Software & Computat Sci Software Inst Software Beijing Peoples R China Chinese Acad Sci Inst Software Lab Parallel Software & Computat Sci Software Beijing Peoples R China

ISBN: (纸本)9781479941698

In this paper, we consider second order elliptic ODE eigenproblems on general grids. We construct an efficient algorithm for computing the eigenvalue by using weighted mean combination of the linear finite element method and corresponding 2nd-order finite difference method. We first take the arithmetic mean of the two methods. Then we compute the quasi-optimal combined parameters for different eigenvalues to improve our efficient algorithm. The algorithm we construct convergence faster and have higher accuracy than the linear finite element method and corresponding 2nd-order finite difference method. Some numerical examples tested on both uniform meshes and nonuniform meshes are given to illustrate the computational cost of different numerical methods for solving eigenvalue problems. For efficiency, all the matrices use sparse storage in our algorithm.

关键词： Efficient algorithm combinatorial quasi-optimal eigenproblem

来源：评论

学校读者我要写书评

暂无评论

Unification or integration? The challenge of semantics in heterogeneous modeling languages 2

Unification or integration? The challenge of semantics in he...

引用

作者： Karsai, Gabor Institute for Software-Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University NashvilleTN37235 United States

Model-driven software development and systems engineering rely on modeling languages that provide efficient, domain-specific abstractions for design, analysis, and implementation. Models are essential for communicating ideas across the engineering team, but also key to the analysis of the system. No single model or modeling language can cover all aspects of a system, and even for particular aspects multiple modeling languages are used in the same system. Thus engineers face the dilemma of either defining a unifying semantics for all models, or finding a solution to the model integration problem. The talk will elaborate these problems, and show two, potential solutions: one using a model integration language (for the engineering design domain) and another one using explicit and executable semantics (for the domain of distributed reactive controllers).

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Mapping time-critical safety-critical cyber physical systems to hybrid FPGAs 2

Mapping time-critical safety-critical cyber physical systems...

引用

2nd IEEE international Conference on Cyber-Physical systems, Networks, and Applications, CPSNA 2014

作者： Vipin, Kizheppatt Shreejith, Shanker Fahmy, Suhaib A. Easwaran, Arvind School of Computer Engineering Nanyang Technological University Singapore Singapore

ISBN: (纸本)9781479953875

Cyber Physical systems (CPSs), such as those found in modern vehicles, include a number of important time and safety-critical functions. Traditionally, applications are mapped to several dedicated electronic control units (ECUs), and hence, as new functions are added, compute weight and cost increase considerably.%ECU consolidation, where multiple functions are combined on fewer ECUs is an important area, but traditional software ECUs fail to offer the required performance, parallelism, and isolation to support this. With increasing computational and communication demands, traditional software ECUs fail to offer the required performance to provide determinism and predictability, while multi-core approaches fail to provide sufficient isolation between tasks. Hybrid FPGAs, combining a processor and reconfigurable fabric on a single die, allow for parallel hardware implementation of complex sensor processing tightly coupled with the flexibility of software on a processor. We demonstrate the advantages of such architectures in consolidating distributed processing with predictability, determinism and isolation, enabling ECU consolidation and bandwidth reduction. © 2014 IEEE.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Acceleration of software transactional memory through hardware clock 14

Acceleration of software transactional memory through hardwa...

引用

2nd ACM international workshop on Many-Core Embedded systems, MES 2014, Held in Conjunction with the 41st international Symposium on Computer Architecture, ISCA 2014

作者： Atoofian, Ehsan Electrical Engineering Department Lakehead University Thunder Bay Canada

ISBN: (纸本)9781450328227

Transactional Memory (TM) has gained momentum mainly due to its ability to provide synchronization transparency in parallel programs. In transactional applications, accesses to the shared data structures are handles by TM layer with no intervention by a programmer. Time-based software transactional memories (STMs) exploit a global clock to validate transactional data. Unfortunately, the clock becomes a bottleneck especially in programs with large number of concurrent transactions. In this paper, we exploit hardware support to implement the global clock. The hardware clock is implemented on the processor chip and enables bottleneck-free transactional memory run- Time systems. Our evaluation using Gem5 simulator shows that the hardware clock is effective and reduces execution time of Stamp benchmarks up to 62%. Copyright 2014 ACM.

关键词： Clocks

来源：评论

学校读者我要写书评

暂无评论

Towards an automated approach to use expert systems in the performance testing of distributed systems 2

Towards an automated approach to use expert systems in the p...

引用

2nd international workshop on "Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing", JAMAICA 2014

作者： Portillo-Dominguez, A. Omar Wang, Miao Murphy, John Magoni, Damien Mitchell, Nick Sweeney, Peter F. Altman, Erik Lero University College Dublin Ireland LaBRI-CNRS University of Bordeaux France IBM T.J. Watson Research Center New York United States

ISBN: (纸本)9781450329330

Performance testing in distributed environments is challenging. Specifically, the identification of performance issues and their root causes are time-consuming and complex tasks which heavily rely on expertise. To simplify these tasks, many researchers have been developing tools with built-in expertise. However limitations exist in these tools, such as managing huge volumes of distributed data, that prevent their efficient usage for performance testing of highly distributed environments. To address these limitations, this paper presents an adaptive framework to automate the usage of expert systems in performance testing. Our validation assessed the accuracy of the framework and the time savings that it brings to testers. The results proved the benefits of the framework by achieving a significant decrease in the time invested in performance analysis and testing. Copyright 2014 ACM.

关键词： Expert systems

来源：评论

学校读者我要写书评

暂无评论

2014 workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing, Jamaica 2014 - Proceedings

2014 Workshop on Joining AcadeMiA and Industry Contributions...

引用

2nd international workshop on "Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing", JAMAICA 2014

ISBN: (纸本)9781450329330

The proceedings contain 6 papers. The topics discussed include: towards an automated approach to use expert systems in the performance testing of distributed systems;echo: a middleware architecture for domain-specific UI test automation;on the applicability of combinatorial testing to web application security testing: a case study;testing methods used in the automotive industry: results from a survey;a framework-based approach for automated testing of CNC firmware;and modeling mobile application test platform and environment: testing criteria and complexity analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A framework-based approach for automated testing of CNC firmware 2

A framework-based approach for automated testing of CNC firm...

引用

2nd international workshop on "Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing", JAMAICA 2014

作者： Thoss, Marcus Beckmann, Kai Kroeger, Reinhold Muenchhof, Marco Mellert, Christian RheinMain University of Applied Sciences Distributed Systems Lab Unter den Eichen 5 Wiesbaden65195 Germany Eckelmann AG Berliner Str. 161 Wiesbaden65205 Germany

ISBN: (纸本)9781450329330

The product- and technology-specific nature of embedded software components often results in a high overhead for the setup and automation of testing procedures. This paper presents the adaptation of the generic, modular Eclipse Test and Performance Tools Platform Project (TPTP) framework for managing and running automated tests and creating test reports for firmware releases of a computerized numerical control (CNC) device product. TPTP, built upon the development and user interface context of the Eclipse platform, is extended by product-specific plugins and TPTP module extensions. The actual test execution is performed remotely on CNC devices, controlled and evaluated by the testing framework. CNC firmware releases, configuration setups and the test results become manageable as TPTP resources. To facilitate modelling of test oracles and complex algorithms for CNC track evaluation, dynamic MATLAB code execution in the course of test procedures is supported.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共59页 << < 11 12 13 14 15 16 17 18 19 20 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：