Results 21 to 30 of about 552,801 (329)
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
Российский технологический журнал, 2022 Objectives. In view of the currently expanding practice of applying methods for configuring ontologies of designing information processes and systems, information technology (IT) specialists need to disclose the definition of such a new concept as ...
R. G. Bolbakov +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
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
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
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
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
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
Comparative study of denoising techniques for 5G communication at 3.5 GHz
Proceedings of the Nigerian Society of Physical SciencesThis paper presents a comparative study of denoising techniques for improving 5G communication at 3.5GHz. A 5G system is simulated in MATLAB with thermal noise, intermodulation noise, and external interference.
Seyi Olukanni +3 more
doaj +1 more source