Skip to search formSkip to main contentSkip to account menu

Fluctuat

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

Related topics

Related topics

11 relations
Abstract interpretationAdaAstrée (static analysis)Best, worst and average case

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Localization and defects in axial (In,Ga)N/GaN nanowire heterostructures investigated by spatially resolved luminescence spectroscopy
(In,Ga)N insertions embedded in self-assembled GaN nanowires (NWs) are of current interest for applications in solid-state light… 
2014
2014
Verifying floating-point programs with constraint programming and abstract interpretation techniques
Static value analysis is a classical approach for verifying programs with floating-point computations. Value analysis mainly… 
Review
2010
Review
2010
ESTIMATING LUMINOSITY FUNCTION CONSTRAINTS FROM HIGH-REDSHIFT GALAXY SURVEYS
The installation of the Wide Field Camera 3 (WFC3) on the Hubble Space Telescope (HST) will revolutionize the study of high… 
2009
2009
Higher moments of charge fluctuations in QCD at high temperature
2009
2009
Software Model Checking the Precision of Floating-Point Programs
Software model checking has recently been successful in discovering bugs in production software. Most tools have targeted heap… 
2009
2009
S2DFS: analysis of temporal changes of drifting subpulses
Context. We introduce a new technique, called the sliding two-dimensional fluctuation spectrum, used for detecting and… 
2008
2008
Scale dependent alignment between velocity and magnetic field fluctuations in the solar wind and comparisons to Boldyrev's phenomenological theory
A theory of incompressible MHD turbulence recently developed by Boldyrev predicts the existence of a scale dependent angle of… 
2004
2004
Ja n 20 04 IS THE LOCAL BUBBLE DEAD ?
We give a summary of the current state of Local Bubble researc h, resulting from the discussions of a dedicated panel meeting… 
Highly Cited
2001
Highly Cited
2001
(ACCEPTED FOR PUBLICATION IN APJ) Preprint typeset using L ATEX style emulateapj v. 04/03/99 THE FORMATION OF STELLAR CLUSTERS: MASS SPECTRA FROM TURBULENT MOLECULAR CLOUD
  • 2001
  • Corpus ID: 7729803
1996
1996
Late Pleistocene interactions of East and West Antarctic Ice-flow Regimes: evidence from the McMurdo Ice Shelf
Abstract We present new interpretations of deglaciation in McMurdo Sound and the western Ross Sea, with observationally based… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)