Branch and Bound Algorithms based on Interval Arithmetic permit to solve exactly continuous (as well as mixed) non-linear and non-convex global optimization problems. However, their intrinsic exponential time-complexities do not make it possible to solve some quite large problems. The idea proposed in this paper is to limit the memory available during the computations of such a global optimizat...

Symbolic debuggers are program development tools that allow a user to interact with an executing process at the source level. In response to a user query, the debugger must be able to retrieve and display the value of a source variable in a manner consistent with what the user expects with respect to the source statement where execution has halted. However, when a program has been compiled with...

The process of understanding a source code in a high level programming language is a complex cognitive task The provision of helpful decision aid subsystems would be of great bene t to software maintainers Given a library of program plan templates generating a partial understanding of a piece of software source code can be shown to correspond to the construction of mappings between segments of ...

Abstract. Communication patterns describe simple and elegant structured interactions in communication based applications. They are used in many parallel computing architectures of parallel algorithms, data exchange protocols and web-services. Communication patterns help programmers to design more efficient, structured, modular and understandable architectures, but they do not provide any automa...

dna barcoding is a new term introduced in to scientific literatures by hebert and coworkers almost a decade ago. the concept of barcoding alone is well-known to the public: a series of black bars printed on many commercial products (universal product code), which are used to distinguish different products. advances made in molecular biology and molecular techniques late 20th century e.g. sequen...

Model-driven approaches as well as migration projects rely on a strong tool support. As part of the SOAMIG project, a tool suite has been developed, supporting the model-driven migration of legacy Java and COBOL systems towards Service-oriented Architectures (SOAs). The tool suite integrates a global repository (representing business processes, code and architecture) and capabilities for (i) pa...