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.
Nowadays, the average users owns two or more Web-enabled devices (smart phones, personal computers and tablets), while more are coming: watches, cars, glasses. While responsive Web applications can adapt to the specific device (e.g., screen size or input method) on which they are deployed, they only provide limited support when one user connects from more than one device at the same time. In this...
The activities of triggering by the arrival of time are one of features for the time-triggered automotive control systems. To motivate this property, this paper presents an efficient approach for modeling and analyzing of the automotive control system using FOCUS schemes. In case of modeling, the FOCUS is used to develop a formal framework and model the individual component within the FlexRay communication...
This paper discusses how several concurrent program verification techniques can be combined in a layered approach, where each layer is especially suited to verify one aspect of concurrent programs, thus making verification of concurrent programs practical. At the bottom layer, we use a combination of implicit dynamic frames and CSL-style resource invariants, to reason about data race freedom of programs...
Transactional memory (TM) has become progressively widespread especially with hardware transactional memory implementation becoming increasingly available. In this paper, we focus on Restricted Transactional Memory (RTM) in Intel's Haswell processor and show that performance of RTM varies across applications. While RTM enhances performance of some applications relative to software transactional memory...
Transactional memory (TM) has become progressively widespread especially with hardware transactional memory implementation becoming increasingly available. In this paper, we focus on Restricted Transactional Memory (RTM) in Intel's Haswell processor and show that performance of RTM varies across applications. While RTM enhances performance of some applications relative to software transactional memory...
This paper discusses how several concurrent program verification techniques can be combined in a layered approach, where each layer is especially suited to verify one aspect of concurrent programs, thus making verification of concurrent programs practical. At the bottom layer, we use a combination of implicit dynamic frames and CSL-style resource invariants, to reason about data race freedom of programs...
NHK has been studying broadcast-broadband synchronization as a technology for advanced integrated broadcast-broadband services. This paper proposes a system design for the synchronized multi-screen presentation of video streams from broadcast and broadband that are displayed on a TV and a mobile device respectively. The system uses the synchronization function defined in the Hybridcast v2.0 specifications...
Upon engaging the reverse gear in the car, very first information driver needs to know, whether is it really safe to take the reverse? Blind spots in car that result in rear view obstruction make this difficult. Advanced Driver Assistance Systems (ADAS) equip drivers with an application — Rear View Camera Systems (RVCS) to resolve this. There are simple RVCS which just show the rear view on the display...
There has been a continuously growing interest in radio frequency identification (RFID) and more recently, in <bold> computational</bold> RFID, i.e. battery-less sensors that piggyback sensed information, rather than a constant ID bit stream, utilizing Gen2, the physical layer of commercial RFID systems. This work offers a complete software-defined radio (SDR) reader with 1) coherent detection...
This paper describes the co-simulation methodology adopted for hardware verification of a next generation network packet processing engine (Advanced I/O Processor or AIOP) utilizing virtual prototype models developed originally for software verification. Though co-simulation strategies are common in verification of stand-alone processors, they have seldom been used for mega-modules and SoC, which...
Many open source software projects deliver code continuously. How are the project's requirements updated? What about the traceability information of those requirements? To answer these questions, this paper reports our initial analyses of the iTrust medical care project's all publicly accessible releases. The results show that, as iTrust releases two versions per year, the code growth is smooth but...
While debugging is one of the most time consuming tasks software developers perform, the tool support, especially for distributed applications, is lacking according to many professional developers. The Visual Debugger is an approach to provide an easy-to-use tool which gives software developers an abstract view on the current state of their application in debugging sessions. While similar tools for...
Software rejuvenation is a technique to prevent the aging of running software. Recently, benefits of software rejuvenation in high-performance computing (HPC) areas have received attention. In time warp-based parallel discrete event simulation (PDES) systems, it is important to improve performance to equalize simulation progress in processes. In this article, we consider a number of schemes for time...
In this study, real-time software defined radio implementation of the point to point multiple input multiple output (MIMO) orthogonal frequency division multiplexing (OFDM) system using pre-fast Fourier transform (pre-FFT) beamforming technique in both the transmitter and the receiver is done for the first time in the literature. By taking benefit of the MIMO system's spatial multiplexing property,...
We present Timing Diagram Testing for Verification & Validation (T4V, which is red as "tav") for Industrial Automation Systems. T4V is our approach to address the problem of generating test sequence to verify & validate (V&V) industrial automation systems software. T4V aims to solve this problem by generating test sequences from the timing diagrams of software specifications...
Today, one of the most significant fields to be developed by the technological community is the human-machine interface. This study concerns with developing more understandable, efficient and reliable ways to communicate with machines. In this work a PC-based touch-screen, Human-Machine Interface is designed to build up the Graphical User Interface (GUI) to command the behavior of a lifting mechanism...
Kinect™, a low-cost multimedia sensing device, has revolutionized human computer interaction (HCI) by making various applications of human activity tracking affordable and widely available. Often multiple Kinects are used in imaging applications to improve the field of view, depth of field and uni-directional vision of a single Kinect. Unfortunately, multiple Kinects lead to IR Interference Noise...
Nowadays concurrent programming is in large demand. The inherent support for concurrency is therefore increasingly important in programming languages. As for C++, an abundance of standard concurrency constructs have been supported since C++11. However, to date there is little work investigating how these constructs are actually used in developing real software. In this paper, we perform an empirical...
The receiver system is an important part of FAST (Five-hundred-meter Aperture Spherical Radio Telescope) and plays a key role in determining the performance of the telescope. The receiver design requires synchronization among the digital instruments and accurate timestamp, because time synchronization of astronomical data before and after it is recorded and processed is of vital importance for the...
Employing software timestamps is an effective solution for clock synchronization for networks which are already well established, and cannot be replaced at once by devices supporting hardware timestamps. The synchronization performance, on the other hand, with software timestamps is very low when compared with hardware timestamping-based solutions. This work proposes a novel approach to improve the...
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.