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.
Advances in node-level architecture and interconnect technology needed to reach extreme scale necessitate a reevaluation of long-standing models of computation, in particular bulk synchronous processing. The end of Dennard-scaling and subsequent increases in CPU core counts each successive generation of general purpose processor has made the ability to leverage parallelism for communication an increasingly...
Lemmas on demand is an abstraction/refinement technique for procedures deciding Satisfiability Modulo Theories (SMT), which iteratively refines full candidate models of the formula abstraction until convergence. In this paper, we introduce a dual propagation-based technique for optimizing lemmas on demand by extracting partial candidate models via don't care reasoning on full candidate models. Further,...
The ability to manage quality of service (QoS) and to provide service differentiation has been very important in a wide range of computing environments [4], [3], [5]. In modern operating systems, multiple applications share processor cores and take turns to execute. Each application typically runs for a while before its CPU time-slice (allocated quantum) expires or the execution is blocked due to...
Increasing demands on web user interface (UI) usability, adaptability, and dynamic behavior drives ever growing development and maintenance complexity. Conventional design approaches scale poorly with such rising complexity, resulting in rapidly increasing costs. Much of the complexity centers around data presentation and processing. Recent work greatly reduces such data complexity through the application...
Cloud data centers leverage virtualization to share commodity hardware resources, where virtual machines (VMs) achieve fault isolation by containing VM failures within the virtualization boundary. However, hypervisor failure induced by soft errors will most likely affect multiple, if not all, VMs on a single physical host. Existing fault detection techniques are not well equipped to handle such hypervisor...
To face the advent of multicore processors and the ever increasing complexity of hardware architectures, programming models based on DAG-of-tasks parallelism regained popularity in the high performance, scientific computing community. In this context, enabling HPC applications to perform efficiently when dealing with graphs of parallel tasks that could potentially run simultaneously is a great challenge...
The design and implementation of a multitasking runtime system for mixed-architecture applications on a tightly coupled FPGA-CPU platform is presented. The runtime environment and the user applications assume an underlying machine that encompasses multiple computing architectures within a unified machine model. Using this model, a unified process scheduling mechanism was developed that enables concurrent...
SOA has been seen as one of the main approaches for managing "system of systems" (SoS) i.e. Large scale IT landscapes. The extension of SOA to include the concept of process orientation could be the next evolutionary step for SOA. Before starting to define reference architectures for process-oriented SOA in SoS it would be advantageous to learn more about the current state of process handling...
To evolve object-oriented code, one must understand both the code structure in terms of classes, and the runtime structure in terms of abstractions of objects that are being created and relations between those objects. To help with this understanding, static program analysis can extract heap abstractions such as object graphs. But the extracted graphs can become too large if they do not sufficiently...
This paper demonstrates how we applied a constraint-based dynamic adaptation approach on CarDemo, a traffic management system. The approach allows domain experts to describe the adaptation goals as declarative constraints, and automatically plan the adaptation decisions to satisfy these constraints. We demonstrate how to utilise this approach to realise the dynamic switch of routing services of the...
While most microkernel-based systems implement non-essential software components as user space tasks and strictly separate those tasks during runtime, they often rely on a static configuration and composition of their software components to ensure safety and security. In this paper, we extend a microkernel-based system architecture with a Trusted Platform Module (TPM) and propose a verification mechanism...
Data provenance is useful for data analysis, including auditing, debugging, evaluating the trust and quality, access control and so on. For the scale of data keep increasing, data provenance also become large and constantly growing, and it brings challenges to the efficiency of provenance tracking which is the important base of data analysis. This paper proposes a kind of dependency view based on...
Sampling is becoming increasingly important for performance analysis as an alternative to or enhancement of instrumentation based measurement methods, although instrumentation is still necessary to guarantee capture of specific events, such as communication calls. Typically, sampling is superior to instrumentation in terms of overhead as the sampling frequency can be controlled. However, sampling...
NestedMP: Taming Complex Configuration Space of Degree of Parallelism for Nested-Parallel Programs. It is beneficial to exploit multiple levels of parallelism for a wide range of applications, because a typical server already has tens of processor cores now. As the number of cores in a computer is increasing rapidly, efficient support of nested parallelism will be more important. However, compared...
This paper tackles the issue of ambient systems adaptation to users' needs while the environment and users' preferences evolve continuously. We propose the adaptive multi-agent system Amadeus whose goal is to learn from users' actions and contexts how to perform actions on behalf of the users in similar contexts. However, considering the possible changes of users preferences, a previously learnt behaviour...
In today's world the competitiveness of an organization is decided by its ability to adapt to dynamically changing environments. Goal-based Social BPM (SBPM) has been proposed to overcome the rigid and sequential nature of traditional workflow and BPM models. This paper discusses the main components of this SBPM framework which are the role assignment and process recommendation mechanisms, explaining...
Oriented Programming is the supplement with OOP, which separate the core business logic from general supported service in software development. The concepts of AOP and the technology characteristics of .NET framework are introduced, then this paper analyzed the implement mechanism of AOP in .NET framework, finally an approach to implement AOP Framework in .NET framework and a corresponding example...
This article describes the first version of a tool designed to infer the network characteristics of JADE-based multiagent systems. The rationale behind the tool is that systems in general and multiagent system in particular, often have some hidden dynamics that contribute to the emergence of desired and undesired characteristics. Traditional sniffing tools simply display the message exchange. The...
In order to ensure accessibility of user interface, it is highly recommended to elaborate a generic solution which is compliant to disable user requirements and best accommodates their particular needs. Therefore, we propose, in this paper, a generic MDA-based solution of adapting application's interface to accessibility context. It consists of generating, automatically, accessible adapted User Interfaces...
Policies are rules that govern the choices in behavior of a system. Policy based management aims at supporting dynamic adaptability of behavior by changing policy without recoding or stopping the system. The common accepted architecture of such systems includes two main management agents: the Policy Decision Point that analyses requests and set decisions based on a policy and the Policy Enforcement...
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.