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.
The following topics are dealt with: fault effects and self-checking techniques; BIST; technology robustness; reliability; innovative systems; innovative design; robustness; errors and latchup mitigation; secure circuits; fault detection; analog circuits; reliable systems; dependability analysis; and checkers and error correction.
The Symposium brings together people from industry and academia to discuss and present the latest research on the analysis, understanding, maintenance and evolution of software Web Systems.
The following topics are dealt with: heterogeneous scheduling; stabilization algorithms; availability and security; MPI&shared memory; scheduling and resource management; parallel and distributed algorithms; Web performance; data dissemination in sensor networks; QoS in interconnection networks; streaming; sensor network deployment; power-aware protocols; grids; multiprocessor scheduling; multicore...
SYNASC aims to stimulate the interaction between the two scientific communities of symbolic and numeric computing, with the purpose of exhibiting interesting applications of these areas both in theory and in practice. The choice of this topic is motivated by the belief of the organizers that the dialogue between the two communities is very necessary in order to make significant progress in making...
The following topics are dealt with: adaptive computing; architectures; design evolution; distributed systems design; embedded and real-time software systems; formal methods; model-based system design; modeling and analysis of complex systems; product-family models and architectures; reliability, safety, dependability, and security; system on a chip; system assessment, testing, and metrics; verification...
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.