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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

874 篇 会议
36 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

654 篇 工学
- 590 篇 计算机科学与技术...
- 181 篇 软件工程
- 105 篇 电气工程
- 77 篇 信息与通信工程
- 53 篇 控制科学与工程
- 34 篇 电子科学与技术（可...
- 24 篇 仪器科学与技术
- 15 篇 网络空间安全
- 11 篇 机械工程
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 8 篇 动力工程及工程热...
- 7 篇 测绘科学与技术
- 6 篇 交通运输工程
- 5 篇 力学（可授工学、理...
- 5 篇 石油与天然气工程
- 4 篇 材料科学与工程（可...
- 4 篇 建筑学
- 4 篇 土木工程
139 篇 理学
- 100 篇 数学
- 14 篇 物理学
- 12 篇 生物学
- 10 篇 系统科学
- 9 篇 统计学（可授理学、...
- 7 篇 地球物理学
- 6 篇 化学
62 篇 管理学
- 41 篇 管理科学与工程(可...
- 25 篇 图书情报与档案管...
- 12 篇 工商管理
14 篇 医学
- 14 篇 临床医学
3 篇 经济学
2 篇 法学
2 篇 农学

主题

89 篇 parallel process...
46 篇 graphics process...
46 篇 distributed comp...
40 篇 computer archite...
40 篇 computational mo...
37 篇 graphics process...
32 篇 hardware
31 篇 parallel process...
28 篇 kernel
27 篇 optimization
24 篇 parallel program...
23 篇 benchmark testin...
23 篇 instruction sets
23 篇 multicore proces...
22 篇 libraries
20 篇 parallel algorit...
20 篇 runtime
20 篇 concurrent compu...
20 篇 distributed data...
19 篇 parallel computi...

机构

6 篇 tsinghua univ de...
6 篇 virginia tech de...
4 篇 univ chinese aca...
4 篇 ohio state univ ...
3 篇 nanyang technol ...
3 篇 college of compu...
3 篇 georgia inst tec...
3 篇 georgia inst tec...
3 篇 pacific northwes...
3 篇 univ hamburg ham...
3 篇 univ calif irvin...
3 篇 pacific northwes...
3 篇 oak ridge natl l...
3 篇 univ calif irvin...
3 篇 lawrence berkele...
3 篇 department of co...
2 篇 university of ot...
2 篇 universidad cató...
2 篇 univ pisa dept c...
2 篇 shanghai jiao to...

作者

5 篇 buluc aydin
4 篇 franca felipe m....
4 篇 bader david a.
4 篇 liu jie
4 篇 torquati massimo
4 篇 panda dhabaleswa...
4 篇 wang qinglin
4 篇 owens john d.
4 篇 danelutto marco
3 篇 pearce roger
3 篇 hirmer pascal
3 篇 ferner clayton
3 篇 nakano koji
3 篇 marco danelutto
3 篇 azzedine boukerc...
3 篇 harshvardhan
3 篇 mitschang bernha...
3 篇 gerndt michael
3 篇 simmhan yogesh
3 篇 marzulo leandro ...

语言

907 篇 英文
4 篇 中文
1 篇 其他

检索条件"任意字段=23rd IEEE International Parallel and Distributed Processing Symposium"

共 912 条记录，以下是131-140 订阅

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

详细简洁

排序：

Speculative symbolic execution

Speculative symbolic execution

引用

2012 ieee 23rd international symposium on Software Reliability Engineering, ISSRE 2012

作者： Zhang, Yufeng Chen, Zhenbang Wang, Ji National Laboratory for Parallel and Distributed Processing Department of Computing Science National University of Defense Technology Changsha China

ISBN: (纸本)9780769548883

Symbolic execution is an effective path oriented and constraint based program analysis technique. Recently, there is a significant development in the research and application of symbolic execution. However, symbolic execution still suffers from the scalability problem in practice, especially when applied to large-scale or very complex programs. In this paper, we propose a new fashion of symbolic execution, named Speculative Symbolic Execution (SSE), to speed up symbolic execution by reducing the invocation times of constraint solver. In SSE, when encountering a branch statement, the search procedure may speculatively explore the branch without regard to the feasibility. Constraint solver is invoked only when the speculated branches are accumulated to a specified number. In addition, we present a key optimization technique that enhances SSE greatly. We have implemented SSE and the optimization technique on Symbolic Pathfinder (SPF). Experimental results on six programs show that, our method can reduce the invocation times of constraint solver by 20.7% to 48.7% (with an average of 29.9%), and save the search time from 23.6% to 43.6% (with an average of 30%). © 2012 ieee.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

A MEC-based distributed Offloading Model for Ubiquitous and Time-constraint Offloading 23

A MEC-based Distributed Offloading Model for Ubiquitous and ...

引用

23rd ieee/ACM international symposium on distributed Simulation and Real Time Applications (DS-RT)

作者： Guan, Shichao Boukerche, Azzedine Univ Ottawa PARADISE Res Lab EECS Ottawa ON Canada

ISBN: (纸本)9781728129235

The advancements in mobile hardware and network technologies facilitate the processing power, storage capability, and connection quality. Such developments enable sophistic functions, ubiquitous power- and bandwidth-hungry applications that fundamentally changes the individual's lifestyle. Although Cloud Computing technologies have already been leveraged to coordinate with the capability and battery-constraint mobile User Equipment (UE), the long-distance propagation delay downgrades the network QoS and user QoE. In this paper, we propose a queueing-based Mobile Edge Computing (MEC) model that concerns the offloading procedure, especially in the time-constraint scenarios. A queueing model is proposed for the offloading process, considering the dynamic network queueing delay. A heuristic scheduling model is designed to maximize the offloading energy and execution efficiency. A regression prediction model is implemented to achieve dynamic resource allocation. In the experiment, the proposed model is compared to the recent studies, and the results indicate that the proposed model can outperform the current studies in terms of execution time and energy reservation.

关键词： Pervasive and Ubiquitous Computing Architectures Real-Time Constraints

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 23rd ieee international symposium on Reliable distributed Systems, SrdS 2004

Proceedings of the 23rd IEEE International Symposium on Reli...

引用

23rd ieee international symposium on Reliable distributed Systems, SrdS 2004

The proceedings contain 32 papers from the Proceedings of the 23rd ieee international symposium on Reliable distributed Systems, SrdS 2004. The topics discussed include: performance comparison of a rotating coordinator and a leader based consensus algorithm;self checking network protocols: a monitor based approach;token-based atomic broadcast using unreliable failure detectors;a stability-oriented approach to improving BGP convergence;slow advances in fault-tolerant real-time distributed computing;skewed checkpointing for tolerating multi-node failures;the design and evaluation of a defense system for Internet worms;and model-based validation of an intrusion-tolerant information system.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Tools for scalable performance analysis on petascale systems IPDPS 2009 all symposium tutorial

Tools for scalable performance analysis on petascale systems...

引用

23rd ieee international parallel and distributed processing symposium, IPDPS 2009

作者： Chung, I-Hsin Seelam, S.R. Mohr, B. Labarta, J. IBM T.J. Watson United States Research Center Juelich Germany UPC Barcelona Spain

ISBN: (纸本)9781424437504

Tools are becoming increasingly important to efficiently utilize the computing power available in contemporary large scale systems. The drastic increase in the size and the complexity of systems require tools to be scalable while producing meaning full and easily digestible information that may help the user pin-point problems at scale. The goal of this tutorial is to introduce some state-of-the-art performance tools from three different organizations to a diverse audience group. Together these tools provide a broad spectrum of capabilities necessary to analyze the performance of scientific and engineering applications on a variety of large and small scale systems.

关键词： Large scale systems

来源：评论

学校读者我要写书评

暂无评论

Towards distributed Real-Time Physiological processing in Mobile Environments

Towards Distributed Real-Time Physiological Processing in Mo...

引用

ieee 23rd international symposium on Personal, Indoor and Mobile Radio Communications (PIMRC)

作者： Meneghello, James Lee, Kevin Gilleade, Kiel Murdoch Univ Sch Informat Technol Perth WA Australia Liverpool John Moores Univ Sch Nat Sci & Psychol Liverpool Merseyside England

ISBN: (纸本)9781467325691

Physiological monitoring has been used in a wide range of scenarios to assist in disease diagnosis, athlete monitoring and other activities. There are also many opportunities in analysing aggregate data from groups of people rather than individuals such as public event monitoring or athletic team performance optimisation. Numerous difficulties exist pertaining to this, particularly concerning how to process and transform the resulting physiological data in real-time when many devices are producing data. This paper proposes a system that is designed to monitor, analyse and report physiological data in real-time by leveraging mobile devices as distributed processors.

关键词： Physiology

来源：评论

学校读者我要写书评

暂无评论

Efficient and deadlock-free reconfiguration for source routed networks

Efficient and deadlock-free reconfiguration for source route...

引用

23rd ieee international parallel and distributed processing symposium, IPDPS 2009

作者： Solheim, Åshild Grønstad Lysne, Olav Bermúdez, Aurelio Casado, Rafael Sødring, Thomas Skeie, Tor Robles-Gómez, Antonio Networks and Distributed Systems Group Simula Research Laboratory Lysaker Norway Department of Informatics University of Oslo Oslo Norway Computing Systems Department University of Castilla-La Mancha Albacete Spain

ISBN: (纸本)9781424437504

Overlapping Reconfiguration is currently the most effi-cient method to reconfigure an interconnection network, but is only valid for systems that apply distributed routing. This paper proposes a solution which enables utilization of Overlapping Reconfiguration in a source routed environ-ment. We demonstrate how a synchronized injection of tokens has a significant impact on the performance of the method. Furthermore, we propose and evaluate an optimization of the original algorithm that reduces (and in some cases even eliminates) performance issues caused by the token forwarding regime, such as increased latency and decreased throughput. © 2009 ieee.

关键词： Interconnection networks (circuit switching)

来源：评论

学校读者我要写书评

暂无评论

Performance portability on EARTH: A case study across several parallel architectures

Performance portability on EARTH: A case study across severa...

引用

19th ieee international parallel and distributed processing symposium, IPDPS 2005

作者： Zhu, Weirong Niu, Yanwei Gao, Guang R. Department of Electrical and Computer Engineering University of Delaware

ISBN: (纸本)0769523129

With the rapidly increasing diversity of parallel architectures and the increasing time and labor for developing parallel applications, the performance portability of parallel programs is becoming increasingly important and should be considered when designing parallel execution models, APIs, and runtime system software. This paper analyzes both code portability and performance portability of parallel programs based on the EARTH model - an event-driven fine-grain multi-threaded execution and architecture model. We discuss several design considerations of the EARTH system that contribute to the performance portability of parallel applications. Experiments of four representative benchmarks are conducted on several different parallel architectures, including two clusters listed in the 23rd supercomputer TOP500 list. The results demonstrate that EARTH based programs can achieve robust performance portability across the selected hardware platforms without any code modification or tuning.

关键词： parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 2019 ieee/ACM 23rd international symposium on distributed Simulation and Real Time Applications, DS-RT 2019

Proceedings - 2019 IEEE/ACM 23rd International Symposium on ...

引用

23rd ieee/ACM international symposium on distributed Simulation and Real Time Applications, DS-RT 2019

ISBN: (纸本)9781728129235

The proceedings contain 47 papers. The topics discussed include: TuST: from raw data to vehicular traffic simulation in turin;modeling and simulation of ElasticSearch using CloudSim;Reproducible parallel simulation experiments via pure functional programming;implementation of a VoIP simulation network by using stochastic process methods;a simulator for creating drones networks and providing users connectivity;floating car data adaptive traffic signals;and approximate distributed discrete event simulation using semi-conservative look-ahead estimation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A generalized, distributed analysis system for optimization of parallel applications

A generalized, distributed analysis system for optimization ...

引用

23rd ieee international parallel and distributed processing symposium, IPDPS 2009

作者： Su, Hung-Hsun Billingsley III, Max George, Alan D. Research Lab ECE Department University of Florida Gainesville FL United States

ISBN: (纸本)9781424437504

Developing a high performance parallel application is difficult. An application must often be analyzed and optimized by the programmer before reaching an acceptable level of performance. Performance tools that collect and visualize performance data can reduce the effort needed by the user in the nontrivial optimization process. However, as the size of the performance dataset grows, it becomes nearly impossible for the user to manually examine the data and find performance issues. To address this problem, we have developed a new analysis system to automatically detect, diagnose, and possibly resolve bottlenecks. In this paper, we present the architecture and the distributed, peer-to-peer processing mechanism of a programming model-independent analysis system, which includes a range of useful analyses such as scalability analysis and common-bottleneck detection. We then describe the details of an initial sequential implementation of the system that has been integrated into our parallel Performance Wizard (PPW) tool. Finally, we provide correctness and performance results for this initial version and demonstrate the effectiveness of the system through two case studies. © 2009 ieee.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Ensemble-Based System Benchmarking for HPC 23

Ensemble-Based System Benchmarking for HPC

引用

23rd international symposium on parallel and distributed Computing (ISPDC)

作者： Fuchs, Anna Squar, Jannek Kuhn, Michael Univ Hamburg Hamburg Germany Otto von Guericke Univ Magdeburg Germany

ISBN: (纸本)9798350369205;9798350369199

In HPC supercomputers, the CPU, memory, network and storage play a critical role in application performance. Established benchmarks measure the theoretical peak performance of these components, but storage benchmarks often focus solely on I/O and lack realism. To address this, we present numio, a benchmark that simulates and evaluates overlapping compute, communication and I/O phases. Furthermore, we present a novel ensemble-driven system benchmarking strategy. This approach involves running multiple benchmarks in parallel to analyse their interactions and assess the system's ability to handle the workload. Using a real-world example, we demonstrate how this approach reveals performance issues in complex HPC systems that remain hidden when using traditional methods using isolated benchmarks on empty systems.

关键词： System benchmarking HPC parallel I/O network congestion system compression asynchronous workloads

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共92页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：