|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 21 keywords
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
177 | Werner Hofschuster, Walter Krämer, Markus Neher 0001 |
C-XSC and Closely Related Software Packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers, pp. 68-102, 2008, Springer, 978-3-642-01590-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AMS subject classification 68N30, 68N19, 65F99, 65G20, 65G30 |
156 | Werner Hofschuster, Walter Krämer |
C-XSC 2.0: A C++ Library for Extended Scientific Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Software with Result Verification ![In: Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, pp. 15-35, 2003, Springer, 3-540-21260-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
156 | Jeffrey Lane, Annette Cutino, Marilyn McMillan |
Adventures in XSC: our six-week countdown to extended service coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 30th annual ACM SIGUCCS conference on User services: Charting Bold Courses - New Worlds in User Services, Providence, Rhode Island, USA, November 20-23, 2002, pp. 64-71, 2002, ACM, 1-58113-564-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
extended service, staff training, standard operating procedures, helpdesk, incident management, new services |
145 | Markus Grimmer |
Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers, pp. 103-116, 2008, Springer, 978-3-642-01590-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
C-XSC, Verified Linear System Solver, MPI, Maple, Interval Arithmetic, Integral Equations, Parallel Environment |
113 | Carlos Amaral Hölbig, Paulo Sérgio Morandi Júnior, Bernardo Frederes Krämer Alcalde, Tiarajú Asmuz Diverio |
Selfverifying Solvers for Linear Systems of Equations in C-XSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers, pp. 292-297, 2003, Springer, 3-540-21946-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
81 | Evgenija D. Popova |
Mathematica Connectivity to Interval Libraries filib++ and C-XSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers, pp. 117-132, 2008, Springer, 978-3-642-01590-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
interval software, C-XSC, filib++, MathLink, external programs, interfacing, Mathematica, Software interoperability |
64 | Christoph Baumhof |
A New VLSI Vector Arithmetic Coprocessor for the PC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK, pp. 210-215, 1995, IEEE Computer Society, 0-8186-7089-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
accurate dot product, vector arithmetic coprocessor, Long Accumulator |
60 | Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer 0002 |
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers, pp. 250-261, 2008, Springer, 978-3-642-01590-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
C-XSC, 100-digit challenge, reliable linear system solver, large dense linear systems, high performance computing, reliable computing |
50 | Walter Krämer, Michael Zimmer 0002 |
Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers, pp. 230-249, 2008, Springer, 978-3-642-01590-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AMS subject classification 65H10, 15-04, 65G10, 65-04, 68W15, 65G99 |
50 | Vladik Kreinovich, Scott A. Starks, Günter Mayer |
On a Theoretical Justification of the Choice of Epsilon-Inflation in PASCAL-XSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 3(4), pp. 437-445, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Jules White, Boris Kolpackov, Balachandran Natarajan, Douglas C. Schmidt |
Reducing application code complexity with vocabulary-specific XML language bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (2) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, Alabama, USA, March 18-20, 2005, Volume 2, pp. 281-287, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
W3C XML schema, vocabulary-specific language binding, XML, C++, DOM, SAX |
28 | Michael Zimmer 0002, Gabor Rebner, Walter Krämer |
An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster-Shafer theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 17(8), pp. 1453-1465, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Gianmaria De Tommasi, Giuseppe Ambrosino, Marco Ariola, Giuseppe Calabrò, Sergio Galeani, Francesco Maviglia, Alfredo Pironti 0002, F. G. Rimini, A. C. C. Sips, Gianluca Varano, Riccardo Vitelli, Luca Zaccarian |
Shape control with the XSC during plasma current ramp-up and ramp-down at the JET tokamak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, Florence, Italy, December 10-13, 2013, pp. 366-371, 2013, IEEE, 978-1-4673-5714-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Michael Zimmer 0002 |
Software zur hocheffizienten Lösung von Intervallgleichungssystemen mit C-XSC. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
28 | Walter Krämer |
Multiple/arbitrary precision interval computations in C-XSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 94(2-4), pp. 229-241, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Gabor Rebner, Michael Beer |
CUDA Accelerated Fault Tree Analysis with C-XSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings, pp. 539-549, 2012, Springer, 978-3-642-33361-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Walter Krämer |
C-XSC: A powerful environment for reliable computations in the natural and engineering sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI ![In: 4th International Conference on Biomedical Engineering and Informatics, BMEI 2011, Shanghai, China, October 15-17, 2011, pp. 2130-2134, 2011, IEEE, 978-1-4244-9351-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Walter Krämer, Frithjof Blomquist |
Arbitrary Precision Complex Interval Computations in C-XSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM (2) ![In: Parallel Processing and Applied Mathematics - 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II, pp. 457-466, 2011, Springer, 978-3-642-31499-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Michael Zimmer 0002, Walter Krämer, Werner Hofschuster |
Sparse Matrices and Vectors in C-XSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 14, pp. 138-160, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
28 | Walter Krämer, Michael Zimmer 0002, Werner Hofschuster |
Using C-XSC for High Performance Verified Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA (2) ![In: Applied Parallel and Scientific Computing - 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II, pp. 168-178, 2010, Springer, 978-3-642-28144-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Evgenija D. Popova, Walter Krämer |
Communicating Functional Expressions from Mathematica to C-XSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, pp. 354-365, 2010, Springer, 978-3-642-15581-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Werner Hofschuster, Walter Krämer, Markus Neher 0001 |
C-XSC and Closely Related Software Packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
28 | Michael Zimmer 0002, Walter Krämer |
Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
28 | Markus Grimmer |
Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
28 | Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer 0002 |
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008, 2008, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
28 | Peter Januschke |
Oberon-XSC: eine Programmiersprache und Arithmetikbibliothek für das Wissenschaftliche Rechnen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
28 | Ulrich W. Kulisch |
The XSC tools for extended scientific computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quality of Numerical Software ![In: Quality of Numerical Software - Assessment and Enhancement, Proceedings of the IFIP TC2/WG2.5 Working Conference on the Quality of Numerical Software, Assessment and Enhancement, Oxford, UK, 8-12 July 1996, pp. 280-284, 1996, Chapman & Hall, 0-412-80530-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Pascal Janssens, Annie A. M. Cuyt |
How Does PASCAL-XSC Compare to Other Programming Languages with Respect to the IEEE Standard? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 28(8), pp. 57-66, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Pascal |
28 | Ulrich W. Kulisch, Rudi Klatte, Andreas Wiethoff, Carola Wolff, George F. Corliss, Christian Lawo, Michael Rauch |
C-XSC: A C++ Class Library for Extended Scientific Computing ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
DOI RDF |
|
28 | Ulrich W. Kulisch, Rudi Klatte, Dietmar Ratz, Michael Neaga, Christian P. Ullrich |
PASCAL-XSC: Language Reference with Examples ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
DOI RDF |
|
28 | Christian Lawo |
C-XSC: eine objekt-orientierte Programmierumgebung für verifiziertes wissenschaftliches Rechnen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
28 | Rudi Klatte, Ulrich W. Kulisch, Michael Neaga, Dietmar Ratz, Christian P. Ullrich |
Pascal-XSC - Sprachbeschreibung mit Beispielen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
21 | Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio |
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECPAR ![In: High Performance Computing for Computational Science - VECPAR 2008, 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers, pp. 13-26, 2008, Springer, 978-3-540-92858-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Topics of the conference list Numerical algorithms for CS? Parallel or Distributed Computation and Cluster Computation |
21 | Daniela Fausten, Gerhard Haßlinger |
Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Software with Result Verification ![In: Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, pp. 206-225, 2003, Springer, 3-540-21260-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Markus Grimmer, Knut Petras, Nathalie Revol |
Multiple Precision Interval Packages: Comparing Different Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Software with Result Verification ![In: Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, pp. 64-90, 2003, Springer, 3-540-21260-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Jürgen Wolff von Gudenberg |
OOP and Interval Arithmetic - Language Support and Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Software with Result Verification ![In: Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, pp. 1-14, 2003, Springer, 3-540-21260-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|