In the recent years, data replication schemes have been developed which use logical grid structures for managing the replicated data 4, 12, 19]. Grid structure-based protocols have been proven to be extremely eecient due to the high availability of read and write operations they ooer and due to the very small number of copies which have to be accessed during an operation execution. Although the...

This research was conducted to find a reliable technique to shape an abrupt contraction for minimizing the energy loss. The method may find broader applications in design of variety of transitional cross-sections in hydraulic structures. The streamlines in a 2-D contraction were calculated through solving the potential flow equations in rectangular and curvilinear coordinates. The natural cubic...

We tackle the problem of estimating the 3D pose of an individual’s upper limbs (arms+hands) from a chest mounted depth-camera. Importantly, we consider pose estimation during everyday interactions with objects. Past work shows that strong pose+viewpoint priors and depth-based features are crucial for robust performance. In egocentric views, hands and arms are observable within a well defined vo...

Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. However, current inclusion-based analyses can have prohibitive costs in time and space, especially for programs with millions of lines of code. We present a suite of offline optimizations that exploit pointer and location equival...

Software is among the most complex endeavors of the human mind; large scale systems can have tens of millions of lines of source code. However, seldom is complexity measured above the lowest level of code, and sometimes source code files or low level modules. In this paper a hierarchical approach is explored in order to find a set of metrics that can measure higher levels of organization. These...

We present the design, implementation and empirical evaluation of Bebop|a symbolic model checker for boolean programs. Bebop represents control ow explicitly, and sets of states implicitly using BDDs. By harnessing the inherent modularity in procedural abstraction and exploiting the locality of variable scoping, Bebop is able to model check boolean programs with several thousand lines of code, ...

A class is used in object oriented programming to describe each object in the system. It is as a template contains the methods and attributes for each object. The volume of information within the class has a role in the time required for its implementation, testing and understanding the class. Developers are dealing with large projects that contain a large number of Lines Of Code (LOC). So that...

In this paper, we introduce an analytical model for maximizing social welfare, which can be used for finding the optimal offering of a set of software services. The analytical model also explains the impact of service flexibility on customer’s selection of business services and on the revenue of service providers. The analytical model is based on a utility model and a cost model. The cost model...

0 7 4 0 7 4 5 9 / 0 0 / $ 1 0 . 0 0 © 2 0 0 0 I E E E For an organization to improve the quality of its software products and processes, it is important that individual developers have disciplined personal processes.2 We can observe the performance of an individual’s software process through particular attributes, such as lines of code developed per hour (LOC/hour) or number of defects per thou...

Object oriented design is becoming more popular in software development and object oriented design metrics which is an essential part of software environment. The main goal in this paper is to predict factors of MOOD method for OO using a statistical approach. Therefore, linear regression model is used to find the relationship between factors of MOOD method and their influences on OO software m...