In embedded computing, code size is very important for system cost and performance. In global scheduling for VLIW/EPIC style embedded processors, region-enlarging optimizations, especially tail duplication, are commonly used to exploit instruction level parallelism (ILP) to boost the performance. The code size increase due to such optimizations, however, raises serious concerns about the affect...

Distributed object computing middleware such as CORBA, RMI, and DCOM have gained wide acceptance and has shielded programmers from many tedious and error-prone aspects of distributed programming. In particular, CORBA Event Service has been used extensively in embedded systems. In this paper, we propose an aspect oriented approach to develop synchronization code for distributed systems that use ...

New parallel codes have been developed to carry out simulational experiments of magnetotelluric investigation in the spherical coordinates by solving the electromagnetic induction equation in the time domain. In our previous paper published in this journal1 we tested the Cartesian code and showed that the code can achieve good performance of parallel processing. The extension to the spherical c...

There is a connection between static source code metrics, for example, lines of code or cyclomatic complexity and potential defects in the source code. Obviously, there is no closed formula, but with the field of machine learning and its techniques we have a tool at our disposal that has the ability to infer rules from large amounts of data. In this thesis, we use machine learning techniques to...

Stack inspection is a mechanism for programming secure applications in the presence of code from various protection domains. Run-time checks of the call stack allow a method to obtain information about the code that (directly or indirectly) invoked it in order to make access control decisions. This mechanism is part of the security architecture of Java and the .NET Common Language Runtime. A ce...

Value-driven code motion is an improvement to classical code motion techniques that takes advantage of the results of global value numbering. Traditional data-ow analysis frameworks must assume that every deenition produces a distinct value. Therefore, an instruction cannot move past a deenition of one of its subexpressions. This restriction can be relaxed when certain deenitions are known to p...

In this paper, combined GPS and GLONASS positioning systems are discussed and some solutions have been proposed to improve the accuracy of navigation. Global Satellite Navigation System (GNSS) is able to provide position, velocity and time with respect to coordinated universal time. GNSS positioning is based on received satellite signals, so its performance is highly dependent on the quality of...

This dissertation proposes a combinatorial model, program representations, and constraint solving techniques for integrated register allocation and instruction scheduling in compiler back-ends. In contrast to traditional compilers based on heuristics, the proposed approach generates potentially optimal code by considering all trade-offs between interdependent decisions as a single optimization ...

On the Itanium 2 processor, effective global instruction scheduling is crucial to high performance. At the same time, it poses a challenge to the compiler: This code generation subtask involves strongly interdependent decisions and complex trade-offs that are difficult to cope with for heuristics. We tackle this NP-complete problem with integer linear programming (ILP), a search-based method th...