While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are subject to reduced throughput and high space ov...
详细信息
ISBN:
(纸本)9783540735885
While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are subject to reduced throughput and high space overheads. Since frequent allocation is often correlated with a high-level, object-oriented style of programming, this can force builders of real-time systems to compromise on software engineering. We have developed a fully incremental, real-time generational collector based on a tri-partite nursery, which partitions the nursery into regions that are being allocated, collected, and promoted. Nursery collections are incremental, and can occur within any phase of a mature collection. We present the design, mathematical model, and implementation of our collector in IBM's production Real-time Java virtual machine, and show both analytically and experimentally that the collector achieves real-time bounds comparable to a non-generational Metronome-style collector, while cutting memory consumption and total execution times by as much as 44% and 24% respectively.
object-orientedprogramming encourages extensive use of fields in objects. Most object-oriented programs are also concurrent, due to a finalizer or user interface thread. the combination of concurrency and frequent us...
详细信息
A program verification system for modern software uses a host of technologies, like programming language semantics, formalization of good programming idioms, inference techniques, verification-condition generation, an...
详细信息
In conventional robot system development the different robot parts (sensors, processing elements, actuators) are combined together in a compact, self contained system. the need for faster development, system reconfigu...
详细信息
ISBN:
(纸本)9781424405886
In conventional robot system development the different robot parts (sensors, processing elements, actuators) are combined together in a compact, self contained system. the need for faster development, system reconfigurability and flexibility required the introduction of middleware frameworks for robot systems. One promising middleware framework is the RT-Middleware technology (and its implementation named OpenRTM-aist), which is getting more and more popular in robot system design. Vision sensors are one of the most important sensors in robot systems. When constructing a new robot system, it is desirable that vision and image processing components are just as easily integrated as any other robot components. Unfortunately RT-Middleware is not yet equipped with such RT-Components. this need can be satisfied by introducing a new image processing toolbox, directly obtained front DIMAN, a existing software previously developed by the authors. DIMAN is a distributed framework for image processing, with a modular architecture very similar to RT-Middleware. the modules of DIMAN satisfy the needs of robot systems with respect to vision related tasks. through experimental results usability of DIMAN in robot vision will be shown in this paper. Furthermore DIMAN module deployment in RT-middleware based robot systems will be introduced also.
the execution of business processes with BPEL relies on external Web services, which are not necessarily managed by the process owner. this implies the need to constantly verify the correctness of the interactions bet...
详细信息
ISBN:
(纸本)9783540729877
the execution of business processes with BPEL relies on external Web services, which are not necessarily managed by the process owner. this implies the need to constantly verify the correctness of the interactions between the involved parties. this paper proposes a design process model for the definition of supervised processes, in which supervision rules are automatically generated starting from the policies that characterize the external services. these policies exploit WSCoL as a language for describing constraints on the messages exchanged withthe business process. In addition, we also present a new version of Dynamo: a prototype of an aspect oriented execution environment that conjugates a BPEL engine and a supervision framework.
the proceedings contain 27 papers. the topics discussed include: design patterns - 15 years later;codequest: scalable source code queries with datalog;efficient object querying for java;automatic perfetching by traver...
详细信息
ISBN:
(纸本)3540357262
the proceedings contain 27 papers. the topics discussed include: design patterns - 15 years later;codequest: scalable source code queries with datalog;efficient object querying for java;automatic perfetching by traversal profiling in object persistence architectures;the runtime structure of object ownership;on ownership and accessibility;scoped types and aspects for real-life Java;transparently reconciling transactions with locking for Java synchronization;object technology - a grand narrative?;the continuing quest for abstraction;early concurrent/mobile objects - modeling a simple post office;turning the network into a database with active XML;superglue: component programming withobject-oriented signals;variance and generalized constraints for C# generics;automated detection of refactorings in evolving components;and managing the evolution of aspect-oriented software with model-based pointcuts.
object composition a well-known programming technique for supporting dynamic adaptation in statically typed class-based object-orientedprogramming languages suffers from two non-trivial problems;the common-self probl...
详细信息
ISBN:
(纸本)0889865744
object composition a well-known programming technique for supporting dynamic adaptation in statically typed class-based object-orientedprogramming languages suffers from two non-trivial problems;the common-self problem and the object reference update problem. Recently, it has been shown that the common-self problem can be solved for object composition in statically typed class-based languages by introducing delegation, i.e., object-based inheritance as known from class-free prototype-based languages. With delegation the common-self problem disappears, but the object reference update problem remains. In this paper we propose superimposed delegation, a novel form of delegation, which simultaneously solves both problems. the paper presents superimposed delegation by a systematic but informal discussion of its similarities and differences with delegation.
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. the development of the tool was grounded in a scenario-based analysi...
详细信息
A program, or in object-orientedprogramming a feature, is characterized not only by an implementation but by a contract specifying its intent and a proof obligation to ascertain that the implementation meets the cont...
详细信息
ISBN:
(纸本)0769526780
A program, or in object-orientedprogramming a feature, is characterized not only by an implementation but by a contract specifying its intent and a proof obligation to ascertain that the implementation meets the contract. From these ideas it is possible to derive a general framework for discussing programs and program development.
this paper describes the evolution of recursive functions within an object-oriented Genetic programming (OOGP) system. We evolved general solutions to factorial, Fibonacci, exponentiation, even-n-Parity, and nth-3. We...
详细信息
ISBN:
(纸本)3540331433
this paper describes the evolution of recursive functions within an object-oriented Genetic programming (OOGP) system. We evolved general solutions to factorial, Fibonacci, exponentiation, even-n-Parity, and nth-3. We report the computational effort required to evolve these methods and provide a comparison between crossover and mutation variation operators, and also undirected random search. We found that the evolutionary algorithms performed much better than undirected random search, and thats mutation outperformed crossover on most problems.
暂无评论