Analysing Java's safety guarantees under concurrency [PDF]
, 2017 Two features distinguish Java from other main-stream programming languages like C and C++: its built-in support for concurrency and safety guarantees such as type safety or safe execution in a sandbox.
Lochbihler, Andreas
core
Executive Function and Entrepreneurial Opportunity Exploitation Under Risk and Uncertainty
Strategic Change, EarlyView.ABSTRACT This study examines how executive functions shape entrepreneurial opportunity exploitation under different knowledge environments. Drawing on Knight's distinction between risk and uncertainty, we conducted a vignette experiment with 200 working adults.
Ipek Koparan +3 more
wiley +1 more source
Sound Static Deadlock Analysis for C/Pthreads (Extended Version)
, 2016 We present a static deadlock analysis approach for C/pthreads. The design of our method has been guided by the requirement to analyse real-world code. Our approach is sound (i.e., misses no deadlocks) for programs that have defined behaviour according to
Kroening, Daniel +3 more
core
Wild meat consumption in changing rural landscapes of Indonesian Borneo
People and Nature, EarlyView.Abstract Wild meat can play a crucial role in the food system of rural communities residing near tropical forests. Yet, socio‐ecological changes across tropical landscapes are impacting the patterns and sustainability of meat consumption. To understand the prevalence, frequency and drivers of wild meat, domestic meat and fish consumption in this ...
Katie L. Spencer +12 more
wiley +1 more source
MXene‐Based Electromagnetic Attenuation Materials in Microwave and Terahertz Bands
Rare Metals, EarlyView.ABSTRACT MXenes exhibit considerable potential for developing high‐performance electromagnetic (EM) shielding and absorption materials operating across microwave and terahertz frequencies, due to their tunable surface chemistry and exceptional charge carrier transport properties.
Guozheng Zhang +9 more
wiley +1 more source
Research on multi-dimensional reconstruction mechanism of cloud native full link in the metaverse scenario. [PDF]
Sci Rep, 2023 Sheng S.
europepmc +1 more source
The Jac System: Minimizing the Differences between Concurrent and Sequential Java Code. [PDF]
, 2006 Klaus‐Peter Löhr, Max Haustein
openalex +1 more source
Between Strategy and Survival? How Agri‐Food SMEs Navigate Voluntary Sustainability Disclosure
Sustainable Development, EarlyView.ABSTRACT In a context of increasing regulatory pressure and ambiguity around sustainability reporting, this study analyses small and medium enterprises' (SMEs) motivations and challenges in relation to the voluntary adoption of such practices. Using a sector‐based approach, semi‐structured interviews were conducted with 26 agri‐business leaders from ...
Pablo Gomez‐Carrasco +3 more
wiley +1 more source
Concurrent Model Transformations with Linda [PDF]
, 2013 Nowadays, model transformations languages and engines use a sequential execution model. This is, only one execution thread deals with the whole transformation.
Burgueño, Loli +2 more
core +1 more source
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