The stability problem for verification of concurrent object-oriented programs
, 2007 Modular static verification of concurrent object-oriented programs remains a challenge. This paper discusses the impact of concurrency on the use and meaning of behavioural specifications, and in particular on method contracts and class invariants. Atomicity of methods is often advocated as a solution to the problem of verification of multithreaded ...
Huisman, Marieke, Hurlin, Clément
openaire +1 more source
Surface‐Engineered Solar‐Driven Interfacial Evaporation: Innovations and Challenges
Advanced Materials Interfaces, EarlyView.This review summarizes the fundamental principles of solar‐driven evaporation and presents methodologies for evaluating key performance parameters. Particular attention is given to the design of surface‐engineered evaporators, especially those incorporating polyelectrolyte‐modified interfaces to enhance water activation.
Xiayun Huang +4 more
wiley +1 more source
Concurrency Issues in Object-Oriented Programming Languages
, 1989 The integration of concurrent and object-oriented programming, although promising, presents problems that have not yet been fully explored. In this paper we attempt to identify issues in the design of concurrent object-oriented languages that must be addressed to achieve a satisfactory integration of concurrency in the object-oriented framework.
openaire +1 more source
4D Bioprinted Self‐Folding Scaffolds Enhance Cartilage Formation in the Engineering of Trachea
Advanced Materials Technologies, Volume 10, Issue 6, March 18, 2025.A bilayer self‐folding scaffold, triggerable by humidity, is fabricated via 4D bioprinting for trachea engineering. An analytical model is derived to predict its radius of curvature, enabling its scalability. Cartilage progenitor cells seeded on the scaffold perceive scaffold final curvature and react to it, by enhancing the upregulation of pro ...
Irene Chiesa +4 more
wiley +1 more source
DBScope as a versatile computational toolbox for the visualization and analysis of sensing data from deep brain stimulation. [PDF]
NPJ Parkinsons DisOliveira AM +6 more
europepmc +1 more source
Miniaturized Devices for On‐the‐Spot Generation of Small‐Diameter Vascular Grafts
Advanced Materials Technologies, EarlyView.An intracorporeal extrusion device is developed for on‐the‐spot generation of vascular grafts with tunable diameters spanning from 1 to 6 mm. The device uses biomimetic polymers and light, to promptly obtaining biocompatible and high‐burst pressure‐resistant grafts.
Deyanira Hernandez‐Sanchez +11 more
wiley +1 more source
Object-oriented concurrent programming ABCL/1 [PDF]
, 1986 Akinori Yonezawa +2 more
openalex +1 more source
Silicon‐Integrated Next‐Generation Plasmonic Devices for Energy‐Efficient Semiconductor Applications
Advanced Materials Technologies, EarlyView.Silicon (Si)‐integrated plasmonics offer a pathway to next‐generation, energy‐efficient semiconductor applications. This review highlights advances using complementary metal–oxide–semiconductor (CMOS)‐compatible materials like transparent conductive oxides and novel architectures, particularly coupled hybrid plasmonic waveguides (CHPWs).
Nasir Alfaraj, Amr S. Helmy
wiley +1 more source
Analysis-ready VCF at Biobank scale using Zarr [PDF]
GigascienceCzech E +15 more
europepmc +2 more sources
Honey bee inspired resource allocation scheme for IoT-driven smart healthcare applications in fog-cloud paradigm. [PDF]
PeerJ Comput SciAkram A +4 more
europepmc +1 more source