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.
We developed a push-content delivery method for integrated broadcasts on the Internet. To provide services that are highly synchronized between the broadcast programs and push content, we propose a new push-content delivery method that enables simultaneous reception of push content on all terminals.
Atomicity races in ARINC 653 applications are a kind of concurrency bugs which causes nondeterministic behaviors by parallel processes. This paper presents a tool, called AR653, to dynamically detect atomicity races. The tool monitors only synchronization operations and access to shared resources, and analyzes the relation of synchronizations to report atomicity races through a locking discipline...
Parallel, scientific applications running on massively parallel supercomputers commonly produce large numbers of large data files. While parallel filesystems improve the performance of file generation, post-processing activities such as archiving and compressing the data or performing routine format transformations are often run sequentially (and therefore slowly), squandering the supercomputer's...
Currently, vehicular ad-hoc network (VANET) is one of the most successful mobile ad-hoc network (MANET) commercially. Vehicles use two kind of messages named Safety Alert Message in order to advertise their change of status. One of them is periodic safety message (PSM), the other is event driven safety message (EDS) which occurs as soon as the vehicles' status change abnormally. (i.e. change in speed...
In sensor-based systems, the correlation of sensor outputs in time is one of the key factors determining the success of the signal process performed on these outputs. To provide correlation in time, analog-digital convertors in a system must perform synchronous conversion. Although ΣΔ analog-digital convertors are widely used in sensor-based systems, due to their intrinsic hardware topology they can't...
Over past few years, there has been a huge advancement in terms of Learning Management System (LMS) and online education. Behind this growth, the major reasons are the availability of open source LMS and their ease of customization. This paper proposes some new features for these pre-existing LMS, especially Moodle, such that the same LMS could also function as College / University Management System...
Distributed software systems are characterized by increasing autonomy. They often have the capability to sense the environment and react to it, discover the presence of other systems and take advantage of their services, adapt and re-configure themselves in accordance with the internal as well as the global state. Testing this kind of systems is challenging, and systematic and automated approaches...
Model-driven engineering is a software development method to model applications at a high level of abstraction and introduce platform specific details automatically using model transformations. Similarly, models specified in human-readable languages can be mapped automatically onto languages that support the analysis of formal properties. In an industrial context, the transformations that automate...
Correlative minimum shift keying (MSK), a second order polynomial modulation scheme known as tamed frequency modulation (TFM), is a constant envelope type of modulation with a perfect peak to average power ratio (PAPR), besides the property of low out of band power. We apply the linearized TFM to the single carrier transmission with frequency domain equalization (SC/FDE) concept. We then obtain a...
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.