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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Automated generation of explicit connectors for component based hardware/software interaction in embedded real-time systems

Automated generation of explicit connectors for component ba...

引用

10th workshop on Advances in parallel and distributed Computational Models/22nd IEEE international parallel and distributed Processing Symposium

作者： Forster, Wolfgang Kutschera, Christof Steinilnger, Andreas Goeschka, Karl M. Vienna Univ Technol Karlspl 13 A-1040 Vienna Austria Univ Appl Sci Tech Vienna Dept Embedded Syst A-1200 Vienna Austria

ISBN: (纸本)9781424416936

The complexity of today's embedded real-time systems is continuously growing with high demands on dependability, resource-efficiency, and reusability Two solution approaches address these needs: First, in the component based software engineering (CBSE) paradigm, software is decomposed into self-contained components with explicit interactions and context dependencies. Connectors represent the abstraction of interactions between these components. Second, components can be shifted from software to reconfigurable hardware, typically field programmable gate arrays (FPGAs), in order to meet real-time constraints. This paper proposes a component-based concept to support efficient hardware/software co-design: A hardware component together with the hardware/soflware connector can seamlessly replace a software component with the same functionality, while the particularities of the alternative interaction are encapsulated in the component connector. Our approach provides for tools that can generate all necessary interaction mechanisms between hardware and software components. A proof-of-concept application demonstrates the advantages of our concept: Rapid change and comparison of different partitioning decisions due to automated and faultless generation of the hardware/software connectors.

关键词： HW/SW interaction CBSE embedded real-time systems automated design flow

来源：评论

学校读者我要写书评

暂无评论

Memory debugging in parallel and distributed applications

Memory debugging in parallel and distributed applications

引用

2nd international workshop on parallel Tools for High Performance Computing

作者： Gottbrath, Chris TotalView Technol Natick MA 01760 USA

ISBN: (纸本)9783540685616

Memory errors, Such as memory leaks and bounds violations are often the source of the kind of bugs that are especially challenging for scientists, computer scientists and engineers to resolve. This paper describes a new software development tool called MernoryScape that provides developers with a highly graphical and interactive memory debugging tool. MernoryScape can be used to troubleshoot problems on applications ranging from serial applications for the desktop or server Lip to massively multprocess applications running on supercomputers. This paper provides an introduction to some of the challenges of memory debugging in parallel architectures, reviews the memory errors detected and provides an overview of the Heap Interposition Agent (HIA) and parallel debugging technology that makes this possible.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

Towards process-based composition of self-managing service-oriented systems

Towards process-based composition of self-managing service-o...

引用

30th international Conference on software engineering, ICSE 2008 - 2nd international workshop on systems Development in SOA Environments, SDSOA 2008

作者： Tan, Min'an Liu, Yan Zhu, Liming University of New South Wales NICTA NSW Australia NICTA NSW 1430 Australia

ISBN: (纸本)9781605580296

Loose coupling and preserving safe changes are two key criteria for composing self-managing services. Composition of adaptive control components with business services without interfering with the original service operations is complicated by the dynamic and highly distributed nature of service-oriented systems. Essentially, encapsulating control logic into abstract logical models enables a clear separation of concerns, with states and transitions indicating the logical control flow. The challenge is to seamlessly integrate these models with services and their host infrastructure as a unified self-managing environment. In this paper, we present an architectural solution towards process-based composition and coordination of self-managing services. This architecture framework leverages business process models to produce declarative and executable control models. We discuss the problem context and outline the research challenges of such an approach. Copyright 2008 ACM.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Symbolic model checking APSL

Symbolic model checking APSL

引用

2nd IFIP/IEEE international Symposium on Theoretical Aspects of software engineering

作者： Liu, Wanwei Wang, Ji Chen, Huowang Ma, Xiaodong Natl Univ Def Technol Sch Comp Natl Lab Parallel & Distributed Proc Hunan Peoples R China

ISBN: (纸本)9780769532493

PSL is a kind of temporal logic which uses SEREs as additional formula constructs. We present a variant of PSL, namely APSL, which replaces SEREs with finite automata. APSL and PSL are of the exactly same expressiveness. In this paper we extend the LTL symbolic model checking algorithm to that of APSL, and present a tableau based APSL verification approach. Moreover we show how to implement this algorithm via the BDD based symbolic approach.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 2nd international workshop on e-Learning and Virtual and Remote Laboratories, VIRTUAL-LAB 2008

Proceedings of the 2nd International Workshop on e-Learning ...

引用

2nd international workshop on e-Learning and Virtual and Remote Laboratories, VIRTUAL-LAB 2008

ISBN: (纸本)9783940793171

The proceedings contain 14 papers. The topics discussed include: an Internet-based laboratory course in chemical reaction engineering and unit operations;Internet based laboratory for experimentation with multilevel medium-power converters;content management and architectural issues of a remote learning laboratory;distributed software architecture and applications for remote laboratories;tele-lab IT-security: an architecture for an online virtual IT security lab;a flexible instructional electronics laboratory with local and remote lab workbenches in a grid;simulation of an intelligent network - basic call state model remote laboratory;SOA meets robots - a service-based software infrastructure for remote laboratories;a virtual laboratory for digital design;virtual and remote laboratories feasibility study and development guidelines;and a training need analysis of trainers in the field of technical vocational education training.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ContinuStreaming: Achieving High Playback Continuity of Gossip-based Peer-to-Peer Streaming

ContinuStreaming: Achieving High Playback Continuity of Goss...

引用

10th workshop on Advances in parallel and distributed Computational Models/22nd IEEE international parallel and distributed Processing Symposium

作者： Li, Zhenhua Cao, Jiannong Chen, Guihai Nanjing Univ State Key Lab Novel Software Technol Nanjing 210008 Peoples R China Hongkong Polytech Univ Internet & Mobile Comp Lab Hong Kong Hong Kong Peoples R China

ISBN: (纸本)9781424416936

Gossip-based Peer-to-Peer(P2P) streaming has been proved to be an effective and resilient method to stream qualified media contents in dynamic and heterogeneous network environments. Because of the intrinsic randomness of gossiping, some data segments cannot be disseminated to every node in time, which seriously affects the media playback continuity. In this paper we describe the design of ContinuStreaming, a gossip-based P2P streaming system which can maintain high resilience and low overhead while bring a novel and critical property - full coverage of the data dissemination. With the help of DHT, data segments which are likely to be missed by the gossip-based data scheduling can be quickly fetched by the on-demand data retrieval so as to guarantee continuous playback. We discuss the results of both theoretical analysis and comprehensive simulations on various real-trace overlay topologies to demonstrate the effectiveness of our system. Simulation results show that ContinuStreaming outperforms the existing representative gossip-based P2P streaming systems by increasing the playback continuity very close to 1.0 with only 4% or less extra overhead.

关键词： Heterogeneous networks

来源：评论

学校读者我要写书评

暂无评论

Reproducible testing of distributed software with middleware virtualization and simulation

Reproducible testing of distributed software with middleware...

引用

6th workshop on parallel and distributed systems: Testing, Analysis, and Debugging 2008, PADTAD'08

作者： Briquet, Cyril De Marneffe, Pierre-Arnoul Department of Electrical Engineering and Computer Science University of Liège Montefiore Institute B37 B-4000 Liège Belgium

ISBN: (纸本)9781605580524

P2P Grids are Grids organized into P2P networks where participant exchange computing time so as to complete computational tasks. Evaluating the performance of scheduling algorithms enables one to deploy those that are efficient. Performance is often evaluated experimentally or through simulation because these algorithms (typically heuristics) are too complex to model analytically. Testing the implementation of P2P Grid middleware before it is deployed is also important: Reproducing configurations or conditions that lead to unexpected outcomes is thus valuable. A P2P Grid environment exhibits multiple sources of failure and is typically dynamic and uncontrollable. Reproducing even basic behavior of Grid nodes in a controllable and repeatable manner is thus exceedingly difficult. Such lack of control over the environment is a major challenge in the software engineering of P2P Grid middleware [7]. Simulators have been proposed to evaluate the performance of scheduling algorithms, but are often limited in scope, reusability and accuracy, i.e. they rely on simplified models. We introduce a software engineering pattern - that we call code once, deploy twice - to both reduce the distance between simulated and implemented algorithms and reproduce, at will, Grid configurations and environments: A simulator implementation of a Grid architecture is built by virtualizing its middleware implementation. An immediate benefit is that most of the code can be reused between both implementations;only communications between Grid nodes, multithreading within Grid nodes and actual task execution are coded differently. As a derived benefit, most of the code of the middleware can be tested within the controlled environment of the simulator, before it is deployed as-is. Another benefit is high simulation accuracy. We describe the implementation of a P2P Grid following the code once, deploy twice pattern, that we believe is also relevant to other Grid types (certainly Volunteer Grids [5, 4]

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

MPI as an Abstraction for software-Hardware Interaction for HPRCs

MPI as an Abstraction for Software-Hardware Interaction for ...

引用

international workshop on High-Performance Reconfigurable Computing Technology and Applications, HPRCTA 2008 - Held in Conjunction with SC08

作者： Saldaña, Manuel Patel, Arun Madill, Christopher Nunes, Daniel Wang, Danyao Styles, Henry Putnam, Andrew Wittig, Ralph Chow, Paul Arches Computing Systems ON Canada Department of Electrical and Computer Engineering University of Toronto ON Canada Department of Biochemistry University of Toronto ON Canada Xilinx San Jose CA United States

ISBN: (纸本)9781424428267

High Performance Reconfigurable Computers (HPRCs) consist of one or more standard microprocessors tightly coupled with one or more reconfigurable FPGAs. HPRCs have been shown to provide good speedups and good cost/performance ratios, but not necessarily ease of use, leading to a slow acceptance of this technology. HPRCs introduce new design challenges, such as the lack of portability across platforms, incompatibilities with legacy code, users reluctant to change their code base, a prolonged learning curve, and the need for a system-level Hardware/software co-design development flow. This paper presents the evolution and current work on TMD-MPI, which started as an MPI-based programming model for Multiprocessor systems-on-Chip implemented in FPGAs, and has now evolved to include multiple X86 processors. TMD-MPI is shown to address current design challenges in HPRC usage, suggesting that the MPI standard has enough syntax and semantics to program these new types of parallel architectures. Also presented is the TMD-MPI Ecosystem, which consists of research projects and tools that are developed around TMD-MPI to further improve HPRC usability. © 2008 IEEE.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

System design for dielectric parameters’ measurement of microwave ceramic materials

System design for dielectric parameters’ measurement of mic...

引用

IEEE international workshop on Anti-counterfeiting, Security, Identification, ASID

作者： Xiaoying Dong Fen Xiao Jianhua Guo Donghui Guo Department of Physics Xiamen University Xiamen China Department of Electronic Engineering Xiamen University Xiamen China

A system is designed for dielectric parameterspsila measurement of microwave ceramic materials in which rotary open cavity is applied and the theoretic analysis is presented. With the stepping motor controlled by Single-Chip Microchip, the measurement can be realized automatically. The analysis software based on VEE is programmed, so that the measurement data from Vector Network Analyzer can be calculated and analyzed directly. The result and errors by comparing the method of open and short parallel-plate can evaluate the accuracy and precision of the measurement system.

关键词： Dielectric measurements Microwave measurements Ceramics Dielectric materials Dielectric losses Dielectric loss measurement Permittivity measurement Resonant frequency Microwave devices Frequency measurement

来源：评论

学校读者我要写书评

暂无评论

Hybrid Performance Modeling and Prediction of Large-Scale Computing systems

Hybrid Performance Modeling and Prediction of Large-Scale Co...

引用

2nd international Conference on Complex, Intelligent and software Intensive systems (CISIS 2008)

作者： Sabri Pllana Siegfried Benkner Fatos Xhafa Leonard Barolli Institute of Scientific Computing University of Technology Vienna Vienna Austria Department of Languages and Informatics Systems Polytechnic University of Catalonia Barcelona Spain Department of Information and Communication Engineering Fukuoka Institute of Technology Fukuoka Japan

Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maximal theoretical performance of the large-scale computing system. The model-based performance evaluation may be used to support the performance-oriented program development for large-scale computing systems. In this paper we present a hybrid approach for performance modeling and prediction of parallel and distributed computing systems, which combines mathematical modeling and discrete-event simulation. We use mathematical modeling to develop parameterized performance models for components of the system. Thereafter, we use discrete-event simulation to describe the structure of system and the interaction among its components. As a result, we obtain a high-level performance model, which combines the evaluation speed of mathematical models with the structure awareness and fidelity of the simulation model. We evaluate empirically our approach with a real-world material science program that comprises more than 15,000 lines of code.

关键词： Computational modeling Unified modeling language Mathematical model Predictive models XML Synchronization Computer architecture

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共59页 << < 26 27 28 29 30 31 32 33 34 35 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：