Results 1 to 10 of about 559,515 (356)
, 2015 In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program’s execution as it happens.
A Bauer +14 more
core +4 more sources
Buffers of Milk and Buffer Value
Journal of Dairy Science, 1927 Since buffers are considered as substances which, by their presence in solution, increase the amount of alkali or acid that must be added to catme unit change in pH, the question of their occurrence in milk would be important. Clark (1) gives the following with regard to buffers: "By buffer action, we mean the ability of a solution to resist change in ...
J.H. Buchanan, E.E. Peterson
openaire +3 more sources
International Journal of Computational Geometry & Applications, 2001 The complexity of randomized incremental algorithms is analyzed with the assumption of a random order of the input. To guarantee this hypothesis, the n data have to be known in advance in order to be mixed what contradicts with the on-line nature of the algorithm.
Devillers, Olivier, Guigue, Philippe
openaire +5 more sources
Light‐Switchable Buffers [PDF]
Angewandte Chemie, 2021 AbstractA visible light‐switchable buffer system based on a merocyanine photoacid is presented. Para‐substitution of the indolium side with a methoxy group affords a compound suitable for making hydrolytically stable aqueous buffers whose pH can be tuned between 7 and 4 using 500 nm light.
Cesare Berton +6 more
openaire +6 more sources
Buffer Therapy → Buffer Diet [PDF]
Journal of Nutrition & Food Sciences, 2018 Malignant tumors exhibit an increase in glucose metabolism when compared to normal tissue. The increased metabolism generates an acidic tumor environment, which promotes local invasion, metastasis, and inhibition of immune surveillance. Oral buffers, e.g.
Robert J. Gillies +2 more
openaire +1 more source
, 2020 AbstractChapter 7 discusses the buffer abstraction in detail. Buffers are a higher-level abstraction that hides the underlying details of memory management from an application. This chapter describes how to allocate and access the contents of a buffer both in our host programs and in our kernels running on a device.
James Reinders +5 more
openaire +1 more source
Heat buffers improve capacity and exploitation degree of geothermal energy sources [PDF]
, 2008 This research focuses on the role of heat buffers to support optimal use of combinations of traditional and renewable heat sources like geothermal heat for greenhouse heating.
Janssen, E.G.O.N. +3 more
core +2 more sources
Flexible compiler-managed L0 buffers for clustered VLIW processors [PDF]
, 2003 Wire delays are a major concern for current and forthcoming processors. One approach to attack this problem is to divide the processor into semi-independent units referred to as clusters.
Gibert Codina, Enric +2 more
core +1 more source
Sampling-based Buffer Insertion for Post-Silicon Yield Improvement under Process Variability
, 2016 At submicron manufacturing technology nodes process variations affect circuit performance significantly. This trend leads to a large timing margin and thus overdesign to maintain yield.
Li, Bing +2 more
core +1 more source