In this thesis, we will analyze some of the components of the learning environment of the learning tool Tomte. This tool adds components to the learning environment, which enables it to learn a large class of extended finite state machines, including register automata with fresh output values. We will describe the Determinizer, a component that transforms values of register automata with non-de...

Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a register only part of the register is used. We propose an instruction set extension to the ARM embedded processor which allows two data items to reside in a register as long as each of them can be stored in 16 bits. The...

Resource management is addressed using infrastructure as a service. On demand, the resource module effectively manages available resources. in cloud provisioning aided by prediction of central processing unit (CPU) and memory utilization. Using hybrid ARIMA–ANN model, this study forecasts future CPU The range values discovered utilized to make predictions, which useful for management. In traces...

In the Monte Carlo simulation of both lattice field theories and of models of statistical mechanics, identities verified by exact mean values, such as Schwinger-Dyson equations, Guerra relations, Callen identities, etc., provide well-known and sensitive tests of thermalization bias as well as checks of pseudo-random-number generators. We point out that they can be further exploited as control v...

BACKGROUND Familial hypercholesterolaemia (FH) is a genetic disorder with a high risk of developing premature coronary artery disease that should be diagnosed as early as possible. Several clinical diagnostic criteria for FH are available, with the Dutch Lipid Clinic Criteria (DLCC) being widely used. Information regarding diagnostic performances of the other criteria against the DLCC is scarce...

Verification of embedded systems software is crucial for providing flawless functionality of nowadays intelligent computer systems found in automobiles, elevators, aircrafts, medical devices, robots, etc. The common approach most widely used in industry relies on testing of defined corner cases. Although everyone is aware of the fact that only a very limited set of the test space can be covered...

In this paper, the suitability of implementing parallel homomorphic word searching on Intel Xeon Phi coprocessors is evaluated for the first time. Homomorphic encryption allows to produce a cryptogram that encrypts the result of applying some values to any function, even when the input values are encrypted and without access to the privatekey. For example, it is possible to search if any word o...

Code compression is a field where compression ratios between compiler-generated code and subsequent compressed code are highly dependent on decisions made at compile time. Most optimizations employed by compilers tend to focus on parameters such as program performance, minimizing resource dependencies and sometimes the option of reducing code size. This paper describes a post-compilation techni...

The current approaches for datacenter power management (workload scheduling, CPU speed control, etc) focus primarily on maintaining the air temperature surrounding servers to be within the manufacturer specified constraint. This is problematic since several CPUs may still be violating the on-chip thermal constraint thereby leading to reliability loss. The primary objective of this work is to de...