In this paper, we discuss the development of a robust object-oriented C++ implementation of a CMAC variant called the LOMR (Locally scoped and Multiple Resolution) CMAC. The LOMR CMAC architecture is a combination of ...
详细信息
In this paper, we discuss the development of a robust object-oriented C++ implementation of a CMAC variant called the LOMR (Locally scoped and Multiple Resolution) CMAC. The LOMR CMAC architecture is a combination of a finite number of Albus-motivated CMAC architectures which can be defined on any desired region of the input space with any resolution we choose.
We present an object-oriented animation system for terrain models using triangular subdivision stochastic surfaces. This system reuses computations made for previous frames by maintaining a forest of objects. The surf...
详细信息
ISBN:
(纸本)0791809439
We present an object-oriented animation system for terrain models using triangular subdivision stochastic surfaces. This system reuses computations made for previous frames by maintaining a forest of objects. The surface decomposes itself as required by the viewing parameters. Texture generated for previous images which has passed out of the field of view is recursively pruned, just as new texture is recursively generated. Thus the memory requirements of the technique remain approximately constant over time.
RPDE3 is a framework for building environments. Great emphasis has been placed on supporting changes of various kinds, such as extensions to existing environments and creation of new environments by adapting existing ...
详细信息
The success of distributed object technology, depends on the advent of object Request Broker (ORB) architectures that are able to integrate flexible support for various non-functional requirements such as security, re...
详细信息
The success of distributed object technology, depends on the advent of object Request Broker (ORB) architectures that are able to integrate flexible support for various non-functional requirements such as security, real-time, transactions, etc. We promote component framework technology as the cornerstone for realizing such generic platforms. An ORB component framework leverages the 'glue' that connects customized ORB components together. In this paper we present a reflective component architecture that improves the dynamics of this glue, such that system-wide integration of a new non-functional requirements into a running ORB system becomes possible.
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of the purpose of inheritance. The correctness of the model is demonstrated by proving it equivalent to an operati...
详细信息
Tracking the changing dynamics of object-oriented frameworks, design patterns, architectural styles, and subsystems during the development and reuse cycle can aid producing complex systems. Unfortunately, current obje...
详细信息
ISBN:
(纸本)9780897917889
Tracking the changing dynamics of object-oriented frameworks, design patterns, architectural styles, and subsystems during the development and reuse cycle can aid producing complex systems. Unfortunately, current object-orientedprogramming tools are relatively oblivious to the rich architectural abstractions in a system. This paper shows that architecture-oriented visualization, the graphical presentation of system statics and dynamics in terms of its architectural abstractions, is highly beneficial in designing complex systems. In addition, the paper presents architecture-aware instrumentation, a new technique for building efficient on-line instrumentation to support architectural queries. We demonstrate the effectiveness and performance of the scheme with case studies in the design of the Choices object-oriented operating system.
The purpose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in order to implement identical ...
详细信息
ISBN:
(纸本)9781595938657
The purpose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in order to implement identical services for the Java language. The obvious duplication of effort in service provision and resource management between the JVM and the operating system has a measurable cost on the performance of Java programs. In my PhD research, I try to find ways of minimizing the cost of sharing resources between the OS and the JVM, by identifying and removing unnecessary software layers.
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion specifications of objects from other clas...
详细信息
ISBN:
(纸本)0897916425
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion specifications of objects from other classes. Each such specification consists of a predicate determining the subset of objects to be included and a viewing function under which those included objects are manipulated. Both predicates and viewing functions can be any type consistent programs definable in the polymorphic calculus. Inclusion specifications among classes can be cyclic, allowing mutually recursive class definition. These features achieve flexible view definitions and wide range of class organizations in a compact and elegant way. Moreover, the calculus provides a suitable set of operations for views and classes so that the programmer can manipulate views and classes just the same way as one deals with ordinary records and sets.
object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behav...
详细信息
ISBN:
(纸本)9781581133905
object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behavioral models. The absence of a formal semantics for UML models and the numerous possibilities of employing behavioral models within the development process lead to the rise of a number of different consistency notions. In this paper, we discuss the issue of consistency of behavioral models in the UML and present a general methodology how consistency problems can be dealt with. According to the methodology, those aspects of the models relevant to the consistency are mapped to a semantic domain in which precise consistency tests can be formulated. The choice of the semantic domain and the definition of consistency conditions can be used to construct different consistency notions. We show the applicability of our methodology by giving an example of a concrete consistency problem of concurrent object-oriented models.
Reference immutability type systems such as Javari and ReIm ensure that a given reference cannot be used to mutate the referenced object. These systems are conservative in the sense that a mutable reference may be mut...
详细信息
暂无评论