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 explores and evaluates two approaches designed to improve the performance of digital signal processing within optical coherency tomography systems. Such systems rely on high-speed cameras or fast photo detectors to capture data, that is then processed using established techniques (typically Fourier transforms) and results presented to the user. In certain applications of these systems,...
This paper presents efficient mechanisms for the direct implementation of formal models of highly concurrent dynamic systems. The formalisms captured are CSP (for concurrency) and B (for state transformation). The technology is driving the development of occam-pi, a multiprocessing language based on a careful combination of ideas from Hoare's CSP (giving compositional semantics, refinement and safety/liveness...
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.