Water mass evolution of the Greenland Sea since late glacial times

Four sediment cores from the central and northern Greenland Sea basin, a crucial area for the renewal of North Atlantic deep water, were analyzed for planktic foraminiferal fauna, planktic and benthic stable oxygen and carbon iso- topes as well as ice-rafted debris to reconstruct the environ- mental variability in the last 23 kyr. During the Last Glacial Maximum, the Greenland Sea was dominated by cold and sea-ice bearing surface water masses. Meltwater discharges from the surrounding ice sheets affected the area during the deglaciation, influencing the water mass circulation. During the Younger Dryas interval the last major freshwater event occurred in the region. The onset of the Holocene interglacial was marked by an increase in the advection of Atlantic Wa- ter and a rise in sea surface temperatures (SST). Although the thermal maximum was not reached simultaneously across the basin, benthic isotope data indicate that the rate of overturn- ing circulation reached a maximum in the central Greenland Sea around 7ka. After 6-5ka a SST cooling and increas- ing sea-ice cover is noted. Conditions during this so-called "Neoglacial" cooling, however, changed after 3 ka, probably due to enhanced sea-ice expansion, which limited the deep convection. As a result, a well stratified upper water column amplified the warming of the subsurface waters in the central Greenland Sea, which were fed by increased inflow of At- lantic Water from the eastern Nordic Seas. Our data reveal that the Holocene oceanographic conditions in the Green- land Sea did not develop uniformly. These variations were a response to a complex interplay between the Atlantic and Polar water masses, the rate of sea-ice formation and melting and its effect on vertical convection intensity during times of Northern Hemisphere insolation changes.

Combining static analysis and profiling for estimating execution times

Effective static analyses have been proposed which infer bounds on the number of resolutions. These have the advantage of being independent from the platform on which the programs are executed and have been shown to be useful in a number of applications, such as granularity control in parallel execution. On the other hand, in distributed computation scenarios where platforms with different capabilities come into play, it is necessary to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution times. With this objective in mind, we propose an approach which combines compile-time analysis for cost bounds with a one-time profiling of a given platform in order to determine the valúes of certain parameters for that platform. These parameters calibrate a cost model which, from then on, is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in that concrete platform. The approach has been implemented and integrated in the CiaoPP system.

Combining static analysis and profiling for estimating execution times in logic programs

Effective static analyses have been proposed which allow inferring functions which bound the number of resolutions or reductions. These have the advantage of being independent from the platform on which the programs are executed and such bounds have been shown useful in a number of applications, such as granularity control in parallel execution. On the other hand, in certain distributed computation scenarios where different platforms come into play, with each platform having different capabilities, it is more interesting to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution time. With this objective in mind, we propose a method which allows inferring upper and lower bounds on the execution times of procedures of a program in a given execution platform. The approach combines compile-time cost bounds analysis with a one-time profiling of the platform in order to determine the values of certain constants for that platform. These constants calibrate a cost model which from then on is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in the given platform. The approach has been implemented and integrated in the CiaoPP system.