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.
With the advent of multicore processors, there is a trend towards multithreading to take advantage of parallel computing resources. Due to greatly increased complexity, programmers need effective testing methodology that can thoroughly test multithreaded programs. There has been significant progress based on symbolic execution that attempts to exhaustively explore all the intra-thread paths and inter-thread...
Debugging multithreaded software is challenging because the basic assumption that underlies sequential software debugging, i.e. the program behavior is deterministic under fixed inputs, is no longer valid due to the nondeterminism brought by thread scheduling. In this paper, we propose a proactive debugging method to restore this basic assumption so that programmers can debug multithreaded programs...
Feature selection is the basic of the state evaluation and fault diagnosis, and it is difficult to get the reasonable token feature. In the paper, an intelligence method of state feature system establishment and optimize has been studied. Diesel engine was illustrated in the paper, the signal of diesel engine has been collected when the piston ring and airtight ring working at different state, then...
This paper introduces a conduction interference test apparatus. It mainly introduces the conduction interference testing circuit-LISN and hardware design of the function circuit, such as: L/N line selection circuit. limiter circuit and the interface circuit between RS232 and computer.
In metallurgy, chemical industry and medicine production, etc plants, batching precision determines final quality of their production. To ensure the high quality of the production and enhance competitive power of these companies, it is very important that a high precise batching control system to fit for an automation producing lines was studied. In this paper, a networked and intellectual precise...
Many algorithmic efforts have been made to address technical issues in designing a streaming media caching proxy. Typical of those are segment-based caching approaches that efficiently cache large media objects in segments which reduces the startup latency while ensuring continuous streaming. However, few systems have been practically implemented and deployed. The implementation and deployment efforts...
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.