The design of an appropriate test suite for software testing is a challenging task. It requires a suitable tradeoff between effectiveness, e.g., a suficient amount of test cases to satisfy the test goals of a given co...
详细信息
Process modeling can play a central role in problem-based software development education with regard to qualifying students for the design and implementation of software applications for their specific needs without p...
详细信息
Process modeling can play a central role in problem-based software development education with regard to qualifying students for the design and implementation of software applications for their specific needs without putting the focus on the technical part of coding. eXtreme Model Driven Design (XMDD) is a paradigm that focuses on the What (solving problems), rather than on the How (the technical skills of writing code). In this way it renders application design and implementation less daunting, thus accessible and more appealing to people that are either less technically skilled, or simply not interested at all in learning usual programming. In this paper we report on our experiences with the use of the jABC process modeling framework for teaching service-based software development in an XMDD fashion to students of different fields and on different levels of education.
The aim of this paper is to present results of certain experiments related to material workability characteristics, taking into consideration its high quality features and large usability for special manufacturing. It...
The aim of this paper is to present results of certain experiments related to material workability characteristics, taking into consideration its high quality features and large usability for special manufacturing. It is highly used in various industrial processes, such as aeronautics, petrochemical industry, chemical industry, etc. It was examined the influence of milling parameters upon the three dimensional cutting force and after it was determinate regression function.
Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in th...
详细信息
Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in the domain of automated production systems, i.e. evolution and co-evolution of (interdisciplinary) engineering models and code, quality assurance as well as variant and version management during evolution.
In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learnin...
详细信息
In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learning activities, which the students execute to solve complex learning scenarios across different tools. Visual Language plans were already used in the context of different pedagogical studies but have no formal syntax or semantics, yet. In this paper, we present the syntax of Visual Language Plans and develop a mapping from Visual Language Plans to Petri net defining semantics. With the help of this semantics, the environment can support the students executing their learnflows. If students execute activities given in a Visual Language Plan which are not enabled in the corresponding Petri net, feedback messages occur guiding the students. Students can refine their Visual Language Plan during execution. If a plan changes the corresponding Petri net model also changes. Analyzing the newly generated Petri net model can help to uncover faulty states of the learnflow model.
Software pipelining exploits instruction-level parallelism from loops. In static compilers, it has been one of the most efficient optimizations for wide-issue architectures. However, the compilation time is at least O...
详细信息
ISBN:
(纸本)9781450326704
Software pipelining exploits instruction-level parallelism from loops. In static compilers, it has been one of the most efficient optimizations for wide-issue architectures. However, the compilation time is at least O(|V|3) (V: the set of operations in a loop) and in the worst-case exponential. This paper extends software pipelining to dynamic compilers. We present a novel and simple algorithm with linear time O(|V| + |E|) (E: the set of edges in the dependence graph of a loop). Preliminary experiments show the method is light-weight and generates optimal or near-optimal schedules.
Traditional modeling approaches support a limited set of instantiation levels (typically one for classes and another adjacent one for objects). Multi-level modeling approaches on the other hand have no such limit to t...
Traditional modeling approaches support a limited set of instantiation levels (typically one for classes and another adjacent one for objects). Multi-level modeling approaches on the other hand have no such limit to the number of levels. As a consequence, an arbitrary number of levels may be used to define models, and the distinction between class and instance is redefined. The paper summarizes the experience gained from applying multi-level modeling techniques to a real application from the domain of development process improvement (DPI). The underlying case study has been conducted in cooperation with a large automotive supplier. We discuss the pros and cons of using multi-level modeling techniques and propose areas that we think would benefit from further research.
We present an active learning algorithm for inferring extended finite state machines (EFSM)s, combining data flow and control behavior. Key to our learning technique is a novel learning model based on so-called tree q...
详细信息
A hardware/software co-designed processor transparently supports a ubiquitous ISA (e.g. x86) with diversified and innovative microarchitectural implementations. It leverages co-designed HW features and dynamic binary ...
详细信息
ISBN:
(纸本)9781467355254;9781467355247
A hardware/software co-designed processor transparently supports a ubiquitous ISA (e.g. x86) with diversified and innovative microarchitectural implementations. It leverages co-designed HW features and dynamic binary translation (DBT) SW to morph existing binary programs to scale performance and save power. On such systems, the portable bytecode of modern dynamic languages (e.g. Java, JavaScript, etc.) is first translated into the code in the architecture ISA by the just-in-time (JIT) compilation in the bytecode virtual machine, and then into the code in the internal implementation ISA by the DBT. This not only incurs the translation overheads twice, but also brings significant emulation inefficiency as the DBT does not have the high level bytecode information. In this paper, we present AccelDroid, which accelerates the Android Dalvik bytecode execution on the HW/SW co-designed processor through direct bytecode translation in the DBT. Our experiments on a HW/SW co-designed Transmeta Efficeon machine show that AccelDroid can improve performance by 78% and save energy by 40% for the CaffeineMark 3.0 benchmark suite.
In paper shortly describes handling calculable complex "Dnepr-2, which including a calculable machine "Dnepr-21" and handling machine "Dnepr-22" for the management by Technologies Processes (T...
详细信息
In paper shortly describes handling calculable complex "Dnepr-2, which including a calculable machine "Dnepr-21" and handling machine "Dnepr-22" for the management by Technologies Processes (TP) objects to Automatisation systems. Complex"Dnepr-2" was elaborated in Institute of cybernetics AN Ukraine and his special designer bureau of mathematical machines and systems under the direction of the academician V.M. Gluchkov (Decision of CM USSR No 1250 from 12.12.1965). This complex was one of pioneer works in USSR. In him on period of 60 years of past century new and original scientific and technical decisions are realized. In complex "Dnepr-2" was realized management by the calculation and treatment in real time by objects, system of breaking, operation system with the division of time, translators from the new languages (Auto cod, Algol-60, COBOL and others).
暂无评论