Results 41 to 50 of about 4,058 (161)
Register‐Based and Stack‐Based Virtual Machines: Which Perform Better in JIT Compilation Scenarios?
Software: Practice and Experience, Volume 55, Issue 11, Page 1896-1910, November 2025.ABSTRACT Background Just‐In‐Time (JIT) compilation plays a critical role in optimizing the performance of modern virtual machines (VMs). While the architecture of VMs–register‐based or stack‐based–has long been a subject of debate, empirical analysis focusing on JIT compilation performance is relatively sparse. Objective In this study, we aim to answer
Bohuslav Šimek +2 more
wiley +1 more source
, 2005 We report on the status of our project of parallelization of the symbolic manipulation program FORM. We have now parallel versions of FORM running on Cluster- or SMP-architectures.
Baikov +10 more
core +1 more source
The Economic History Review, Volume 78, Issue 4, Page 1068-1087, November 2025.Abstract Sustained long‐distance trade in the early modern era necessitated institutional mechanisms capable of solving three interrelated challenges: the need to mobilize an unprecedented volume of capital and to lock it in for long periods of time, ways of mitigating the principal–agent problem across continents, and methods to internalize and ...
Juan José Rivas Moreno
wiley +1 more source
Do Snow‐Adapted Prey Facilitate Coexistence of the Sierra Nevada Red Fox With Sympatric Carnivores?
Molecular Ecology, Volume 34, Issue 20, October 2025.ABSTRACT Specialist species in alpine ecosystems may be increasingly threatened by climate‐driven habitat loss and encroachment by generalist competitors. Ecological theory predicts that niche differentiation through dietary specialisation can facilitate coexistence with generalist competitors.
Grace Rosburg‐Francot +5 more
wiley +1 more source
Predicate Abstraction with Indexed Predicates [PDF]
, 2004 Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Bryant, Randal E., Lahiri, Shuvendu K.
core
Open‐source AI at scale: Establishing an enterprise AI strategy through modular frameworks
AI Magazine, Volume 46, Issue 3, Fall 2025.Abstract We present a comprehensive enterprise AI strategy developed within the AI Center of Excellence at Fidelity Investments, emphasizing the strategic integration of open‐source AI frameworks into scalable, modular, and reproducible enterprise‐grade solutions.
Serdar Kadıoğlu
wiley +1 more source
DCIM: Distributed Cache Invalidation Method for Maintaining Cache Consistency in Wireless Mobile Networks [PDF]
IEEE Transactions on Mobile Computing, 2013 This paper proposes distributed cache invalidation mechanism (DCIM), a client-based cache consistency scheme that is implemented on top of a previously proposed architecture for caching data items in mobile ad hoc networks (MANETs), namely COACS, where special nodes cache the queries and the addresses of the nodes that store the responses to these ...
Kassem Fawaz, Hassan Artail
openaire +1 more source
The Journal of World Intellectual Property, Volume 28, Issue 2, Page 428-470, July 2025.Abstract Over the past decade, the Nigerian government has sought to leverage Artificial Intelligence (AI) to drive socio‐economic transformation and improve the welfare of its citizenry. Recent initiatives, such as the establishment of the National Centre for AI and Robotics (NCAIR) and the development of several strategic AI policies, highlight the ...
Morris K. Odeh
wiley +1 more source
Expert Systems, Volume 42, Issue 6, June 2025.ABSTRACT This article presents the architecture, design and validation of a microservice orchestration approach that improves the flexibility of heterogeneous microservice‐based platforms. Improving user experience and interaction for time‐critical applications are aspects that were primary objectives for the design of the architecture.
Daniela Delinschi +4 more
wiley +1 more source
Real‐time procedural resurfacing using GPU mesh shader
Computer Graphics Forum, Volume 44, Issue 2, May 2025.Abstract Real‐time rendering of complex environments and detailed objects is challenging due to the geometric generation cost and its associated memory requirements. Traditional methods often rely on precomputed procedural details, limiting flexibility and realtime interaction.
Josué Raad +4 more
wiley +1 more source