This work studies an innovate working hydraulic system design for mobile applications, referred to as flow control. The fundamental difference compared to load sensing systems is that the pump is controlled based on the operator’s command signals rather than feedback signals from the loads. This control approach enables higher energy efficiency since the pressure difference between pump and loa...

In this paper we show our results of analysing a real-life event log taken from a Dutch financial institute. The log contains 262.000 events and describes a personal loan application process. We mine the control-flow model using the fuzzy miner from the process mining tool Disco, and analyse different variants of the process statistically and with dotted charts. This allows us to conclude perfo...

INTERNATIONAL JOURNAL OF ENGINEERING SCIENCES & RESEARCH TECHNOLOGY A NOVEL APPROACH TO DETECT EQUIVALENT MUTANTS USING CONTROL FLOW GRAPH Rupinder Kaur*, Sanjay Tyagi * Research scholar,Department of Computer Science and Applications, Kurukshetra University, Kurukshetra, Haryana-136119 Assistant Professor,Department of Computer Science and Applications, Kurukshetra University, Kurukshetra, Har...

This extended abstract reports our on-going work on how to control and ensure smoothness of traffic flows using the sliding mode control theory. The preliminary results suggest that our approach is highly promising, and more results are expected in the near future. † 1 General Increase-Decrease Flow Control Model A key issue in control of packet flows is the increasedecrease (I-D) control syste...

What constitutes a good life? Few questions are of more fundamental importance to a positive psychology. Flow research has yielded one answer, providing an understanding of experiences during which individuals are fully involved in the present moment. Viewed through the experiential lens of flow, a good life is one that is characterized by complete absorption in what one does. In this chapter, ...

Next generation malware will by be characterized by the intense use of polymorphic and metamorphic techniques aimed at circumventing the current malware detectors, based on pattern matching. In order to deal with this new kind of threat, novel techniques have to be devised for the realization of malware detectors. Recent papers started to address such an issue and this paper represents a furthe...

Self-modifying code is notoriously hard to understand and therefore very well suited to hide program internals. In this paper we introduce a program representation for this type of code: the state-enhanced control flow graph. It is shown how this program representation can be constructed, how it can be linearized into a binary program, and how it can be used to generate, analyze and transform s...

A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated taskinstances may not be statically determined. Therefore, test-cases generated by our previously proposed method may not be realized in execution of the programs. This paper proposes an enhanced test-case generation method. Concurrent prog...

Program Slicing is the process of deleting statements in a program that do not affect a given set of variables at a chosen point in the program. In this paper the first parallel slicing algorithm for static program slicing is introduced. It is shown how the control flow graph of the program to be sliced is converted into a network of concurrent processes, thereby producing a parallel version of...

We present a generalisation of King’s symbolic execution technique called compact symbolic execution. It proceeds in two steps. First, we analyse cyclic paths in the control flow graph of a given program, independently from the rest of the program. Our goal is to compute a so called template for each such a cyclic path. A template is a declarative parametric description of all possible program ...