Fluid–structure interaction (FSI) analysis is often highly computationally expensive, making it infeasible to conduct iterative aeroelastic design studies or rigorous optimizations. This work develops a new method for that can be more efficient in the determination of final structure/fluid equilibrium configurations, especially during where attributes structure may altered but those flow are un...

In this paper we investigate XSB-Prolog as a static analysis engine for data represented by medium-sized graphs. We use XSB-Prolog to automatically identify function dependencies in the Linux Kernel— queries that are difficult to implement efficiently in a commodity database and that developers often have to identify manually. This project illustrates that Prolog systems are ideal for building ...

We employ static analysis to examine monotonicity of functions defined over lattices in a λ-calculus augmented with constants, branching, meets, joins and recursive definitions. The need for such a verification procedure has recently arisen in our work with a static analyzer generator called Zoo, in which the specification of static analysis (input to Zoo) consists of finite-height lattice defi...

This paper describes work carried out to reduce the pessimism in distributed systems timing analysis. The starting point for the paper is the need to prove that the timing properties of a system are met in an efficient and effective manner. The paper shows that an exact approach to the analysis can be intractable, and other approaches are too pessimistic. Using extensive simulation, based on re...