MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Bernd Fischer" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

60 documents found, showing 1 through 10. Next 10 →

ATOM

architectures through significant improvements in performance and in power consumption.
by Bernd Fischer — 2006
… (STI) stress effects in analogue circuits Bernd Fischer Xignal Technologies AG, Germany CDNLive! EMEA…
Add To MetaCart

From Orthogonal Polynomials To Iteration Schemes For Linear Systems: CG and CR Revisited
by Bernd Fischer
… (fischer@(email omitted);). 1 2 BERND FISCHER Lemma 1.1. The solution x of the linear system Ax = b…
Add To MetaCart

Specification-Based Browsing of Software Component Libraries
by Bernd Fischer — 1999 — in Proceedings of ASE
…Specification-Based Browsing Of Software Component Libraries Bernd Fischer (fisch…
Cited by 27 (2 self) – Add To MetaCart

Interpreting Abstract Interpretations in Membership . . .
by Bernd Fischer, G. Rosu — 2001 — Proceedings of the International Workshop on RuleBased Programming (RULE’01), volume 59 of Electronic Notes in Theoretical Computer Science. Elsevier Science
…://www.elsevier.nl/locate/entcs/volume59.html 15 pages Interpreting Abstract Interpretations in Membership Equational Logic Bernd Fischer…
Cited by 2 (0 self) – Add To MetaCart

Correctness of Source-Level Safety Policies
by Ewen Denney, Bernd Fischer — 2003 — Proceedings FM 2003: Formal Methods, volume 2805 of Lect. Notes Comp. Sci
…Correctness of Source-Level Safety Policies Ewen Denney ∗ and Bernd Fischer † ∗ QSS / † RIACS NASA…
Cited by 15 (8 self) – Add To MetaCart

A program certification assistant based on fully automated theorem provers
by Ewen Denney, Bernd Fischer — 2005 — In Proc. Intl. Workshop on User Interfaces for Theorem Provers, Electronic Notes in Theoretical Computer Science
… and Bernd Fischer USRA/RIACS, NASA Ames Research Center Moffett Field, CA 94035, USA {edenney…
Cited by 1 (1 self) – Add To MetaCart

Orthogonal Polynomial Wavelets
by Bernd Fischer, Woula Themistoclakis — 2001 — Numer. Algorithms
…Orthogonal polynomial wavelets Bernd Fischer Woula Themistoclakis y December 13, 2001 Abstract…
Cited by 1 (0 self) – Add To MetaCart

An Integration of Deductive Retrieval into Deductive Synthesis
by Bernd Fischer, Jon Whittle — 1999 — In Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE'99
…An Integration of Deductive Retrieval into Deductive Synthesis Bernd Fischer RIACS/NASA Ames…
Cited by 2 (0 self) – Add To MetaCart

AutoBayes: A System for Synthesizing Data Analysis Programs
by Bernd Fischer, Johann Schumann — 2000
…AutoBayes: A System for Synthesizing Data Analysis Programs Bernd Fischer, Johann Schumann RIACS…
Cited by 1 (0 self) – Add To MetaCart

Certifiable program generation
by Ewen Denney, Bernd Fischer — 2005 — GPCE 2005, LNCS
…Certifiable Program Generation Ewen Denney and Bernd Fischer USRA/RIACS, NASA Ames Research Center…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB