Numerical Validation in Current Hardware Architectures International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers /

Numerical Validation in Current Hardware Architectures International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers /

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Cuyt, Annie (Επιμελητής έκδοσης), Krämer, Walter (Επιμελητής έκδοσης), Luther, Wolfram (Επιμελητής έκδοσης), Markstein, Peter (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Σειρά:	Lecture Notes in Computer Science, 5492
Θέματα:	Computer science. Computer Science. Computer Science, general.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Numerical Software with Result Verification International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers /
Έκδοση: (2004)

Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers /
Έκδοση: (2016)

Entertainment Computing and Serious Games International GI-Dagstuhl Seminar 15283, Dagstuhl Castle, Germany, July 5-10, 2015, Revised Selected Papers /
Έκδοση: (2016)

Statistical and Geometrical Approaches to Visual Motion Analysis International Dagstuhl Seminar, Dagstuhl Castle, Germany, July 13-18, 2008. Revised Papers /
Έκδοση: (2009)

Multivariate Network Visualization Dagstuhl Seminar #13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions /
Έκδοση: (2014)

Evolvable Hardware
Έκδοση: (2006)

Virtual Realities International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers /
Έκδοση: (2015)

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
Έκδοση: (2015)

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers /
Έκδοση: (2008)

Federation over the Web International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005. Revised Selected Papers /
Έκδοση: (2006)

Raspberry Pi Hardware Reference
ανά: Gay, Warren W.
Έκδοση: (2014)

Efficient Algorithms for Global Optimization Methods in Computer Vision International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20-25, 2011, Revised Selected Papers /
Έκδοση: (2014)

Virtual Realities Dagstuhl Seminar 2008 /
Έκδοση: (2011)

Windows Software Compatibility and Hardware Troubleshooting
ανά: Halsey, Mike, κ.ά.
Έκδοση: (2015)

Advances in Focused Retrieval 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008. Revised and Selected Papers /
Έκδοση: (2009)

Human-Centered Visualization Environments GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Lectures /
Έκδοση: (2007)

Local Pattern Detection International Seminar, Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers /
Έκδοση: (2005)

Domain-Specific Program Generation International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers /
Έκδοση: (2004)

Objects, Agents, and Features International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers /
Έκδοση: (2004)

The e Hardware Verification Language
ανά: Iman, Sasan, κ.ά.
Έκδοση: (2004)

Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments Dagstuhl Seminar 15481, Dagstuhl Castle, Germany, November 22 – 27, 2015, Revised Contributions /
Έκδοση: (2017)

Artificial Life Models in Hardware
Έκδοση: (2009)

Video Processing and Computational Video International Seminar, Dagstuhl Castle, Germany, October 10-15, 2010. Revised Papers /
Έκδοση: (2011)

Current Trends in Web Engineering ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers /
Έκδοση: (2013)

Advances in XML Information Retrieval Third International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2004, Dagstuhl Castle, Germany, December 6-8, 2004, Revised Selected Papers /
Έκδοση: (2005)

Towards Affordance-Based Robot Control International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papers /
Έκδοση: (2008)

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /
Έκδοση: (2006)

Models in Hardware Testing Lecture Notes of the Forum in Honor of Christian Landrault /
Έκδοση: (2010)

Frontiers of Numerical Analysis
Έκδοση: (2005)

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /
Έκδοση: (2010)

Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition /
ανά: Ben Abdallah, Abderazek
Έκδοση: (2013)

Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings /
Έκδοση: (2008)

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings /
Έκδοση: (2005)

Validation of Evolving Software
Έκδοση: (2015)

Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers /
Έκδοση: (2007)

Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers /
Έκδοση: (2007)

AmIware Hardware Technology Drivers of Ambient Intelligence
Έκδοση: (2006)

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures /
Έκδοση: (2006)

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers /
Έκδοση: (2005)

Future Generation Grids Proceedings of the Workshop on Future Generation Grids November 1–5, 2004, Dagstuhl, Germany /
Έκδοση: (2006)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_hk15pn85bc3v3eek441ns62tda