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

IEEE International Symposium on Object, Component, Service-Oriented Real-Time distributed Computing

作者： Stilkerich, Michael Schedel, Jens Ulbrich, Peter Schroder-Preikschat, Wolfgang Lohmann, Daniel Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander University Erlangen-Nuremberg Germany

ISBN: (纸本)9780769543680

Type-safe high-level languages such as Java have not yet found their way into the domain of deeply embedded systems, even though numerous attempts have been made to make these languages cost attractive. One major challenge that remains is the huge existing code base in many industries. Completely reengineering this code base is not viable for cost and time reasons. We present an approach that allows to isolatedly combine legacy software components and safe software components in an embedded system using the two most common communication idioms found in this domain. Our approach allows the developer to freely choose between hardware- and software-based isolation mechanisms. We demonstrate the feasibility of our approach by porting a non-trivial part of a real-world, hard real-time embedded avionics application. Our results show that the cost of this mixed-mode operation is on the same scale as the pure operation. © 2011 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Generation of synthetic workloads for multiplayer online gaming benchmarks 12

Generation of synthetic workloads for multiplayer online gam...

引用

Annual Workshop on Network and systems Support for Games (NetGames)

作者： Tonio Triebel Max Lehn Robert Rehner Benjamin Guthier Stephan Kopf Wolfgang Effelsberg Universitat Mannheim Mannheim Baden-WÃ¼rttemberg DE Databases and Distributed Systems Technische Universitat Darmstadt Darmstadt Germany Department of Computer Science IV Universitat Mannheim Mannheim Germany

ISBN: (纸本)9781467345781

We present an approach to the generation of realistic synthetic workloads for use in benchmarking of (massively) multiplayer online gaming infrastructures. Existing techniques are either too simple to be realistic or are too specific to a particular network structure to be used for comparing different networks with each other. Desirable properties of a workload are reproducibility, realism and scalability to any number of players. We achieve this by simulating a gaming session with AI players that are based on behavior trees. The requirements for the AI as well as its parameters are derived from a real gaming session with 16 players. We implemented the evaluation platform including the prototype game Planet PI4. A novel metric is used to measure the similarity between real and synthetic traces with respect to neighborhood characteristics. In our experiments, we compare real trace files, workload generated by two mobility models and two versions of our AI player. We found that our AI players recreate the real workload characteristics more accurately than the mobility models.

关键词： Games Artificial intelligence Benchmark testing Measurement Maintenance engineering Servers Planets

来源：评论

学校读者我要写书评

暂无评论

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model

Towards Dependable Emergent Ensembles of Components: The DEE...

引用

Working IEEE/IFIP Conference on Software Architecture

作者： Jaroslav Keznikl Tomáš Bureš František Plášil Michal Kit Department of Distributed and Dependable Systems Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Prague Czech Republic

In the domain of dynamically evolving distributed systems composed of autonomous and (self-) adaptive components, the task of systematically managing the design complexity of their communication and composition is a pressing issue. This stems from the dynamic nature of such systems, where components and their bindings may appear and disappear without anticipation. To address this challenge, we propose employing separation of concerns via a mechanism of dynamic implicit bindings with implicit communication. This way, we strive for dynamically formed, implicitly interacting groups - ensembles - of autonomous components. In this context, we introduce the DEECo component model, where such bindings, as well as the associated communication, are managed in an automated way, enabling transparent handling of the dynamic changes in the system.

关键词： Robot kinematics Runtime Computational modeling Adaptation models computer architecture Software

来源：评论

学校读者我要写书评

暂无评论

FOAM: A Lightweight Method for Verification of Use-Cases

FOAM: A Lightweight Method for Verification of Use-Cases

引用

Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Viliam Simko Petr Hnetynka Tomas Bures Frantisek Plasil Faculty of Mathematics and Physics Department of Distributed and Dependable Systems Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Prague Czech Republic

The advantage of textual use-cases is that they can be easily understood by stakeholders and domain experts. However, since use-cases typically rely on a natural language, they cannot be directly subject to a formal verification. In this paper, we present the FOAM method which features simple user-definable annotations, inserted into a use-case to make its semantics more suitable for verification. Subsequently a model-checking tool verifies temporal invariants associated with the annotations. This way, FOAM allows for harnessing the benefits of model-checking while still keeping the use-cases understandable for non-experts.

关键词： Unified modeling language Cities and towns Semantics Natural languages Automata Object oriented modeling Educational institutions

来源：评论

学校读者我要写书评

暂无评论

COSMIC Measurements Dispersion

COSMIC Measurements Dispersion

引用

Joint Conference of the Int'l Workshop on and International Conference on Software Process and Product Measurement Software Measurement

作者： Juan J. Cuadrado-Gallego Pablo Rodríguez-Soria Alberto Lucendo Robert Neumann Reiner Dumke Andreas Schmietendorf Software Measurement Laboratory Department of Computer Science University of Alcalá Madrid Spain Department of Distributed Systems Otto-von-Guericke University Magdeburg Germany Department of Cooperative Studies Berlin School of Economics and Law Berlin Germany

Over the years, software functional size measurement has become a viable tool to determine the effort and time needed to carry out a software project. This growth has led to an increased interest, as shown in several studies, as well as to the development and optimization of functional size measurement units. IFPUG Function Points since their development have been the most widely used functional size estimation approach. However, during recent years, a new method, called COSMIC FFP, has emerged as a second generation unit for functional software measurement, and has brought new features and benefits. The aim of this paper is to study the error that is introduced together with the interpretation of the unit application rules, thereby focusing on COSMIC CFPs. Due to subjectivity and degrees of freedom, this error can lead to great measurement dispersions. We have analyzed these dispersions, based upon a study that we have performed at our university, together with a group of Master students.

关键词： Software measurement Software Dispersion Manuals Size measurement ISO standards

来源：评论

学校读者我要写书评

暂无评论

On/Off-Line Prediction Applied to Job Scheduling on Non-Dedicated NOWs

引用

Journal of computer science & Technology 2011年第1期26卷 99-116页

作者： Mauricio Hanzich Porfidio Hernandez Francesc Gine Francesc Solsona Josep L.Lerida Department of Computer Application in Science and Engineering Barcelona Supercomputing CenterBarcelonaSpain Department of Computer Architecture & Operating Systems Autonomous University of BarcelonaBarcelonaSpain Department of Computer Science University of LleidaLleidaSpain

This paper proposes a prediction engine designed for non-dedicated clusters, which is able to estimate the turnaround time for parallel applications, even in the presence of serial workload of the workstation owner. The prediction engine can be configured to work with three different estimation kernels： a Historical kernel, a Simulation kernel based on analytical models and an integration of both, named Hybrid kernel. These estimation proposals were integrated into a scheduling system, named CISNE, which can be executed in an on-line or off-line mode. The accuracy of the proposed estimation methods was evaluated in relation to different job scheduling policies in a real and a simulated cluster environment. In both environments, we observed that the Hybrid system gives the best results because it combines the ability of a simulation engine to capture the dynamism of a non-dedicated environment together with the accuracy of the historical methods to estimate the application runtime considering the state of the resources.

关键词： prediction method non-dedicated cluster cluster computing job scheduling simulation

来源：评论

学校读者我要写书评

暂无评论

Validation of agile workflows using simulation

引用

Lecture Notes in computer science

作者： Jander, Kai Braubach, Lars Pokahr, Alexander Lamersdorf, Winfried Distributed Systems and Information Systems Computer Science Department University of Hamburg Germany

ISBN: (纸本)9783642227226

Increasing automation of business processes and industrial demand for complex workflow features have led to the development of more flexible and agile workflow concepts. One of those concepts is the use of goal-oriented workflows, which rely on ideas derived from agent technology like describing the workflows based on a goal hierarchy. While this reduces the gap between business view and IT view and allows for easy implementation of contengencies, the concepts have greater conceptual abstraction obscuring the control flow and reducing the ability of workflow engineers to identify specification flaws in the workflow. This paper shows an approach to address this problem by presenting a system for testing and validating workflows within a specified parameter space. The system allows the definition of test cases (scenarios), each of which contains parameter states applied during workflow execution. The workflow engineer can define a set of scenarios for a workflow testing specific situation that are likely to occur during operation or are otherwise interesting corner cases, allowing automated tests and correction of faults before deployment of the workflow in production environments. © 2011 Springer-Verlag Berlin Heidelberg.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Adaptive context oriented component-based application middleware (COCA-middleware)

Adaptive context oriented component-based application middle...

引用

8th International Conference on Ubiquitous Intelligence and Computing, UIC 2011

作者： Magableh, Basel Barrett, Stephen Distributed Systems Group Department of Computer Science and Statistics Trinity College Dublin Ireland

ISBN: (纸本)9783642236402

The cognitively impaired population is very sensitive to issues of abstraction, which presents the application designer with the challenge of tailoring navigational information to each specific user and context. COCA-middleware anticipating the users needs and the context environment. The self-adaptive application reduces the cognitive load and increases the user’s ability to realize the desired route. COCA-middleware is performing the adaptation processes including context monitoring and detecting and dynamic decision making;and maintaining the architecture quality attributes during the adaptation. © Springer-Verlag Berlin Heidelberg 2011.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Modeling and analysis of sharing ratio enforcement in private BitTorrent communities

Modeling and analysis of sharing ratio enforcement in privat...

引用

2011 IEEE International Conference on Communications, ICC 2011

作者： Jia, Adele L. D'Acunto, Lucia Meulpolder, Michel Pouwelse, Johan A. Parallel and Distributed Systems Group Department of Computer Science Delft University of Technology Netherlands

ISBN: (纸本)9781612842332

Providing incentives for user contribution has been one of the primary design goals of Peer-to-Peer systems. The newly-emerged BitTorrent private communities adopt Sharing Ratio Enforcement (SRE) on top of BitTorrent's incentive mechanism, Tit-For-Tat, in order to strictly enforce a minimum contribution a member has to provide, in relation to the amount of service it has received. In this paper, we provide a theoretical model to analyze 1) how SRE provides seeding incentives, and 2) how SRE influences the download performance in the system. Specifically, we study the influence of the SRE threshold (i.e., the minimum sharing ratio requirement) and the bandwidth heterogeneity of the peers in the system. In our analysis, we assume users to be rational, i.e., peers seed only the minimum amount required by SRE, and we show that the download performance as predicted by our model represents a lower bound for the actual performance that can be reached in a BitTorrent private community. Hence, following our model, community administrators can predict the minimum performance level their systems will be able to reach. © 2011 IEEE.

关键词： Peer to peer networks

来源：评论

学校读者我要写书评

暂无评论

Rounding pointers - Type safe capabilities with C++ meta programming

Rounding pointers - Type safe capabilities with C++ meta pro...

引用

6th Workshop on Programming Languages and operating systems, PLOS 2011, Held in Conjunction with the 23rd ACM Symposium on operating systems Principles, SOSP 2011

作者： Warg, Alexander Lackorzynski, Adam Technische Universität Dresden Department of Computer Science Operating Systems Group Germany

ISBN: (纸本)9781450309790

Recent trends in secure operating systems indicate that an object-capability system is the security model with preeminent characteristics and practicality. Unlike traditional operating systems, which use a single global name space, object-capability systems name objects per protection domain. This allows a fine-grained isolation of the domains and follows the principle of least authority. Programming in such an environment differs considerably from traditional programming models. The fine-grained access to functionality requires a programming environment that supports the programmer when using a capability system. In this paper, we present an object-oriented framework that uses the C++ programming language to offer a framework for building and using operating-system components and applications. © 2011 ACM.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：