Loading…

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

Full description

Bibliographic Details
Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Cuyt, Annie A.M (Editor), Krämer, Walter (Editor), Luther, Wolfram (Editor), Markstein, Peter (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:	1st ed. 2009.
Series:	Theoretical Computer Science and General Issues, 5492
Subjects:	Computer science. Computer Science.
Online Access:	Texto Completo

Similar Items

Entertainment Computing and Serious Games International GI-Dagstuhl Seminar 15283, Dagstuhl Castle, Germany, July 5-10, 2015, Revised Selected Papers /
Published: (2016)

Federation over the Web International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005, Revised Selected Papers /
Published: (2006)

Evolvable Hardware
Published: (2006)

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

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, Advances Lectures /
Published: (2006)

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /
Published: (2005)

Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers /
Published: (2012)

Architecture of Computing Systems - ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings /
Published: (2008)

Frontiers of Numerical Analysis Durham 2004 /
Published: (2005)

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
Published: (2015)

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 /
Published: (2005)

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 /
Published: (2013)

Statistical and Geometrical Approaches to Visual Motion Analysis International Dagstuhl Seminar, Dagstuhl Castle, July 13-18, 2008, Revised Papers /
Published: (2009)

Reconfigurable Computing: Architectures, Tools, and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings /
Published: (2008)

Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions /
Published: (2014)

Virtual Realities International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers /
Published: (2015)

IT Revolution First International ICST Conference, IT Revolutions 2008, Venice, Italy, December 17-19, 2008, Revised Selected Papers /
Published: (2009)

Membrane Computing 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers /
Published: (2011)

Rough Sets and Current Trends in Computing 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings /
Published: (2006)

Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers /
Published: (2006)

High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings /
Published: (2007)

Membrane Computing 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers /
Published: (2009)

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings /
Published: (2008)

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

Haptic Systems Architecture Modeling
by: Weber, Anton, et al.
Published: (2012)

DNA Computing 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers. /
Published: (2006)

Advances in Digital Forensics VI Sixth IFIP WG 11.9 International Conference on Digital Forensics, Hong Kong, China, January 4-6, 2010, Revised Selected Papers /
Published: (2010)

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /
Published: (2009)

Advances in Communication Networking 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers /
Published: (2014)

Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers /
Published: (2007)

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France /
Published: (2005)

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures /
Published: (2009)

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /
Published: (2011)

Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings /
Published: (2009)

Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007, Revised Papers /
Published: (2007)

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers /
Published: (2014)

Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007, Proceedings /
Published: (2007)

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /
Published: (2008)

Visual Information Systems. Web-Based Visual Information Search and Management 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008, Proceedings /
Published: (2008)

Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /
Published: (2011)