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.
An efficient, static type resolution tool is presented. The tool is implemented on top of srcML, an XML representation of source code and abstract syntax. The approach computes the type of every identifier (i.e., function names and variable names) within the provided body of code. The result is a dictionary that can be used to lookup the type of each name. Type information includes metadata such as...
Memory access tracing is aprogram analysis technique with many different applications, ranging from architectural simulation to (on-line) data placement optimization and security enforcement. In this article we propose a memory access tracing approach based on static x86 binary instrumentation. Unlike non-selective schemes, whichinstrument all the memory access instructions, our proposal selectively...
Architectural self-organisation, in which different configurations of software modules are dynamically assembled based on the current context, has been shown to be an effective way for software to self-optimise over time. Current approaches to this rely heavily on human-led definitions: models, policies and processes to control how self-organisation works. We present the case for a paradigm shift...
The MapReduce framework is being increasingly used in the scientific computing and image/video processing fields. Relevant research has tailored it for the field's specificities but there are still overwhelming limitations when it comes to temporal locality-sensitive computations. The performance of this class of computations is closely tied to an efficient use of the memory hierarchy, concern that...
To benefit from utility-driven and rule-based approaches to self-adaptation, we propose combining both by defining and linking the utility function and the adaptation rules in a pattern-based way at the architectural level.
Empowering knowledge workers (KWs) to act more efficiently and flexibly in unpredictable situations is the main focus of Adaptive Case Management (ACM), although ad hoc actions at runtime shall not violate the consistency and compliance of an on-going case. In this paper we discuss how business constraints stemming from regulatory laws or standards are transferred from textual sources to formal specifications...
Real-world applications exhibit time varying traffic volumes and patterns (structures). However, regular or application specific networks-on-chip (NoC) optimized at designtime are predominantly developed either under the assumption of time independent application structures and dynamics, or without considering them at all. The limited adaptability of the monolithic NoCs to spatio-temporal application...
An adaptive software has the ability of modify its own behavior due to changes in its surround context. Despite the importance of these kind of systems, the development of adaptive systems is a complex, error prone, and time consuming task. Several authors have defined a set of challenges to consider when software engineers develop adaptive systems. Although there are several approaches to address...
Service has become the basic way to access and enlarge the capability of all kinds of infrastructure. But now, service-based software system based on SOA lacks of runtime iterative re-aggregation process management and exception handling. And current approaches can't align services aggregation with requirements to overcome the runtime exceptions and deal with services resource insufficiency and context...
With limited experiment devices and high arrival rate of requests, it is difficult for a remote control laboratory to satisfy all experiment requests within short period of time. This paper proposes a general device sharing scheme based on concurrent time-sharing to solve such problem in embedded experiments scenario. It has been verified that, under certain preconditions, such approach is feasible...
Situation identification has become a major issue for situation-aware ubiquitous learning environments. The identification process aims to infer learner's situation by aggregating detected context information pieces. Most recent situation identification approaches are basically focused on crisp ontological modelling and reasoning. Given the fact that crisp ontology is not able to deal with context...
Masses of sensors, actuators are being deployed in our daily environments to provide innovative services for such spaces as parking lots, buildings,, railway networks. Yet, to realize the full potentials of these sensor network infrastructures, services need to be developed. Service development raises a number of challenges due to existing approaches that are often low level, network/hardware-centric...
With the emergence of Docker, it becomes easier to encapsulate applications and their dependencies into lightweight Linux containers and make them available to the world by deploying them in the cloud. Compared to hypervisor-based virtualization approaches, the use of containers provides faster start-ups times and reduces the consumption of computer resources. However, Docker lacks of deployability...
Aspect-Oriented Programming (AOP) supports the separation of concerns cutting across the implementation of a software application in order to avoid scattering and tangling. We focus on the integration of this paradigm into the development of real-time systems. AOP is based on the weaving process to automatically integrate separately-created segments of code (specified by aspects), into the application...
The trend of grid computing available on the Internet has generated challenges to the allocation of resources provided by this type of environment. Considering the user's satisfaction, many of these challenges can be solved by the quality of experience paradigm that takes into account several context parameters. Considering the resources utilization, the quality of context paradigm can be used to...
Adaptations need to be considered at design-time (adapting complex systems to new technologies, reengineering due to new regulations etc.), but also during runtime (e.g. new emerging functional and non-functional requirement, context-specific decisions). Objective: I use SPLs as a strategy for coping with uncertainty and adapting to change, where conventionally change occurs in the requirements of...
The trend of grid computing available on the Internet has generated challenges to the allocation of resources provided by this type of environment. Once a grid computing is context sensitive system, so its possible to deal jointly with user's satisfaction and system performance. In this sense the quality of context can be used to process the context informations and provide several management decisions...
Survey style or overview measurements are important for performance analysis and monitoring. Here, the goal is to capture sufficient performance information of the target to enable identification and assessment of the performance relevant regions. A full measurement typically exhibits too much overhead and analysts must trade-off data quality with measurement overhead to achieve a suitable performance...
Many new cloud-focused applications such as deeplearning and graph analytics have started to rely on the highcomputing throughput of GPUs, but cloud providers cannotcurrently support fine-grained time-sharing on GPUs to enablemulti-tenancy for these types of applications. Currently, schedulingis performed by the GPU driver in combination with ahardware thread dispatcher to maximize utilization. However,...
This paper discusses an implementation of runtime verification for embedded software running on a System-on-Programmable-Chip (SoPC) composed of a micro-controller and a FPGA. The goal is to verify at runtime that the execution of the software on the micro-controller conforms to a set of properties. To do so, a minimal instrumentation of the software is used to send events to a set of monitors implemented...
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.