In this paper, we present a new platform for migrating applications in/between intelligent computing contexts. We establish the framework through the following technical aspects: application reconstruction, applicatio...
详细信息
In this paper, we present a new platform for migrating applications in/between intelligent computing contexts. We establish the framework through the following technical aspects: application reconstruction, application state recovery, resource rebinding and I/O interface reinstallation. Our goal is to migrate applications seamlessly like a shadow as users change their locations in certain contexts while demanding access to applications which originally reside in their main workstations. The design and implementation of this framework are based on Mozart platform with an extension of TCK/TK libraries, which are also employed for illustration and prototyping in our following discussion.
History-based branch direction predictors for conditional branches are shown to be highly accurate. Indirect branches however, are hard to predict as they may have multiple targets corresponding to a single indirect b...
详细信息
ISBN:
(纸本)9781424456581
History-based branch direction predictors for conditional branches are shown to be highly accurate. Indirect branches however, are hard to predict as they may have multiple targets corresponding to a single indirect branch instruction. We propose the Value Based BTB Indexing (VBBI), a correlation-based target address prediction scheme for indirect jump instructions. For each static hard-to-predict indirect jump instruction, the compiler identifies a `hint instruction', whose output value strongly correlates with the target address of the indirect jump instruction. At run time, multiple target addresses of the indirect jump instruction are stored and subsequently accessed from the BTB at different indices computed using the jump instruction PC and the hint instruction output values. In case the hint instruction has not finished its execution when the jump instruction is fetched, a second and more accurate target address prediction is made when the hint instruction output is available, thus reducing the jump misprediction penalty. We compare our design to the regular BTB design and the best previously proposed indirect jump predictor, the tagged target cache (TTC). Our evaluation shows that the VBBI scheme improves the indirect jump target prediction accuracy by 48% and 18%, compared with the baseline BTB and TTC designs, respectively. This results in average performance improvement of 16.4% over the baseline BTB scheme, and 13% improvement over the TTC predictor. Out of this performance improvement 2% is contributed by target prediction overriding which is accurate 96% of the time.
Previous research confirms the existence of recurring bug fixes in software systems. Analyzing such fixes manually, we found that a large percentage of them occurs in code peers, the classes/methods having the similar...
详细信息
Previous research confirms the existence of recurring bug fixes in software systems. Analyzing such fixes manually, we found that a large percentage of them occurs in code peers, the classes/methods having the similar roles in the systems, such as providing similar functions and/or participating in similar object interactions. Based on graph-based representation of object usages, we have developed several techniques to identify code peers, recognize recurring bug fixes, and recommend changes for code units from the bug fixes of their peers. The empirical evaluation on several open-source projects shows that our prototype, FixWizard, is able to identify recurring bug fixes and provide fixing recommendations with acceptable accuracy.
The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid programming model, by taking advantage...
详细信息
ISBN:
(纸本)9781424459179;9780769539676
The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid programming model, by taking advantage of particular interactions patterns and object semantics which result in a broader set of specialized objects. We present analysis aspects of GUN, a grid service layer solution for shared data programming. We start by defining the evaluation criteria in terms of performance, resource and qualitative aspects. A series of experiments are used in order to highlight relevant behavioral and performance aspects of the model's implementation. Next, the analysis of the model is carried out at experimental level where a Java based prototype of the grid universe has been built. Starting with the generic objects and followed by every object type, the object particularities are introduced and the experimental results are described and discussed.
The object Calculi proposed by Abadi and Cardelli, treat objects as primitive constructs and define operations on these objects directly. This approach used by the object calculi overcomes the problem of complex encod...
详细信息
ISBN:
(纸本)9781424447909
The object Calculi proposed by Abadi and Cardelli, treat objects as primitive constructs and define operations on these objects directly. This approach used by the object calculi overcomes the problem of complex encoding of objects as functions. The object calculi do not provide the direct support for aspects and its related concepts. We propose a calculus which provides direct support for aspects and other construct of Aspect-orientedprogramming paradigm. Our proposed calculus is an extension to the Untyped Imperative object Calculus which is a part of the family of object calculi. We have worked upon the syntax and operational semantics of the proposed Untyped Aspect Calculus. The paper discusses the syntax and operational semantics of the calculus. Interpreter for the calculus is also designed and implemented and the same is discussed in the paper.
Summary form only given. Agents are social and autonomous entities that can take great advantages of interaction modelling. Role-Based Collaboration (RBC)[4] is an emerging methodology to facilitate an organizational ...
详细信息
Summary form only given. Agents are social and autonomous entities that can take great advantages of interaction modelling. Role-Based Collaboration (RBC)[4] is an emerging methodology to facilitate an organizational structure, provide orderly system behavior, and consolidate system security for both human and non-human entities that collaborate and coordinate their activities with or within systems. Interaction management must, however, be able to handle run-time and dynamic scenarios. Hence every RBC system must provide a good level of dynamism, that is providing the capability of an agent to assume, use and release a role depending on run-time conditions. In object oriented programming languages, such as Java, role perceivability could be achieved with appropriate changes to the agent/entity class structure, but this requires compile-time constraints that are, in their nature, not dynamic. Moreover, other issues raise in the case when the agent is masked by a proxy or some other indirection level, since in this case it is difficult to perceive the played role because the agent is hidden. This poster proposes an approach (WhiteCat) to remedy the above problems: maintaining an appropriate level of dynamism. The work presented here allows a Java agent to make its role perceivable to other entities as if it is applied at compile-time. The presented approach was born in the agent scenario, but thanks to its modularity and flexibility it can be exploited and applied to other dynamic contexts.
This paper presents a case study on a logic circuit model using object-orientedprogramming. For this purpose a modular model is used, which maps the structure of a logic circuit. Model is created as a set of C++ obje...
详细信息
ISBN:
(纸本)0769524974
This paper presents a case study on a logic circuit model using object-orientedprogramming. For this purpose a modular model is used, which maps the structure of a logic circuit. Model is created as a set of C++ objects. A module in the logic circuit structure has the corresponding object in the model. The C++ objects also implement an event-driven algorithm of simulation.
In order to realize the rapid visual modeling luffer mechanism of portal crane, a special visual modeling platform based on OpenGL and C mixed programming in the Windows XP operation system for four-bar linkage struct...
详细信息
Mutation testing is a technique in which all possible faulty versions of a program are generated for mutation analysis and to assess the test suit adequacy. In literature, most research on mutation testing has been fo...
详细信息
ISBN:
(纸本)9781424455690
Mutation testing is a technique in which all possible faulty versions of a program are generated for mutation analysis and to assess the test suit adequacy. In literature, most research on mutation testing has been focused on traditional programming paradigm. Some of the traditional mutation-operators are incorporated in mutation testing of objectoriented systems. Recently class level mutation operators are also defined, which is the main focus of this article with particular consideration of the OO programming (OOP) language JAVA. A number of automated tools have been developed to generate the defective versions of program and to execute them against test suit. Classification, evaluation of the mutation operators against some proposed parameters and identification of some research areas is a result of this survey.
In this paper, a fuzzy logic model was created from a data set of 140 small programs developed with practices based on Personal Software Process (PSP) and then this fuzzy model was applied for predicting the productiv...
详细信息
In this paper, a fuzzy logic model was created from a data set of 140 small programs developed with practices based on Personal Software Process (PSP) and then this fuzzy model was applied for predicting the productivity of a new data set consisted of 60 small programs; all programs were developed with object oriented programming languages by 35 and 15 graduated programmers respectively. Accuracy result of this fuzzy logic model was compared with that of a statistical regression model. Results suggest that a fuzzy logic model could be used for estimating and predicting productivity of the software development.
暂无评论