Showing papers on "Source transformation published in 2015"

HYST: a source transformation and translation tool for hybrid automaton models

Abstract: A number of powerful and scalable hybrid systems model checkers have recently emerged. Although all of them honor roughly the same hybrid systems semantics, they have drastically different model description languages. This situation (a) makes it difficult to quickly evaluate a specific hybrid automaton model using the different tools, (b) obstructs comparisons of reachability approaches, and (c) impedes the widespread application of research results that perform model modification and could benefit many of the tools. In this paper, we present Hyst, a Hybrid Source Transformer. Hyst is a source-to-source translation tool, currently taking input in the SpaceEx model format, and translating to the formats of HyCreate, Flow*, or dReach. Internally, the tool supports generic model-to-model transformation passes that serve to both ease the translation and potentially improve reachability results for the supported tools. Although these model transformation passes could be implemented within each tool, the Hyst approach provides a single place for model modification, generating modified input sources for the unmodified target tools. Our evaluation demonstrates Hyst is capable of automatically translating benchmarks in several classes (including affine and nonlinear hybrid automata) to the input formats of several tools. Additionally, we illustrate a general model transformation pass based on pseudo-invariants implemented in Hyst that illustrates the reachability improvement.

Unique Worker model for OpenMP

Abstract: In OpenMP, because of the underlying efficient 'team of workers' model, each worker is given a chunk of tasks (iterations of a parallel-for-loop, or sections in a parallel-sections block), and a barrier construct is used to synchronize the workers (not the tasks). Naturally, the practitioners are discouraged from invoking barriers in these tasks; as otherwise, depending on the number of workers the behavior of the program can vary. Such a restrictive practice can adversely impact programmability and program readability. To overcome such a restrictive practice, in this paper, inspired from the more intuitive interaction of tasks and barriers found in newer task parallel languages like X10, HJ, Chapel and so on, we present an extension to OpenMP (called UW-OpenMP). UW-OpenMP gives the programmer an impression that each parallel task has been assigned a unique worker, and importantly these parallel tasks can be synchronized using a barrier construct. Consequently, the semantics of the programs (using parallel-for-loops, sections and barriers) remains independent of the actual number of worker threads, at runtime. We argue that such a scheme allows the programmer to conveniently think and express his/her logic in parallel. We propose a source to source transformation scheme to translate UW-OpenMP C programs to equivalent OpenMP C programs that are guaranteed to not invoke barriers in any task. We have implemented our proposed translation scheme in the ROSE compiler framework. Our preliminary evaluation shows that the proposed extension leads to programs that are concise and arguably easier to understand. Importantly, the efficiency resulting from the 'team of workers' model is not compromised.

A Mixed Approach to Adjoint Computation with Algorithmic Differentiation

Abstract: Various algorithmic differentiation tools have been developed and applied to large-scale simulation software for physical phenomena. Until now, two strictly disconnected approaches have been used to implement algorithmic differentiation (AD), namely, source transformation and operator overloading. This separation was motivated by different features of the programming languages such as Fortran and C++. In this work we have for the first time combined the two approaches to implement AD for C++ codes. Source transformation is used for core routines that are repetitive, where the transformed source can be optimized much better by modern compilers, and operator overloading is used to interconnect at the upper level, where source transformation is not possible because of complex language constructs of C++. We have also devised a method to apply the mixed approach in the same application semi-automatically. We demonstrate the benefit of this approach using some real-world applications.

Power source selling device and method

Abstract: The invention discloses a power source selling device and method and belongs to the technical field of accounting devices. The power source selling device comprises a power source protection module which is used for accessing an external power source and outputting a power source to a power source transformation, output detection and control module, the power source transformation, output detection and control module, a processing module, a user interface module and a secret key and data storage circuit; the power source transformation, output detection and control module is used for providing operation power sources for circuits of other modules and is connected with the processing module, controlled by the processing module and connected with an electricity utilization output panel module and monitors that whether the electricity utilization output panel module has load access or not; an I/O (Input/Output) interface of the processing module is respectively connected with a display circuit and a key circuit the user interface module comprises a display circuit and a key circuit; the secret key and data storage circuit is controlled by the processing module; reading and storage of the secret key and data storage circuit are achieved through the processing module; a maintenance communication circuit is connected with a communication port of the processing module and converts into a USB interface through a conversion circuit. The power source selling device is simple in circuit structure, low in cost and operation cost and safe and reliable due to the fact that the power source selling device is not connected with the internet.

Source transformation circuit and have iris recognition device of this source transformation circuit

Abstract: The utility model discloses a source transformation circuit and have iris recognition device of this source transformation circuit belongs to iris discernment field, the source transformation circuit includes power input end, DC -DC converter, filter circuit and power output end, wherein: the input pin and the messenger of DC -DC converter can the pin connections the power input end, output pin warp connect behind the filter circuit the power output end, ground connection pin ground connection, still be connected with the magnetic bead of frequency of operation for 70 -200MHz between filter circuit and the power output end, power input end ground connection behind a filter capacitance Compared with the prior art, the utility model discloses a source transformation circuit has reduced the circuit consumption to can not produce other equipment in the iris recognition device and near and disturb

Source Transformation for the Optimized Utilization of the Matlab Runtime System for Automatic Differentiation

Abstract: Operator overloading in Matlab allows for user-defined types to semantically augment existing Matlab codes without changes. However, given sufficient knowledge about types and operand semantics, operator overloading can be replaced by equivalent function calls. The ADiMat software tool provides automatic differentiation of Matlab functions using a hybrid approach that combines source transformation and operator overloading. It can also be used as a general framework for user-defined transformations of Matlab codes. Tests showed the potential for performance improvement in a derivative class providing essential linear algebra functionality for ADiMat. The Matlab runtime environment was benchmarked regarding function and method call overheads as well as property access overhead with Matlab’s objects. These tests identify the access to class properties of type cell array as the main performance culprit. Hence, an automatic method, transforming the XML based abstract syntax tree created with ADiMat’s toolchain through a set of stylesheets, was developed. This process completely removes the derivative object usage and hence the operator overloading and the property access overhead from any derivative function created with ADiMat. Experimental results show that performance is improved considerably depending on the data container storing the derivative directions.

Integrated integration source transformation ware of compact

Abstract: The utility model discloses an integrated integration source transformation ware of compact, interchange / direct -current input is exported for input limit surge circuit through input filter circuit post -filter, and input limit surge circuit is exported for direct current filter circuit, and the DCDC transfer circuit is given in the reexport of direct current filter circuit, and the DCDC transfer circuit is exported for output filter circuit, and the filtering of output filter circuit produces stable direct current output, and the feedback circuit input is connected on output filter circuit, and the feedback circuit output links to each other with DCDC transfer circuit feedback control end. The utility model relates to an integrated integration source transformation ware of compact's beneficial effect is that to have a circuit succinct, job stabilization, and the sexual valence relative altitude, application scope is wide, because integrated packaging structure and complete protect function have been adopted to it for its is small, light in weight, reliability high, electromagnetic compatibility is good, still can keep long -term steady job state under harsh condition such as humidity, vibratory impulse, corruption and mould.

TXL source transformation in practice

Abstract: The TXL source transformation system is widely used in industry and academia for both research and production tasks involving source transformation and software analysis. While it is designed to be accessible to software practitioners, understanding how to use TXL effectively takes time and has a steep learning curve. This tutorial is designed to get you over the initial hump and rapidly move you from a TXL novice to the skills necessary to use it effectively in real applications. Consisting of a combination of one hour lecture presentations followed by one hour practice sessions, this is a hands-on tutorial in which participants quickly learn the basics of how to use TXL effectively in their research or industrial practice.

Towards a framework for analysis, transformation, and manipulation of Makefiles

Abstract: Build systems are an integral part of the software development process, being responsible for turning source code into a deliverable product. They are, however, difficult to comprehend and maintain at times. Make, the most popular build language, is often cited as being difficult to debug. In this work, we propose a framework to analyze and manipulate Makefiles, and discover how the language is used in open source systems using existing software analysis techniques like source transformation and clone detection.