The choice of which factors to choose to vary in a simulation to effect a change in the measure of interest is difficult. Many factors are a priori judged not to effect the measur...
This paper presents a series of tools for the extraction of specialized corpora from the web and its subsequent analysis mainly with statistical techniques. It is an integrated sy...
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...