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

18th acm/ieee international Conference of Model-Driven Engineering Languages and Systems 2015, MoDELS 2015

The proceedings contain 9 papers. The topics discussed include: a model-based framework for legal policy simulation and legal compliance checking;integrating formal methods with model-driven engineering;privacy requirement modeling and verification in cloud computing;multi-perspective modeling and performance analysis of software product lines;debugging models in the context of automotive software development;extended traits for model driven software development;optimizing the symbolic execution of communicating and evolving state machines;a flexible approach for adding middleware completions to software performance models;and towards integration of modeling methods for cyber-physical systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Techniques for modeling large-scale HPC I/O workloads 6

Techniques for modeling large-scale HPC I/O workloads

引用

6th international workshop in Performance modeling, Benchmarking and simulation of High Performance Computer Systems, PMBS 2015 - Held as part of the 27th acm/ieee international Conference for High Performance Computing, Networking, Storage and Analysis, SC 2015

作者： Snyder, Shane Carns, Philip Latham, Robert Mubarak, Misbah Ross, Robert Carothers, Christopher Behzad, Babak Luu, Huong Vu Thanh Byna, Surendra Prabhat Argonne National Laboratory ArgonneIL United States Rensselaer Polytechnic Institute TroyNY United States University of Illinois at Urbana-Champaign UrbanaIL United States Lawrence Berkeley National Laboratory BerkeleyCA United States

ISBN: (纸本)9781450340090

Accurate analysis of HPC storage system designs is contingent on the use of I/O workloads that are truly representative of expected use. However, I/O analyses are generally bound to specific workload modeling techniques such as synthetic benchmarks or trace replay mechanisms, despite the fact that no single workload modeling technique is appropriate for all use cases. In this work, we present the design of IOWA, a novel I/O workload abstraction that allows arbitrary workload consumer components to obtain I/O workloads from a range of diverse input sources. Thus, researchers can choose specific I/O workload generators based on the resources they have available and the type of evaluation they wish to perform. As part of this research, we also outline the design of three distinct workload generation methods, based on I/O traces, synthetic I/O kernels, and I/O characterizations. We analyze and contrast each of these workload generation techniques in the context of storage system simulation models as well as production storage system measurements. We found that each generator mechanism offers varying levels of accuracy, flexibility, and breadth of use that should be considered before performing I/O analyses. We also recommend a set of best practices for HPC I/O workload modeling based on challenges that we encountered while performing our evaluation. © 2015 acm.

关键词：

来源：评论

学校读者我要写书评

暂无评论

CEUR workshop proceedings

CEUR Workshop Proceedings

引用

international workshop on Modelling in Automotive Software Engineering, MASE 2015 - co-located with acm/ieee 18th international Conference on Model Driven Engineering Languages and Systems, MODELS 2015

The proceedings contain 7 papers. The topics discussed include: automotive models in practice;partitioning embedded real-time control software based on communication dependencies;detection and handling of model smells for MATLAB/Simulink models;efficient ontology-based modeling of context-aware in-car infotainment systems - benchmark infrastructure and design guidelines;analysis of ISO 26262 compliant techniques for the automotive domain;from simulation to operation: using design time artifacts to ensure the safety of advanced driving assistance systems at runtime;and enhancing model-based engineering of product lines by adding functional safety.

关键词：

来源：评论

学校读者我要写书评

暂无评论

5th international workshop on Performance modeling, Benchmarking and simulation, PMBS 2014

5th International Workshop on Performance Modeling, Benchmar...

引用

5th international workshop on Performance modeling, Benchmarking, and simulation of High Performance Computing Systems, PMBS 2014

ISBN: (纸本)9783319172477

The proceedings contain 14 papers. The special focus in this conference is on High Performance Computing Systems. The topics include: Algebraic multigrid on a dragonfly network;performance evaluation of scientific applications on POWER8;a standard application suite for measuring hardware accelerator performance;a CUDA implementation of the high performance conjugate gradient benchmark;performance analysis of a high-level abstractions-based hydrocode on future computing systems;insight into application performance using application-dependent characteristics;a practical tool for architectural and program analysis;modeling stencil computations on modern HPC architectures;performance modeling of the HPCG benchmark;on the performance prediction of BLAS-based tensor contractions;assessing general-purpose algorithms to cope with fail-stop and silent errors;a case for epidemic fault detection and group membership in HPC storage systems;analysis of the tradeoffs between energy and run time for multilevel checkpointing and on the energy proportionality of distributed NoSQL data stores.

关键词：

来源：评论

学校读者我要写书评

暂无评论

modeling employees behavior in workplace dynamics

引用

JOURNAL OF COMPUTATIONAL SCIENCE 2014年第5期5卷 821-833页

作者： Saravakos, Petros Sirakoulis, Georgios Ch Democritus Univ Thrace Dept Elect & Comp Engn Elect Lab GR-67100 Xanthi Greece

During the past years, Cellular Automata (CAs) have been extensively used for modeling of many complex systems and processes with great success. In this paper, we study a Cellular Automaton (CA) model for the influence of employees' behavior in a parameterized workplace environment taking into account different behavioral characteristics. In specific, we model employees' interactions based on their influence radius, the degree of their willingness on adaption of organizational norms and the employee's attitude in general in the under study workplace. The proposed CA model is taking into account employee loyalty, a combined statistic of the employee behavior and her/his insistence and company policies applied to the employees so as to restrain unwanted or impose desirable behavioral patterns in correspondence to the organization norms. Conclusively, the CA model facilitates the presentation and simulation of a workplace with a variety of employee behavioral characteristics and under adaptable company policies. Different workplaces were used to illustrate the simulation of employee behavior with CA model. As a result, the proposed model was practically used on two levels, firstly to estimate the workplace robustness and secondly to illustrate workspace dynamics. Finally, the CA model has been utilized to simulate behavioral patterns at a small enterprise in Greece. In specific, based on the employees answers to detailed surveys the CA model was initialized and then applied to describe the behavioral traits of the under study company employees. Finally, the proposed model, in all the examined cases can be utilized in conjunction with applied employee management techniques to facilitate managerial decisions and forecast the impact of employee behavioral changes and company decisions. (C) 2014 Elsevier B.V. All rights reserved.

关键词： Cellular Automata modeling Employees behavior Workplace Complex systems

来源：评论

学校读者我要写书评

暂无评论

3rd international workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2014 - proceedings

3rd International Workshop on Software Engineering Challenge...

引用

3rd international workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2014

ISBN: (纸本)9781450328425

The proceedings contain 3 papers. The topics discussed include: a modeling method to develop goal-oriented adaptive agents in modeling and simulation for smart grids;demand response algorithm incorporating electricity market prices for residential energy management;and SmartDSM: a layered model for development of demand side management in smart grids.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2014 - proceedings 7

7th International Workshop on Cooperative and Human Aspects ...

引用

7th international workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2014

作者： Sharp, Helen Prikladnicki, Rafael Begel, Andrew De Souza, Cleidson R. B.

ISBN: (纸本)9781450328609

The proceedings contain 24 papers. The topics discussed include: innovating in India: designing for constraint, computing for inclusion;modeling work-ethics spread in software organizations;U can touch this: touchifying an IDE;factors affecting team evolution during software projects;how social software supports cooperative practices in a globally distributed software project;thirty years of software problems in the news;agile methods, organizational culture and agility: some insights;towards a behavioral software engineering;understanding the role of requirements artifacts in Kanban;an open innovation approach in support of product release decisions;the hard life of open source software project newcomers;and do XP customer-developer interactions impact motivation? findings from an industrial case study.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A modeling method to develop goal-oriented adaptive agents in modeling and simulation for smart grids 3

A modeling method to develop goal-oriented adaptive agents i...

引用

3rd international workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2014

作者： Lee, Hyo-Cheol Kim, Hee-Soo Lee, Seok-Won Department of Information and Computer Engineering Ajou University Suwon-si Gyeonggi-do Korea Republic of

ISBN: (纸本)9781450328425

Agent-based modeling and simulation is a useful method to analyze and predict the complex and dynamic behavior of a smart grid which consists of diverse stakeholders and components such as devices, services and policies. A smart grid adaptively behaves in its dynamically changed environment and evolves over time as introducing new components and modifying (or removing) the existing components. Therefore, the model of the grid also has to be adaptive and evolutionary for users to obtain meaningful analysis. In this work, we propose a goal-oriented modeling and simulation framework to systematically model and simulate an adaptive and evolutionary smart grid. In this framework, we concentrate on the activity to design agents for the grid. This activity is based on a goal-oriented organizational agent model which goal-oriented requirement language, belief-desire-intention architecture and agent-group-role model are integrated into. This model helps modelers to design adaptive agents from their simulation requirements and to revise their models with the already developed agents like as a smart grid evolves. Further, we demonstrate the benefits of our modeling method in designing agents for a simulation scenario where a virtual power plant shares profit with its distributed energy resources in a smart grid. Copyright © 2014 acm.

关键词： Smart power grids

来源：评论

学校读者我要写书评

暂无评论

modeling work-ethics spread in software organizations 7

Modeling work-ethics spread in software organizations

引用

7th international workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2014

作者： Athavale, Sandeep Singh, Meghendra Tata Consultancy Services 54-B Hadapsar Industrial Estate Pune411013 India

ISBN: (纸本)9781450328609

Most organizations - whether software or otherwise - have a statement of mission, a vision for the future, and values that help them get there. People, on the other hand, have a wide range of ideas, beliefs and objectives. How does one reconcile the two? Otherwise put: how do work practices and ethics that are important from an organizational standpoint get inculcated in employees? We propose a Human Behavior Change model and apply it to the context of ethics spread in software organizations. The model is founded upon an internal cost-reward function of individuals and transmission effect between people that contributes to the decision to change and comply with certain ethics and practices. We use Agent Based modeling and simulation (ABMS) technique to represent our model. We experiment with virtual teams and create various scenarios to understand ethic spread. Although our larger aim is to model behavior change, in this early stage of our work, we build models to know how ethics spread through change in compliance behavior. We base our study on existing literature, a limited survey, some assumptions and simulation. Through simulation, we also seek to ask associated questions related to team size and compliance, spread of counter-ethics, message mechanism and speed of spread and the 'mean time to change' for different types of individuals. Copyright 2014 acm.

关键词： Autonomous agents

来源：评论

学校读者我要写书评

暂无评论

Process simulation of Complex Biochemical Pathways in Explicit 3D Space Enabled by Heterogeneous Computing Platform 28

Process Simulation of Complex Biochemical Pathways in Explic...

引用

28th ieee international Parallel & Distributed Processing Symposium workshops (IPDPSW)

作者： Li, Jie Salighehdar, Amin Ganesan, Narayan Stevens Inst Technol Dept Elect & Comp Engn Hoboken NJ 07030 USA

ISBN: (纸本)9781479941162

Biological pathways typically consist of dozens of reacting chemical species and hundreds of equations describing reactions within the biological system. modeling and simulation of such biological pathways in explicit process space is a computationally intensive due to the size of the system complexity and nature of the interactions. Such biological pathways exhibit considerable behavioral complexity in multiple fundamental cellular processes. Hence, there is a strong need for new underlying simulation algorithms as well as need for newer computing platforms, systems and techniques. In this work we present a novel heterogeneous computing platform to accelerate the simulation study of such complex biochemical pathways in 3D reaction process space. Several tasks involved in the simulation study has been carefully partitioned to run on a combination of reconfigurable hardware and a massively parallel processor, such as the GPU. This paper also presents an implementation to accelerate one of the most compute intensive tasks - sifting through the reaction space to determine reacting particles. Finally, we present the new heterogeneous computing framework integrating a FPGA and GPU to accelerate the computation and obtain better performance over the use of any single platform. The platform achieves 5x total speedup when compared to a single GPU-only platform. Besides, the extensible architecture is general enough to be used to study a variety of biological pathways in order to gain deeper insights into biomolecular systems.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：