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.
This paper presents a solution for image/video quality enhancement, with inputs being low quality nighttime images/videos and outputs being high quality ones. The developed approach here relies on context-based fusion, a group of solutions that need one more background image to support them, and thus, obtaining high quality results in comparison with other solutions. However, the major downside of...
The promotion of the students' transversal or generic competencies is one of the key points of the new European educational framework. Today, companies hiring graduate students are not only concerned about their technical background but also transversal skills and competencies. Hence, it becomes necessary to adopt measures to promote and cultivate these competencies among students. The students' involvement...
There is a clear, outstanding need for new security mechanisms that allow data to be managed and controlled within the cloud-enabled Internet of Things. Towards this, we propose an approach based on Information Flow Control (IFC) that allows: (1) the continuous, end-to-end enforcement of data flow policy, and (2) the generation of provenance-like audit logs to demonstrate policy adherence and contractual/regulatory...
The Network Functions Virtualization (NFV) paradigm is the most promising technique to help network providers in the reduction of capital and energy costs. The deployment of virtual network functions (VNFs) running on generic x86 hardware allows higher flexibility than the classical middleboxes approach. NFV also reduces the complexity in the deployment of network services through the concept of service...
Hardware reconfigure model provides flexibility to same hardware for different application. Coarse-grained Architecture (CGRA) is best example of the reconfigurable system. This paper proposed and configuration memory based CGRA system which can change the hardware Configuration dynamically according to applications. Configuration memory will consist of multiple such DFGs that will configure the hardware...
An emerging trend in system design is to implement complex system management functions in firmware (FW). This changing design scenario requires support for verifying FW in the context of its hardware (HW) environment. As shown in previous work, there is value in a unified HW-FW model for driving the verification tasks. This model can help identify specific commonly-occurring interaction patterns between...
Fully distributed memory multi-processors (MPSoC) implemented in multi-tiled architectures are promising solutions to support modern sophisticated applications, however, reliability of such systems is always an issue. As a result, system-level solution like task migration keeps its importance. Transferring the execution of a task from one tile to another helps keep acceptable reliability of such systems...
Heterogeneous computing is a promising approach to tackle the thermal, power and energy constraints posed by modern desktop and embedded computing systems. However, by also allowing the migration of application threads to the most appropriate cores, significant performance gains and energy efficiency levels can also be attained. Nevertheless, the considerably large overheads usually imposed by software-based...
Visualization of logic computations (i.e., by sharing a fixed function across distinct data streams) provides a means to effectively utilize hardware resources by context switching the logic to support multiple data streams of computation and to improve the total throughput of all streams. Context switching allows the pipeline stages of the logic to be fully utilized when feedback is present and to...
One of the biggest challenges faced by Computer Science undergraduate courses is to create challenging and stimulating learning environment for their students. As a part of Software Engineering focused on innovation, Agile development allows teachers to experiment new ways to transform their students' knowledge. Practitioners of this discipline often prefer to use participative approaches than the...
We use a functional framework designed for parallel programming with linear algebra applications to leverage the computing power of heterogeneous hardware. Our work is performed in the context of the pure functional programming language Haskell. The framework allows the manipulation of arbitrary representations for matrices and the definition of multiple implementations of BLAS operations based on...
Recently, high-speed space optical communication requires real-time hardware operation instead of slow software operation on a processor. For such purposes, field programmable gate arrays (FPGAs) are extremely useful. In such hardware accelerations, a software algorithm is frequently implemented onto an FPGA as a parallel operation. However, in such implementations, many regions of the configuration...
This paper describes an industrial experience about the realization of an automated test system (OATS) currently used during the OpenOCD development process. The experience has involved concepts about debuggers and software testing, and the exploitation of continuous integration techniques in order to automatically build and test software releases in an industrial context.
Wide vector units in Intel's Xeon Phi accelerator cards can significantly boost application performance when used effectively. However, there is a lack of performance tools that provide programmers accurate information about the level of vectorization in their codes. This paper presents VecMeter, an easy-to-use tool to measure vectorization on the Xeon Phi. VecMeter utilizes binary instrumentation...
Migration to multicore is inevitable. To harness the potential of this technology, embedded system designers need to have available operating systems (OSes) with built-in capabilities for multicore hardware. When designed to meet real-time requirements, multicore SMP (Symmetric Multiprocessing) OSes not only face the inherent problem of concurrent access to shared kernel resources, but still suffer...
The long-term goal of the work presented here is the automatic instrumentation of C programs with temporal property checkers to perform the runtime verification that these programs behave as expected, both for debugging purposes and for security or safety-oriented monitoring. This paper describes our first results towards this objective. To give requirements engineers or software developers the possibility...
Emerging services applications operate on vast datasets that are kept in DRAM to minimize latency and to improve throughput. A considerable part of them have irregular memory references and then caused the serious locality issue. This paper presents a Software-based LIght weight Multithreading framework, SLIM, to conquer this problem for commodity hardware, which still keeps the simple style of multithreading...
Most tablet devices usually suffer from the "palm rejection problem", where unintended multiple touches while writing often cause erroneous application behavior and unsightly imprints on the display. We designed a real-time implicit palm rejection algorithm based on hand model filters and touch characteristics. We focus our approach on accurately determining the context of the touch in real-time...
Todays context frameworks provide solutions for context mechanisms for individual applications only: context aware working spaces, easier mobile development frameworks or higher-level context abstractions. RestContext solves this problem with a service logically separating context as a set of information that can characterize a situation from further context interpretation mechanisms. RestContext...
Current timing analysis techniques can be broadly classified into two families: deterministic timing analysis (DTA) and probabilistic timing analysis (PTA). Each family defines a set of properties to be provided (enforced) by the hardware and software platform so that valid Worst-Case Execution Time (WCET) estimates can be derived for programs running on that platform. However, the fact that each...
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.