Code search aims to retrieve accurate code snippets based on a natural language query improve software productivity and quality. With the massive amount of available programs such as (on GitHub or Stack Overflow), identifying localizing precise is critical for developers. In addition, Deep learning has recently been widely applied different code-related scenarios, e.g., vulnerability detection,...

Summary Many common discriminators used for code tracking of global navigation satellite system (GNSS) signals are ratios quadratic forms the correlation outputs. Here we derive a general expression gain this type discriminator and show that it depends on effective carrier-to-noise ratio. We then evaluate several different GNSS signals, including GPS C/A-code, P-code, L1C, M-code, Gali...

Traditional native code generating Prolog compilers with global analysis compile programs as a whole and do not support the data base builtin-predicates assert and retract. In this paper we present a scheme to both enable global analysis and incremental compilation. This incremental compiler is based on the Vienna Abstract Machine (VAM). A version of the VAM, the VAM AI , is used as an abstract...

Symbolic computation is employed to automatically derive formulas in finite element analysis (FEA) and to generate parallel numeric code. Key FEA computations parallelized include element stiffness computations and solution of global system of equations. An element-by-element preconditioned conjugate gradient method is used to solve the global system of equations in parallel. Derived formulas a...

|Compiler optimization research has a long history and very complex algorithms were developed to optimize code. Unfortunately these algorithms, however complex they may be, su er from the modular design of software. Compilers compile and optimize one source code module at a time. While they do so, they have no or few knowledge about the context in which the code will be executed. Even if summar...

The interaction of register allocation and instruction scheduling is a well-studied problem: Certain ways of arranging instructions within basic blocks reduce overlaps of live ranges, leading to the insertion of less costly spill code. However, there is little previous research on the extension of this problem to global code motion, i .e., the motion of instructions between blocks. We present a...

The Coagulating Code Generator (CCG) is designed to generate highly efficient code in terms of instruction selection, register usage, and procedure calls. These are not the only determinants of code efficiency, however. Optimizing compilers also try to improve code by a number of well-know transformations that we refer to as global optimizations; examples are global common subexpression elimina...

Using remotely sensed satellite products is the most efficient way to monitor global land, water, and forest resource changes, which are believed to be the main factors for understanding global climate change and its impacts. A reliable remotely sensed product should be retrieved quantitatively through models or statistical methods. However, producing global products requires a complex computin...

The growing importance of telecommunication networks has stimulated research on a new generation of programming languages. Such languages view the network and its resources as a global environment in which computations take place. In particular, they support the notion of code mobility. To understand, discuss, evaluate, and compare such languages, it is necessary to develop a new set of program...