Learn More
Energy efficiency is key in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to make the right design decisions. Here, not only the CPU but also the external memory plays a very important role. Power simulators offer flexibility and allow a detailed view on the sources of(More)
Although the slicing of programs written in a high-level language has been widely studied in the literature, very little work has been published on the slicing of binary exe-cutable programs. The lack of existing solutions is really hard to understand since the application domain for slicing binaries is similar to that for slicing high-level languages. In(More)
This paper uses a projection theory of slicing to formalize the definition of executable dynamic and forward program slicing. Previous definitions, when given, have been operational, and previous descriptions have been algorith-mic. The projection framework is used to provide a declarative formulation in terms of the different equivalences preserved by the(More)
The widespread interest in program slicing within the source code analysis and manipulation community has led to the introduction of a large number of different forms of slicing. Each preserves some aspect of a program's behaviour and simplifies the program to focus exclusively upon this behaviour. In order to understand the similarities and differences(More)
This paper presents a theory of dynamic slicing, which reveals that the relationship between static and dynamic slicing is more subtle than previously thought. The definitions of dynamic slicing are formulated in terms of the projection theory of slicing. This shows that existing forms of dynamic slicing contain three orthogonal dimensions in their slicing(More)
Energy efficiency is a top requirement in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to make the right design decisions. Power simulators offer flexibility and allow a detailed view on the sources of power consumption. In this paper we present XEEMU, a fast,(More)
Rural areas cover 90% of the EU's territory and half of the Europeans live in these areas. It is of high priority to ensure the full participation right of these people in the information society, which means considering them during the newest developments (such as AAL) as well. In this paper, we envision a PDA-centered medical sensor system setup that is(More)
Hypospadias is the most common congenital malformation of the male external genitalia. After the heart and circulatory system, it is the second most common developmental disorder in males. It is due to a midline fusion defect of the male urethra, which results in a misplaced urethral meatus. Hypospadias may be distal, medial and proximal. It may occur as an(More)
The widespread interest in program slicing within the source code analysis and manipulation community has led to the introduction of a large number of different slicing techniques. Each preserves some aspect of a program's behaviour and simplifies the program to focus exclusively upon this behaviour. In order to understand the similarities and differences(More)