The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
A Covering Array denoted by CA(N; t,k,??) is a matrix of size N ?? k, where each tuple of t columns has at least one time each of the vt combinations of symbols. The C As are combinatorial objects used for software testing and design of experiments in: biology, agriculture, medicine, etc. CAs can be constructed using heuristic algorithms, greedy search and algebraic procedures. The Hartman Style Rising...
E-learning systems have evolved moving from self-contained simple static contents, to the design and execution of learning scenarios described by educational modelling languages (EML) and the integration of Web services. But also carrying with implications such as dealing with long-lived learning activities and finishing activities without accomplishing their learning objectives. Advanced transactional...
Resource management is a key challenge that service providers must adequately face in order to ensure their profitability. This paper describes a proof-of-concept framework for facilitating resource management in service providers, which allows reducing costs and at the same time fulfilling the quality of service agreed with the customers. This is accomplished by means of virtualization. Our approach...
Educational Modelling Languages such as IMS LD, LAMS and LPCEL can be used to describe a learning process, but they depict different degrees of expressiveness to represent learning flows. This paper presents an evaluation of the expressiveness of these languages based over the analysis of different workflow control patterns including basic control flow, advanced branching and synchronization, and...
The test phase is one of the most important phases in software development. However, in practice, little research has been carried out in this field. Model-driven engineering is a new paradigm that can help to minimize test cases generation costs and can ensure quality of results. This paper presents the application of the MDE paradigm in the systematic, even automatic, generation of system test software.
As long as computers continue to get more CPU processing power, data centers need to optimize their power usage. We can do this and maintain the same complexity level as before by using virtualized environments. We can put a large number of small isolated servers, inside a large one and improve a large number of values like the wattage or power consumption, space usage, and resource usage. In this...
One of the primary tools for performance analysis of multi-tier systems are standardized benchmarks. They are used to evaluate system behavior under different circumstances to assess whether a system can handle real workloads in a production environment. Such benchmarks are also helpful to resolve situations when a system has an unacceptable performance or even crashes. System administrators and developers...
In this paper, we present an approach for software rejuvenation based on automated self-healing techniques that can be easily applied to off-the-shelf application servers. Software aging and transient failures are detected through continuous monitoring of system data and performability metrics of the application server. If some anomalous behavior is identified, the system triggers an automatic rejuvenation...
In this paper we present a new method for extracting the maximum parallelism or vector operations out of DO loops with tight recurrences using sequential programming languages. We have named the method Graph Traverse Scheduling (GTS). It is devised to produce code for shared memory multiprocessors or vector machines. When parallelizing, hardware support for fast synchronization is assumed. The method...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.