Results 31 to 40 of about 248,175 (294)

Verifying linearizability on TSO architectures [PDF]

, 2014
Linearizability is the standard correctness criterion for fine-grained, non-atomic concurrent algorithms, and a variety of methods for verifying linearizability have been developed.
A. Gotsman, C. Calcagno, D. Amit, G. Schellhorn, J. Derrick, J. Derrick, J. Derrick, J. Derrick, L. Lamport, M. Herlihy, O. Travkin, P. Sewell, S. Burckhardt, S. Doherty   +13 more
core   +2 more sources

Time Protection: the Missing OS Abstraction [PDF]

, 2018
Timing channels enable data leakage that threatens the security of computer systems, from cloud platforms to smartphones and browsers executing untrusted third-party code.
Acıiçmez Onur, Acıiçmez Onur, Bomberger Alan C., Boyd-Wickizer Silas, Bulck Jo Van, Doychev Goran, Ford Bryan, Gras Ben, Hughes-Hallet Deborah, İnci Mehmet Sinan, Kim Taesoo, Kocher Paul, Lipp Moritz, Liu Fangfei, Lynch William L., Noll Stefan, Percival Colin, van Schaik Stephan, Wu Zhenyu, Yarom Yuval, Yarom Yuval, Yarom Yuval, Zellweger Gerd   +22 more
core   +2 more sources

The first flush in sewer systems

Water Science and Technology, 1996
The first flush phenomenon of urban wet weather discharges is presently a controversial subject. Scientists do not agree with its reality, nor with its influences on the size of treatment works. Those disagreements mainly result from the unclear definition of the phenomenon.
Saget, A., Chebbo, G., Bertrand-Krajewski, Jean-Luc   +2 more
openaire   +2 more sources

Assessment of shade-unshade condition and subsequently pesticide treatment on first flush tea leaf metabolites through GC/MS based metabolomics approach

Cogent Food & Agriculture, 2021
All around the world, tea is one of the most popularly consumed non-alcoholic beverages. Tea is a shade loving shrub. However, how the tea metabolites get changed under shade versus unshade condition and also under shade-pesticide treatment versus ...
Sonali Ray, Jhelam Chatterjee, Arindam Ghosh, Susmita Das   +3 more
doaj   +1 more source

Effect of Temperature and Photoperiod Preconditioning on Flowering and Yield Performance of Three Everbearing Strawberry Cultivars

Horticulturae, 2022
Environmental control of flowering in everbearing strawberry is well known, while the optimal commercial raising conditions for high and continuous yield remains unsettled.
Rodmar Rivero, Siv Fagertun Remberg, Ola M. Heide, Anita Sønsteby   +3 more
doaj   +1 more source

Admit your weakness: Verifying correctness on TSO architectures [PDF]

, 2015
“The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-15317-9_22 ”.Linearizability has become the standard correctness criterion for fine-grained non-atomic concurrent algorithms, however, most approaches assume a ...
A Gotsman, C Calcagno, D Amit, DJ Sorin, J Aspnes, J Derrick, J Derrick, J Derrick, JM Spivey, L Lamport, M Herlihy, M Herlihy, N Shavit, N Shavit, P Sewell, S Burckhardt, S Doherty, S Owens   +17 more
core   +1 more source

Water vapor pressure deficit in Portugal and implications for the development of the invasive African citrus psyllid trioza erytreae [PDF]

, 2020
African citrus psyllid (Trioza erytreae (Del Guercio)) is a vector insect of the bacterium Candidatus Liberibacter africanus, the putative causal agent of Huanglongbing, the most devastating citrus disease in the world.
Cota, Tânia, Duarte, Amilcar, Neto, Luis, Paiva, Paulo Eduardo Branco, Soares, Celestino, Tomás, José Carlos   +5 more
core   +2 more sources

Attenuated niacin-induced skin flush response in individuals with clinical high risk for psychosis

General Psychiatry, 2022
Background Impaired sensitivity of the skin flush response to niacin is one of the most replicated findings in patients with schizophrenia. However, prior studies have usually focused on postonset psychosis, and little is known about the clinical high ...
Tao Chen, Tianhong Zhang, Jijun Wang, Xiaohua Liu, Yanyan Wei, Lihua Xu, Yegang Hu, Jiahui Zeng, Xiaochen Tang, GuiSen Wu, Ranpiao Gan, Haichun Liu   +11 more
doaj   +1 more source

The flush statistic on semistandard Young tableaux [PDF]

, 2014
In this note, a statistic on Young tableaux is defined which encodes data needed for the Casselman-Shalika formula.Comment: 6 ...
Salisbury, Ben
core   +4 more sources

Shape control of QDs studied by cross-sectional scanning tunneling microscopy [PDF]

, 2004
In this cross-sectional scanning tunneling microscopy study we investigated various techniques to control the shape of self-assembled quantum dots (QDs) and wetting layers (WLs).
Keizer, J. G., Bozkurt, M., Bocquel, J., Koenraad, P. M., Mano, T., Noda, T., Sakoda, K., Clark, E. C., Bichler, M., Abstreiter, G., Finley, J. J., Lu, W., Rohel, T., Folliot, H., Bertru, N.   +14 more
core   +2 more sources