Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase numerical program (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990 (1) 2003 (1) 2006 (1) 2008 (2) 2009 (3)
Publication types (Num. hits)
article(4) inproceedings(4)
Venues (Conferences, Journals, ...)
Computer Physics Communication...(2) ACM Trans. Softw. Eng. Methodo...(1) CAV(1) CoRR(1) ICALP(1) ISSAC(1) ISSTA(1)
Authors
Anastasia Mironova(2) George S. Avrunin(2) Lori A. Clarke(2) Stephen F. Siegel(2) E. Pilon(1) Eric Goubault(1) Ettore Remiddi(1) G. Heinrich(1) Henryk Czyz(1) J.-Ph. Guillet(1) James M. Morris(1) Mark Howard(1) Michal Gunia(1) Michele Caffo(1) Richard J. Fateman(1) Sylvie Boldo(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 14 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
2Sylvie Boldo Floats and Ropes: A Case Study for Formal Numerical Program Verification. Search on Bibsonomy ICALP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michele Caffo, Henryk Czyz, Michal Gunia, Ettore Remiddi BOKASUN: A fast and precise numerical program to calculate the Master Integrals of the two-loop sunrise diagrams. Search on Bibsonomy Computer Physics Communications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1T. Binoth, J.-Ph. Guillet, G. Heinrich, E. Pilon, T. Reiter golem95: A numerical program to calculate one-loop tensor integrals with up to six external legs. Search on Bibsonomy Computer Physics Communications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eric Goubault, Sylvie Putot Perturbed affine arithmetic for invariant computation in numerical program analysis Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke Combining symbolic execution with model checking to verify parallel numerical programs. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program
1Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke Using model checking with symbolic execution to verify parallel numerical programs. Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model checking, parallel programming, concurrency, MPI, message passing interface, high performance computing, symbolic execution, floating-point, spin, finite state verification, numerical program
1Richard J. Fateman High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense. Search on Bibsonomy ISSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Bessel, proof, differentiation, recurrence, sine
1James M. Morris, Mark Howard Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.