TY  - JOUR
A1  - Pattyn, Frank
A1  - Perichon, Laura
A1  - Durand, Gael
A1  - Favier, Lionel
A1  - Gagliardini, Olivier
A1  - Hindmarsh, Richard C. A.
A1  - Zwinger, Thomas
A1  - Albrecht, Torsten
A1  - Cornford, Stephen
A1  - Docquier, David
A1  - Furst, Johannes J.
A1  - Goldberg, Daniel
A1  - Gudmundsson, Gudmundur Hilmar
A1  - Humbert, Angelika
A1  - Huetten, Moritz
A1  - Huybrechts, Philippe
A1  - Jouvet, Guillaume
A1  - Kleiner, Thomas
A1  - Larour, Eric
A1  - Martin, Daniel
A1  - Morlighem, Mathieu
A1  - Payne, Anthony J.
A1  - Pollard, David
A1  - Rueckamp, Martin
A1  - Rybak, Oleg
A1  - Seroussi, Helene
A1  - Thoma, Malte
A1  - Wilkens, Nina
T1  - Grounding-line migration in plan-view marine ice-sheet models: results of the ice2sea MISMIP3d intercomparison
JF  - Journal of glaciology
N2  - Predictions of marine ice-sheet behaviour require models able to simulate grounding-line migration. We present results of an intercomparison experiment for plan-view marine ice-sheet models. Verification is effected by comparison with approximate analytical solutions for flux across the grounding line using simplified geometrical configurations (no lateral variations, no buttressing effects from lateral drag). Perturbation experiments specifying spatial variation in basal sliding parameters permitted the evolution of curved grounding lines, generating buttressing effects. The experiments showed regions of compression and extensional flow across the grounding line, thereby invalidating the boundary layer theory. Steady-state grounding-line positions were found to be dependent on the level of physical model approximation. Resolving grounding lines requires inclusion of membrane stresses, a sufficiently small grid size (<500 m), or subgrid interpolation of the grounding line. The latter still requires nominal grid sizes of <5 km. For larger grid spacings, appropriate parameterizations for ice flux may be imposed at the grounding line, but the short-time transient behaviour is then incorrect and different from models that do not incorporate grounding-line parameterizations. The numerical error associated with predicting grounding-line motion can be reduced significantly below the errors associated with parameter ignorance and uncertainties in future scenarios.
Y1  - 2013
U6  - https://doi.org/10.3189/2013JoG12J129
SN  - 0022-1430
VL  - 59
IS  - 215
SP  - 410
EP  - 422
PB  - International Glaciological Society
CY  - Cambridge
ER  - 
TY  - CHAP
A1  - Palix, Nicolas
A1  - Lawall, Julia L.
A1  - Thomas, Gaël
A1  - Muller, Gilles
T1  - How Often do Experts Make Mistakes?
N2  - Large open-source software projects involve developers with a wide variety of backgrounds and expertise. Such software projects furthermore include many internal APIs that developers must understand and use properly. According to the intended purpose of these APIs, they are more or less frequently used, and used by developers with more or less expertise. In this paper, we study the impact of usage patterns and developer expertise on the rate of defects occurring in the use of internal APIs. For this preliminary study, we focus on memory management APIs in the Linux kernel, as the use of these has been shown to be highly error prone in previous work. We study defect rates and developer expertise, to consider e.g., whether widely used APIs are more defect prone because they are used by less experienced developers, or whether defects in widely used APIs are more likely to be fixed.
KW  - History of pattern occurrences
KW  - bug tracking
KW  - Herodotos
KW  - Coccinelle
Y1  - 2010
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41327
ER  -