Results 21 to 30 of about 273,321 (221)
Pruning, Pushdown Exception-Flow Analysis [PDF]
, 2014 Statically reasoning in the presence of exceptions and about the effects of exceptions is challenging: exception-flows are mutually determined by traditional control-flow and points-to analyses.
Keep, Andy +4 more
core +1 more source
Behavioural types for non-uniform memory accesses
, 2016 Concurrent programs executing on NUMA architectures consist of concurrent entities (e.g. threads, actors) and data placed on different nodes. Execution of these concurrent entities often reads or updates states from remote nodes.
Drossopoulou, Sophia, Franco, Juliana
core +4 more sources
Journal of Biomedical Semantics, 2011 Background The complexity and inter-related nature of biological data poses a difficult challenge for data and tool integration. There has been a proliferation of interoperability standards and projects over the past decade, none of which has been widely
Wilkinson Mark D +2 more
doaj +1 more source
Geothermal Energy, 2019 The North German Basin is one of the three major type localities in Germany for deep geothermal energy. Here, the pore space is the dominant parameter, in contrast to fractures (Rhine Graben) and karst (Molasse Basin).
Charlotte M. Krawczyk +6 more
doaj +1 more source
Modular termination verification for non-blocking concurrency [PDF]
, 2016 © Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a
G Cantor +11 more
core +1 more source
Photonuclear production, chemistry, and in vitro evaluation of the theranostic radionuclide 47Sc
EJNMMI Research, 2019 Background In molecular imaging and nuclear medicine, theranostic agents that integrate radionuclide pairs are successfully being used for individualized care, which has led to rapidly growing interest in their continued development.
C. Shaun Loveless +5 more
doaj +1 more source
Automated Verification of Practical Garbage Collectors [PDF]
, 2009 Garbage collectors are notoriously hard to verify, due to their low-level interaction with the underlying system and the general difficulty in reasoning about reachability in graphs.
Chris Hawblitzel +3 more
core +3 more sources
Speculative Staging for Interpreter Optimization [PDF]
, 2013 Interpreters have a bad reputation for having lower performance than just-in-time compilers. We present a new way of building high performance interpreters that is particularly effective for executing dynamically typed programming languages. The key idea
Brunthaler, Stefan
core
Vacuolar transport and function of Saccharomyces cerevisiae sterol ester hydrolase Tgl1
FEBS Letters, EarlyView.Tgl1, one of yeast sterol ester hydrolases, had been found on the lipid droplets where sterol esters are mainly stored. This study revealed that Tgl1 is transported into the vacuole depending on the ESCRT‐I–III complex, and that it exhibits intra‐vacuolar sterol ester hydrolase activity.
Takumi Nakatsuji +5 more
wiley +1 more source
Sea stack plots: Replacing bar charts with histograms
Ecology and EvolutionGraphs in research articles can increase the comprehension of statistical data but may mislead readers if poorly designed. We propose a new plot type, the sea stack plot, which combines vertical histograms and summary statistics to represent large ...
Alice Dorothy Stuart +3 more
doaj +1 more source