Over the past few years, the applications of certain microorganisms have gained importance in the field of applied environmental microbiology. Amongst them, biomineral processing is such field that deals with metal mining from ores, concentrates, industrial wastes, overburdens etc. under the impact of microorganisms and/or their metabolites. The most successful advancement of mineral biotechnol...

A memory leak in a managed program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap growth which degrades performance and results in program crashes after perhaps days or weeks of execution. Prior approaches for detecting memory leaks rely on heap differencing or detailed object statistics which store state proport...

This paper presents an inter-procedural heap analysis that computes information about how programs access regions within recursive data structures, such as sublists within lists or subtrees within trees. The analysis is able to accurately compute heap access information for statements and procedures in recursive programs with destructive updates. We formulate our algorithm as a dataflow analysi...

This paper presents a novel set of algorithms for heap abstraction, identifying logically related regions of the heap. The targeted regions include objects that are part of the same component structure (recursive data structure). The result of the technique outlined in this paper has the form of a compact normal form (an abstract model) that boosts the efficiency of the static analysis via spee...

Chilean mining is one of the main productive industries in country. It plays a critical role development Chile, so process planning an essential task achieving high performance. This involves considering mineral resources and operating conditions to provide optimal realistic copper extraction processing strategy. Performing modes operation requires significant effort information generation, ana...