Because objects need to be stored and reloaded on different environments, serializing object graphs is a very important activity. There is a plethora of serialization frameworks with different requirements and design ...
详细信息
The (commercial) space market is becoming more and more driven by the need for powerful, reliable yet cost-effective solutions and building blocks. Typically the on-board software domain requires reliable and validate...
详细信息
ISBN:
(纸本)9781624102219
The (commercial) space market is becoming more and more driven by the need for powerful, reliable yet cost-effective solutions and building blocks. Typically the on-board software domain requires reliable and validated building blocks, which for many years has been done on a project-by-project basis. However, in many small satellite programmes, the use of commercially available Operating Systems and libraries has started to emerge along with a specific need to be able to build a set of generic building blocks that can be used throughout different platforms with low qualification costs. Moreover, the trust in non-space related tools and libraries is growing, as the experience of a large user community is increasingly considered more valuable than a costly project-specific qualification. This paper describes FOBOS, a new Real-Time Operating System (RTOS) for space projects that offers the benefits from the improvements in commercially available development tools and object-oriented languages (C++), whilst providing a reliable core. It also allows for easy integration of user libraries that share both generic and programme-specific properties. An example of this is the creation of a PUS-support library that simplifies user development while maintaining direct compatibility with established infrastructure and standards for satellite and payload operations.
Deadlock detection in recursive programs that admit dynamic resource creation is extremely complex and solutions either give imprecise answers or do not scale. We define an algorithm for detecting deadlocks of linear ...
详细信息
We propose a novel Eclipse Perspective, the Runtime Perspective, that makes a global hierarchy of abstract objects a first-class view of an object-oriented system at design-time. The perspective includes many views th...
详细信息
Generality is an important direction for Automatic Test System(ATS),while general software platform is the key technology to realize general ATS. object-orientedprogramming design ideas and hierarchical and modular s...
详细信息
Being able to combine static and dynamic typing within the same language has clear benefits in order to support the evolution of prototypes or scripts into mature robust programs. While being an emblematic dynamic obj...
详细信息
This paper presents a framework named Pin++. Pin++ is an objectoriented framework that uses template metaprogramming to implement Pintools, which are analysis tools for the dynamic binary instrumentation tool named Pi...
详细信息
ISBN:
(纸本)9781450331616
This paper presents a framework named Pin++. Pin++ is an objectoriented framework that uses template metaprogramming to implement Pintools, which are analysis tools for the dynamic binary instrumentation tool named Pin. The goal of Pin++ is to simplify programming a Pintool and promote reuse of its components across different Pintools. Our results show that Pintools implemented using Pin++ can have a 54% reduction in complexity, increase its modularity, and up to 60% reduction in instrumentation overhead. Copyright 2014 ACM.
This paper presents an open source, object-oriented machine learning framework, formally named Java Intelligent Optimisation (JIOP). While JIOP is still in the early stages of development, it already provides a wide v...
详细信息
Ultrahigh areal density is the key target of hard disk drive technology. Hence, writing field strength from head and switching field, Hsw, of media should be improved. In this work, we propose the one of alternative m...
详细信息
Code critics are a recommendation facility of the Pharo Smalltalk IDE. They signal controversial implementation choices such as code smells at class and method level. They aim to promote the use of good and standard c...
详细信息
Code critics are a recommendation facility of the Pharo Smalltalk IDE. They signal controversial implementation choices such as code smells at class and method level. They aim to promote the use of good and standard coding idioms for increased performance or a better use of object-oriented constructs. This paper studies relations among code critics by analyzing co-occurrences of code critics detected on the Moose system, a large and mature Smalltalk application. Based upon this analysis, we present a critique on code critics, as a first step towards an improved grouping of code critics that identifies issues at a higher level of abstraction, by combining lower-level critics that tend to co-occur, as well as improvements in the definition of the individual critics.
暂无评论