Static analysis requires the full knowledge of the overall program structure. The structure of a program can be represented by a Control Flow Graph (cfg) where vertices are basic blocks (bb) and edges represent the control flow between the bb. To construct a full cfg, all the bb as well as all of their possible targets addresses must be found. In this paper, we present a method to resolve dynam...

This study investigates dynamic & static behaviour of automotive engine crankshaft with the specific conditions. This work investigates the coupled modes, including, couple torsional flexural vibration and coupled longitudinal flexural vibration for non rotating engine crankshaft. The finite element models of this generally used are in two categories beam elements and solid elements and in this...

With due attention to the fact that the local and foreign vehicle industries are changing and modifying the previous designs in order to produce new designs, the components of self-propelled are to be differently analyzed. Static and dynamic analysis is one of them. In this paper, chassis and body of a o-457 bus were studied and analyzed under finite element method (using ANSYS).This process wa...

One of the important issues in the study of steel frames is to find a suitable formulation for semi-rigid connections. In this paper, the explicit stiffness matrix for a two-dimensional beam-column element having end-flexibilities is derived. The effects of the lateral uniformly distributed load on the deflection are considered. Both tensile and compressive axial loads are also taken into accou...

Over the past half-century, the progress of travel behavior research and travel demand forecasting has been spear headed and continuously propelled by the micro-economic theories, specifically utility maximization. There is no denial that the travel demand models today are sophisticated and in most cases capable of forecasting the main stream of travel behavior in urban areas. However, a quick ...

We detect interaction patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classified potential pattern instances according to the evidence our analyses provide. We discuss our approach with the Observer Pattern as an example. Our Java implementation analyzes Java programs. We evaluated our approach by self applying the to...

Parallel programming is essential for reaping the benefits of parallel hardware, but it is notoriously difficult to develop and debug reliable, scalable software systems. One key challenge is that modern languages and systems provide poor support for ensuring concurrency correctness properties—such as atomicity, sequential consistency, and multithreaded determinism—because all existing approach...

In this paper we present static and dynamic studies of duplicate and near-duplicate documents in the Web. The static and dynamic studies involve the analysis of similar content among pages within a given snapshot of the Web and how pages in an old snapshot are reused to compose new documents in a more recent snapshot. We ran a series of experiments using four snapshots of the Chilean Web. In th...

Device drivers are Operating Systems (OS) extensions that enable the use of I/O devices in computing systems. However, studies have identified drivers as an Achilles’ heel of system reliability, their high fault rate accounting for a significant portion of system failures. Consequently, significant effort has been directed towards improving system robustness by protecting system components (e.g...

The Swedish Defence has a need of developing new analysis methods for intersystem interference. FOI performs a number of research activities in order to support this development by ensuring that new dynamic communication systems can be handled in a future analysis tool. A key issue is the ability to consider the total electromagneticinterference environment within the receiver band of a wireles...