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

IEEE Int Conf/Workshops on Engineering of Autonomic and Autonomous Systems/Int Conf on the Engineering of Computer-Based Systems/Int Conf on the Engineering of Complex Computer Systems

作者： Betts, Adam Marref, Amine Univ London Imperial Coll Sci Technol & Med Dept Comp London England Umm Al Qura Univ Dept Comp Sci Mecca Saudi Arabia

ISBN: (纸本)9780769543819

Construction of a Real-Time System (RTS) out of a number of pre-fabricated pieces of software, otherwise known as components, is a pervasive area of interest. Typically, only relocatable object code of the component is shipped to the customer, so that it can later be linked into the overall application. Source code is therefore withheld, and disassembling of the object code is normally disallowed to protect intellectual property. Both of these restrictions complicate, or even prevent, state-of-the-art Worst-Case Execution Time (WCET) analysis of the RTS since most techniques are grounded on their availability in order to generate a complete program model. The alternative solution - widespread in industrial circles - is to record the largest end-to-end execution time of the RTS under functional testing, but this underestimates the actual WCET, in the general case. This paper shows how to obtain a safer WCET estimate of a RTS composed of components using time-stamped traces of program execution. In effect, the data needed in the WCET computation (program model, execution times, execution bounds) are derived exclusively from parsing of the traces. Experiments indicate that, once simple coverage metrics have been obtained, the calculated WCET estimate bounds the actual WCET. Moreover, where instrumentation (which produces the time-stamped traces) is placed with respect to program structure has a significant bearing on the accuracy of the computed WCET estimate.

关键词： Analytical models Computational modeling Hardware Probes RTS Software Timing WCET analysis component-based system execution bounds execution times intellectual property object-oriented programming program diagnostics program model real-time system real-time systems source code timing traces worst-case execution time analysis

来源：评论

学校读者我要写书评

暂无评论

As strong as the weakest link: Handling compromised components in OpenStack

As strong as the weakest link: Handling compromised componen...

引用

2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011

作者： Taheri Monfared, Aryan Jaatun, Martin Gilje Department of Telematics Norwegian University of Science and Technology Norway SINTEF ICT Trondheim Norway

This paper presents an approach to handle compromised components in an Infrastructure-as-a-Service Cloud Computing platform. Our experiments show that traditional incident handling procedures are applicable for cloud ... 详细信息

ISBN: (纸本)9780769546223

关键词： Bandwidth Cloud computing Complexity theory Monitoring OpenStack OpenStack Routing Security Servers cloud computing cloud computing compromise compromised components handling data handling incident handling procedures infrastructure-as-a-service cloud computing platform object-oriented programming security

来源：评论

学校读者我要写书评

暂无评论

Program slicing research based on MSV in software security field

Program slicing research based on MSV in software security f...

引用

6th International Conference on Computer Science and Education, ICCSE 2011

作者： Zhang, ZhongLin Lin, MuYu School of Electronic and Information Engineering Lanzhou Jiaotong University Lanzhou China

ISBN: (纸本)9781424497188

By proposing a new idea of use of program slicing techniques to determine the independence of the critical safety variables. Mainly to solve the independence of critical security components within a class of critical safety variables be judged is not accurate, complex issues. This idea can intuitive and accurate calculation of the member variable for the category of a variable that is specific criticality safety program slicing statement that through MSV diagram, which also can analysis of critical variables to achieve the safety purpose of the independence. © 2011 IEEE.

关键词： Accuracy Algorithm design and analysis Educational institutions MSV diagram MSV diagram Program slicing Safety Security Software Software engineering critical safety variable critical safety variables critical security components diagrams object-oriented programming program slicing program slicing research program slicing techniques safety-critical software security of data software security field specific criticality safety program slicing statement

来源：评论

学校读者我要写书评

暂无评论

Towards a contextualization solution for cloud platform services

Towards a contextualization solution for cloud platform serv...

引用

2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011

作者： Armstrong, Django Djemame, Karim Nair, Srijith Tordsson, Johan Ziegler, Wolfgang School of Computing University of Leeds Leeds LS2 9JT United Kingdom Security Futures Practice BT Office Minerva Herikerbergweg 2 Amsterdam 1101CM Netherlands Department of Computing Science Umeå University SE-901 87 Umeå Sweden Department of Bioinformatics Fraunhofer Institute SCAI 53754 Sankt Augustin Germany

ISBN: (纸本)9780769546223

We propose a cloud contextualization mechanism which operates in two stages, contextualization of VM images prior to service deployment (PaaS level) and self-contextualization of VM instances created from the image (IaaS level). The contextualization tools are implemented as part of the OPTIMIS Toolkit, a set of software components for simplified management of cloud services and infrastructures. We present the architecture of our contextualization tools and the feasibility of our contextualization mechanism is demonstrated in a three-tier web application scenario. Preliminary performance results suggest acceptable performance and scalability of our prototype. © 2011 IEEE.

关键词： Cloud Computing Cloud Services Context Contextualization Elasticity ISO IaaS level Licenses OPTIMIS toolkit PaaS level Platform as a Service Security Servers Software VM images VM instances Virtual Machines cloud computing cloud contextualization mechanism cloud platform services cloud services management contextualization solution contextualization tools infrastructures management object-oriented programming self contextualization service deployment software components virtual machines

来源：评论

学校读者我要写书评

暂无评论

Pay to play or requirements prioritization in collectives

Pay to play or requirements prioritization in collectives

引用

2011 1st International Workshop on Requirements Patterns, RePa'11

作者： Weiss, Michael Systems and Computer Engineering Carleton University Ottawa Canada

ISBN: (纸本)9781457710223

This paper presents two patterns for requirements prioritization in a collective. A collective is a group of stakeholders with a common need. The stakeholders join the collective to create an infrastructure that they can leverage to develop their own products more effectively. This new organizational model differs from the traditional value chain, and changes the way requirements are identified and prioritized. © 2011 IEEE.

关键词： Collaboration Computer architecture Context Organizations Planning Software collective formal specification formal verification infrastructure object-oriented programming organizational model pattern pay to play prioritization requirements requirements prioritization patterns stakeholders systems analysis traditional value chain

来源：评论

学校读者我要写书评

暂无评论

Serial communication between PDA and GPS based on windows CE

Serial communication between PDA and GPS based on windows CE

引用

Pacific-Asia Conference on Circuits, Communications and System

作者： Ma, Hongbin Lu, Dongyang He, Qun Yue, Yumei Wang, Xue School of Resources and Civil Engineering Northeastern University Shenyang China Institute for Geo-Informatics and Digital Mine Research Northeastern University Shenyang China

ISBN: (纸本)9781457708565

This article put GIS application development as the goal. Based on the basis functions of Windows CE,the methods of opening and reading GPS serial data are analyzed and studied. The program put forward the method which can through cessor multithread technique to simulate the overlapping I/O processing literacy operate method. It solves the problem that WinCE does not support asynchronous serial communication operation and designs the GPS real-time communication with PDA which would lay the foundation for GPS-PDA development on mobile GIS application and make GPS-PDA widely applied in various fields. © 2011 IEEE.

关键词： GPS Global Positioning System Global Positioning System I/O processing Instruction sets Message systems PDA Personal digital assistants programming Real time systems Shift registers Windows CE application program interfaces cessor multithread technique data communication embedded systems geographic information systems input-output programs literacy operate method mobile GIS multi-threading notebook computers object-oriented programming real-time communication serial communication serial data user interfaces

来源：评论

学校读者我要写书评

暂无评论

C++ for Dummies®, 6th Edition 6

引用

2011年

作者： Stephen R. Davis

Stephen R. Davis is the bestselling author of several books on C++, including previous editions of C++ For Dummies . He has been programming for more than 30 years and presently works for L-3 Communications in the are... 详细信息

ISBN: (数字)9781118257524

ISBN: (纸本)9780470317266

关键词： C++ C++ programming computer programming C++ compiler object-oriented programming oo programming ANSI standard C++ standard beginning programming programming

来源：评论

学校读者我要写书评

暂无评论

An overview of the object-oriented database programming language DBPQL

An overview of the object-oriented database programming lang...

引用

9th International Conference on Enterprise Information Systems (ICEIS 2007)

作者： Kirchberg, Markus Massey Univ Informat Sci Res Ctr Palmerston North 5301 New Zealand

ISBN: (纸本)9789728865887

In this paper, we present a new approach to the integration of object-oriented programming languages, database programming languages and query languages. While object-oriented programming languages and languages that are supported by object database systems appear to be closely related, there are a number of significant differences that affect language design and implementation. Such issues include the degree of encapsulation, persistence, the incooperation types and classes, inheritance, concurrency, NULL values, garbage collection etc. In this paper, we outline the respective challenges that affect language design and provide a brief overview of the integrated object-oriented database programming and querying language DBPQL.

关键词： database programming language object-oriented programming query language impedance mismatch and object database management system

来源：评论

学校读者我要写书评

暂无评论

object-oriented programming for the boundary element method in two-dimensional heat transfer analysis

引用

ADVANCES IN ENGINEERING SOFTWARE 2006年第4期37卷 248-259页

作者： Qiao, H Cardiff Sch Engn Cardiff CF24 0YF Wales

The usual boundary element analysis programs are coded in FORTRAN, which makes it difficult to build and maintain complex program systems. This paper presents the idea and implementation of the object-oriented programming approach for the boundary clement method in two-dimensional heat transfer analysis. The advantages of the object-oriented programming for developing the complicated boundary element analysis program are demonstrated by examples for two different types of partial differential equations: the Laplace equation and the diffusion equation. Based on the object-oriented programming approach together with the efficient coding in C+ +. computer programs for the above problems are systematic, brief and readable. (c) 2005 Elsevier Ltd. All rights reserved.

关键词： object-oriented programming C plus boundary element method heat transfer

来源：评论

学校读者我要写书评

暂无评论

Perfect class hashing and numbering for object-oriented implementation

引用

SOFTWARE-PRACTICE & EXPERIENCE 2011年第6期41卷 661-694页

作者： Ducournau, Roland Morandat, Floreal Univ Montpellier 2 LIRMM F-34000 Montpellier France CNRS F-34000 Montpellier France

Late binding and subtyping create run-time overhead for object-oriented languages, especially in the context of both multiple inheritance and dynamic loading, for instance for JAVA interfaces. In a previous article, we proposed a novel approach based on perfect hashing and truly constant-time hashtables for implementing subtype testing and method invocation in a dynamic loading setting. In this first study, we based our efficiency assessment on Driesen's abstract computational model for the time aspect, and on large-scale benchmarks for the space aspect. The conclusions were that the technique was promising but required further research in order to assess its scalability. This article presents some new results on perfect class hashing that enhance its interest. We propose and test both new hashing functions and an inverse problem that amounts to selecting the best class identifiers in order to minimize the overall hashtable size. This optimizing approach is proven to be optimal for single-inheritance hierarchies. Experiments within an extended testbed with random class loading and under cautious assumptions about what should be a sensible class-loading order show that perfect class hashing scales up gracefully, especially on JAVA-like multiple-subtyping hierarchies. Furthermore, perfect class hashing is implemented in the PRM compiler testbed, and compared here with the coloring technique, which amounts to maintaining the single-inheritance implementation in multiple inheritance. The overall conclusion is that the approach is efficient from both time and space standpoints with the bit-wise and hashing function. In contrast, the poor time efficiency of modulus hashing function on most processors is confirmed. Copyright (C) 2010 John Wiley & Sons, Ltd.

关键词： object-oriented programming dynamic loading multiple inheritance late binding subtype test perfect hashing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：