Results 21 to 30 of about 545,156 (279)
Proceedings of the 48th International Symposium on Microarchitecture, 2015 Multi-megabyte instruction working sets of server workloads defy the capacities of latency-critical instruction-supply components of a core; the instruction cache (L1-I) and the branch target buffer (BTB). Recent work has proposed dedicated prefetching techniques aimed separately at L1-I and BTB, resulting in high metadata costs and/or only modest ...
Cansu Kaynak, Boris Grot, Babak Falsafi
openaire +1 more source
Decreasing Diagrams for Confluence and Commutation
, 2020 Like termination, confluence is a central property of rewrite systems. Unlike for termination, however, there exists no known complexity hierarchy for confluence.
Endrullis, Jörg +2 more
core +2 more sources
Aeromagnetic delineation of iron ore deposits in a complex geological terrain aided by fuzzy logic
Geosystems and GeoenvironmentThe discovery of iron ore deposits is crucial for Nigeria’s economic diversification. However, the Nigerian Bida Basin’s complex geology, extensive overburden, disputed stratigraphic boundaries and limited surface exposure hinder traditional geological ...
Fahad Abubakar +3 more
doaj +1 more source
Labelings for Decreasing Diagrams [PDF]
, 2014 This article is concerned with automating the decreasing diagrams technique of van Oostrom for establishing confluence of term rewrite systems. We study abstract criteria that allow to lexicographically combine labelings to show local diagrams decreasing.
Felgenhauer, Bertram +2 more
core +2 more sources
Proceedings of the Nigerian Society of Physical SciencesGold mineral prospectivity mapping is crucial for identifying potential gold-bearing zones and supporting exploration efforts through advanced data analytics.
Momohjimoh Abdulsalami +4 more
doaj +1 more source
Confluence of meromorphic solutions of q-difference equations [PDF]
, 2015 In this paper, we consider a q-analogue of the Borel-Laplace summation where q>1 is a real parameter. In particular, we show that the Borel-Laplace summation of a divergent power series solution of a linear differential equation can be uniformly ...
Dreyfus, Thomas
core +2 more sources
Unsteady dean flow of dusty fluids between two oscillating cylinders
Proceedings of the Nigerian Society of Physical SciencesThis study investigates the unsteady Dean flow of dusty, viscous, incompressible fluids confined between two oscillating concentric horizontal cylinders under a semi-analytical framework based on Laplace transformation, which is preferred over fully ...
Jibrin Danjuma Yahaya +6 more
doaj +1 more source
, 2016 Confluence in abstract parallel category systems is established for net class-rewriting in iterative closed multilevel quotient graph structures with uncountable node arities by multi-dimensional transducer operations in topological metrics defined by ...
Tirri, Seppo Ilari
core +2 more sources
Confluence and the Neo-Victorian in Dickensian
Études Britanniques Contemporaines, 2017 Charles Dickens's work is a favourite for screen and TV adaptations even though the latter tend to be deemed conservative. These adaptations however focus normally on one particular novel.
Armelle Parey
doaj +1 more source
A novel malaria mathematical model: integrating vector and non-vector transmission pathways
BMC Infectious DiseasesBackground Malaria remains one of the most significant global health challenges, particularly in tropical and subtropical regions. Despite ongoing control efforts, malaria transmission persists due to complex biological, environmental, and socio-economic
Emmanuel Akowe +6 more
doaj +1 more source