Strategic Management Journal, EarlyView.Abstract Research Summary Research on organizational climate change adaptation has focused on high‐income nations, neglecting vulnerable regions already facing severe climate impacts. This study addresses this gap by examining how decision‐makers in vulnerable contexts respond to climate change, drawing on a unique panel dataset of over 3000 ...
Lucrezia Nava +3 more
wiley +1 more source
Radiometric Constraints on the Timing, Tempo, and Effects of Large Igneous Province Emplacement
Geophysical Monograph Series, Page 27-82., 2021 Exploring the links between Large Igneous Provinces and dramatic environmental impact
An emerging consensus suggests that Large Igneous Provinces (LIPs) and Silicic LIPs (SLIPs) are a significant driver of dramatic global environmental and biological changes, including mass extinctions.
Jennifer Kasbohm +2 more
wiley +1 more source
Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY [PDF]
arXiv, 2009 Pure Lucid programs are concurrent with very fine granularity. Sequential Threads (STs) are functions introduced to enlarge the grain size; they are passed from server to workers by Communication Procedures (CPs) in the General Intensional Programming System (GIPSY).
arxiv
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020. [PDF]
Int J Softw Tools Technol Transf, 2022 Biere A, Parker D.
europepmc +1 more source
Small Methods, EarlyView.This study presents a rapid and sensitive virus detection method that employs imaging of virus‐specific DNA markers. Utilizing specially designed single‐stranded circular DNA probes, this method captures RNA fragments from RNase‐digested viral genomes during the reverse transcriptase‐based reaction, resulting in double‐stranded markers that are ...
Yoon‐ha Jang +13 more
wiley +1 more source
Automated Verification of CountDownLatch [PDF]
arXiv, 2019 The CountDownLatch (CDL) is a versatile concurrency mechanism that was first introduced in Java 5, and is also being adopted into C++ and C#. Its usage allows one or more threads to exchange resources and synchronize by waiting for some tasks to be completed before others can proceed.
arxiv
Flow Java : declarative concurrency for Java
, 2004 This thesis presents the design, implementation, and evaluation of Flow Java, a programming language for the implementation of concurrent programs. Flow Java adds powerful programming abstractions for automatic synchronization of concurrent programs to Java. The abstractions added are single assignment variables (logic variables) and futures (read-only
openaire +2 more sources
Software: Practice and Experience, EarlyView.ABSTRACT Background Cloud Computing has established itself as an efficient and cost‐effective paradigm for the execution of web‐based applications, and scientific workloads, that need elasticity and on‐demand scalability capabilities. However, the evaluation of novel resource provisioning and management techniques is a major challenge due to the ...
Remo Andreoli +3 more
wiley +1 more source
Exposing Non-Atomic Methods of Concurrent Objects [PDF]
arXiv, 2017 Multithreaded software is typically built with specialized concurrent objects like atomic integers, queues, and maps. These objects' methods are designed to behave according to certain consistency criteria like atomicity, despite being optimized to avoid blocking and exploit parallelism, e.g., by using atomic machine instructions like compare and ...
arxiv
Towards an Optimized Distributed Message Queue System for AIoT Edge Computing: A Reinforcement Learning Approach. [PDF]
Sensors (Basel), 2023 Xie Z, Ji C, Xu L, Xia M, Cao H.
europepmc +1 more source