Fluctuat has been developed by Commissariat à l'Énergie Atomique et aux Énergies Alternatives since 2001. Fluctuat enables the static analysis of C… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

Abstract interpretation based value analysis is a classical approach for verifying programs with floating-point computations… (More)

Is this relevant?

Highly Cited

2011

Highly Cited

2011

- Eric Goubault, Sylvie Putot
- VMCAI
- 2011

We define several abstract semantics for the static analysis of finite precision computations, that bound not only the ranges of… (More)

Is this relevant?

2011

2011

Floating-point arithmetic differs from real arithmetic, which makes programming with floating-point numbers tricky. Estimating… (More)

Is this relevant?

2011

2011

Programs with floating-point computations are tricky to develop because floating-point arithmetic differs from real arithmetic… (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine
- FMICS
- 2009

Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating… (More)

Is this relevant?

2009

2009

A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems… (More)

Is this relevant?

2008

2008

- F. L. Engledow
- Journal of Genetics
- 2008

Introductory Awn :Fluctuation Lateral Floret Fluctuat ion . Ear-width Fluctuat ion The Cross I f . decil)iens x i.erml' An Awn… (More)

Is this relevant?

2004

2004

Role of polyamines in the regulation of the circumhoralian rhythm of intracellular protein synthesis

- Natalia V Nechaeva, Konstantin Yarygin, Valentina I Fateeva, Tatjana E Novikova, V. Ya. Brodskii
- Bulletin of Experimental Biology and Medicine
- 2004

Rhythms with a period of about 1 h have been found during the study of var ious b iochemica l phenomena including prote in… (More)

Is this relevant?

2004

2004

- CAVlTATlNG INDUCERS
- 2004

This paper p r e s e n t s d e t a i l s of measurements on t h e i n s t a b i l i t y known a s au to-osc i l l a t ion which… (More)

Is this relevant?

1992

1992

- Brill
- Physical review. D, Particles and fields
- 1992

The interior near the horizon of an extremal Reissner-Nordström black hole is taken as an initial state for quantum mechanical… (More)

Is this relevant?