We present a theory of pointers and records that provides a representation for objects and sharing in languages like Java and C++. Our approach to pointers is based on Paige's entity groups, which give an abstract...
详细信息
ISBN:
(纸本)354034750X
We present a theory of pointers and records that provides a representation for objects and sharing in languages like Java and C++. Our approach to pointers is based on Paige's entity groups, which give an abstract view of storage as equivalence classes of variables that share the same memory location. We first define our theory as a restriction of the general theory of relations, and, as a consequence, it does not distinguish between terminating and non-terminating programs. Therefore, we link it with the theory of designs, providing a foundation for reasoning about total correctness of pointer-based sequential programs. Our work is a step towards the semantics of an object-oriented language that also integrates constructs for specifying state-rich and concurrent systems.
In advanced motor control systems, an accurate knowledge of motor parameters is essential in order to achieve good performances. Some of these parameters, such as stator resistances, are sometimes given by constructor...
详细信息
ISBN:
(纸本)9781424404964
In advanced motor control systems, an accurate knowledge of motor parameters is essential in order to achieve good performances. Some of these parameters, such as stator resistances, are sometimes given by constructors, but they vary according to the operating conditions. This paper presents and compares two parameter identification methods of an actuator used in haptic interfaces which, in this case, is a Permanent Magnet Synchronous Machine (PMSrd). Using these methods, the electrical parameters of the PMSM can be determined during different operating conditions. Physical parameters estimation of a dynamic 4-parameter model is performed on the one hand, using an Output Error identification method based on a Non Linear programming algorithm and on the other hand, using an identification method based on Least-Squares techniques and inverse models.
Dynamically reconfigurable hardware not only has high silicon reusability, but it can also deliver high performance for computation-intensive tasks. However, the reconfiguration process usually has long configuration ...
详细信息
This paper presents a tutoring system aimed at teaching how to compile Java into the language of the Java Virtual Machine, and, at the same time, promotes a better understanding of the underlying mechanisms of object-...
详细信息
This paper presents a tutoring system aimed at teaching how to compile Java into the language of the Java Virtual Machine, and, at the same time, promotes a better understanding of the underlying mechanisms of object-oriented programming. The interaction with the systems takes the form of a 3D videogame where the student must compete to provide the right machine instructions, collect resources needed by the instructions and use her knowledge about Java compilation to find the best strategy.
We study a novel coverage by directional sensors problem with tunable orientations on a set of discrete targets. We propose a Maximum Coverage with Minimum Sensors (MCMS) problem in which coverage in terms of number o...
详细信息
This paper discusses the perennial problem of poor requirements and summarises an attempt to mitigate the problem using an object-oriented approach by developing and using a software tool named Tiger Pro. Next the ear...
详细信息
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelation between the file access patterns o...
详细信息
ISBN:
(纸本)0769525857
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelation between the file access patterns of parallel applications and the physical file distribution. First, any physical file distribution can be expressed by means of MPI data types. Second, mechanisms such as views and collective I/O operations are portably implemented inside the file system, unifying the I/O scheduling strategies of the MPI-IO library and the file system. The experimental section demonstrates performance benefits of more than one order of magnitude.
The programming Language Research Group at Sun Microsystems Laboratories seeks to apply lessons learned from the Java (TM) programming Language to the next generation of programming languages. The Java language suppor...
详细信息
In this paper, we focus on an evolutionary algorithm to design hierarchical or multilevel fuzzy system (architecture and parameters) automatically. This research work presents an automatic way of evolving hierarchical...
详细信息
Dynamic object roles are widely considered to be helpful to conceptual modeling of application. This paper presents an approach to role implementation based on Mediator pattern, which is used to object behavior extens...
详细信息
ISBN:
(纸本)0769525466
Dynamic object roles are widely considered to be helpful to conceptual modeling of application. This paper presents an approach to role implementation based on Mediator pattern, which is used to object behavior extension in class-based language. We present a prototypical implementation of the approach by extending the Java language, called Rava. In the approach, role management (generation of role object, dynamic binding of core object and role etc.) is implemented by Mediator object, which reduces complexity of client program. At the same time, the binding relationship between core object and role is also saved in Mediator object, which reduces the coupling between core object and role and is helpful to improving their reusability. We have developed a Rava to Java translator which makes Rava sources executable on every Java Virtual Machine. Our Approach can also be used to extend other class-based language.
暂无评论