Search results for "C-XSC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
177	Werner Hofschuster, Walter Krämer, Markus Neher 0001	C-XSC and Closely Related Software Packages.	Numerical Validation in Current Hardware Architectures	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.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
156	Jeffrey Lane, Annette Cutino, Marilyn McMillan	Adventures in XSC: our six-week countdown to extended service coverage.	SIGUCCS	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.	Numerical Validation in Current Hardware Architectures	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.	PPAM	2003	DBLP DOI BibTeX RDF
81	Evgenija D. Popova	Mathematica Connectivity to Interval Libraries filib++ and C-XSC.	Numerical Validation in Current Hardware Architectures	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.	IEEE Symposium on Computer Arithmetic	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.	Numerical Validation in Current Hardware Architectures	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.	Numerical Validation in Current Hardware Architectures	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.	Reliab. Comput.	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.	ACM Southeast Regional Conference (2)	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.	Soft Comput.	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.	CDC	2013	DBLP DOI BibTeX RDF
28	Michael Zimmer 0002	Software zur hocheffizienten Lösung von Intervallgleichungssystemen mit C-XSC. (PDF / PS)		2013	RDF
28	Walter Krämer	Multiple/arbitrary precision interval computations in C-XSC.	Computing	2012	DBLP DOI BibTeX RDF
28	Gabor Rebner, Michael Beer	CUDA Accelerated Fault Tree Analysis with C-XSC.	SUM	2012	DBLP DOI BibTeX RDF
28	Walter Krämer	C-XSC: A powerful environment for reliable computations in the natural and engineering sciences.	BMEI	2011	DBLP DOI BibTeX RDF
28	Walter Krämer, Frithjof Blomquist	Arbitrary Precision Complex Interval Computations in C-XSC.	PPAM (2)	2011	DBLP DOI BibTeX RDF
28	Michael Zimmer 0002, Walter Krämer, Werner Hofschuster	Sparse Matrices and Vectors in C-XSC.	Reliab. Comput.	2010	DBLP BibTeX RDF
28	Walter Krämer, Michael Zimmer 0002, Werner Hofschuster	Using C-XSC for High Performance Verified Computing.	PARA (2)	2010	DBLP DOI BibTeX RDF
28	Evgenija D. Popova, Walter Krämer	Communicating Functional Expressions from Mathematica to C-XSC.	ICMS	2010	DBLP DOI BibTeX RDF
28	Werner Hofschuster, Walter Krämer, Markus Neher 0001	C-XSC and Closely Related Software Packages.	Numerical Validation in Current Hardware Architectures	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.	Numerical Validation in Current Hardware Architectures	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.	Numerical Validation in Current Hardware Architectures	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.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
28	Peter Januschke	Oberon-XSC: eine Programmiersprache und Arithmetikbibliothek für das Wissenschaftliche Rechnen.		1998	RDF
28	Ulrich W. Kulisch	The XSC tools for extended scientific computing.	Quality of Numerical Software	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?	ACM SIGPLAN Notices	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		1993	DOI RDF
28	Ulrich W. Kulisch, Rudi Klatte, Dietmar Ratz, Michael Neaga, Christian P. Ullrich	PASCAL-XSC: Language Reference with Examples		1992	DOI RDF
28	Christian Lawo	C-XSC: eine objekt-orientierte Programmierumgebung für verifiziertes wissenschaftliches Rechnen.		1992	RDF
28	Rudi Klatte, Ulrich W. Kulisch, Michael Neaga, Dietmar Ratz, Christian P. Ullrich	Pascal-XSC - Sprachbeschreibung mit Beispielen.		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.	VECPAR	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.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
21	Markus Grimmer, Knut Petras, Nathalie Revol	Multiple Precision Interval Packages: Comparing Different Approaches.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
21	Jürgen Wolff von Gudenberg	OOP and Interval Arithmetic - Language Support and Libraries.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF