Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers ... Computer Science and General Issues)

Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers ... Computer Science and General Issues) Review

See more picture

Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers ... Computer Science and General Issues) Feature

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008.

The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Check price now

Rerate Products

Customer Review

Quality of Service in Multiservice IP Networks: International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings (Lecture Notes in Computer Science)

Quality of Service in Multiservice IP Networks: International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings (Lecture Notes in Computer Science) Review

See more picture

Quality of Service in Multiservice IP Networks: International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings (Lecture Notes in Computer Science) Feature

This book constitutes the refereed proceedings of the International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2001, held in Rome, Italy, in January 2001. The 26 revised full papers presented together with two invited papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on connection admission control, statistical bounds, novel architectures for QoS provisioning, QoS for multicast traffic, source modeling, IP telephony, router and switch algorithms, multicast routing, differentiated services, and QoS in wireless networks.

Check price now

Rerate Products

Customer Review

Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, ... Applications, incl. Internet/Web, and HCI)

Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, ... Applications, incl. Internet/Web, and HCI) Review

See more picture

Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, ... Applications, incl. Internet/Web, and HCI) Feature

This book constitutes the thoroughly refereed post-proceedings of the First Automotive Software Workshop, ASWD 2004, held in San Diego, CA, USA in January 2004. The 10 revised full papers presented were carefully reviewed and selected from 26 lectures held at the workshop that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain.

Check price now

Rerate Products

Customer Review