Results 21 to 30 of about 1,185 (184)

A semantics for multiprocessor systems [PDF]

, 1992
In this paper we present a multiprocessor semantics for CCS [Mil80]. An operational semantics for processes under a finite number of processors is developed. The effect of adding or removing processors from the system is studied. A notion of strong bisimulation induced by the new semantics is defined. Issues related to a complete axiomatization of this
openaire   +1 more source

FMP3+TECS/Rust: Memory-Safe Component Framework for Multiprocessor Embedded Systems

IEEE Open Journal of the Industrial Electronics Society
In recent years, embedded systems have become indispensable across a wide range of domains, including automotive and internet of things (IoT) applications.
Nao Yoshimura, Hiroshi Oyama, Takuya Azumi   +2 more
doaj   +1 more source

Three Processor Allocation Approaches towards EDF Scheduling for Performance Asymmetric Multiprocessors

Applied Sciences, 2023
With the rapid development of high-performance computing and parallel computing technology, by virtue of its cost-effectiveness, strong scalability, and easy programming, the multiprocessor system has gradually become the mainstream computing platform ...
Peng Wu, Zhi Li, Tao Yan, Yingchun Li
doaj   +1 more source

Low-energy Scheduling Algorithms for Wearable Fall Pre-impact Detection System [PDF]

Journal of Systemics, Cybernetics and Informatics, 2013
In this paper, novel low-energy static and dynamic scheduling algorithms with low computational complexities for heterogeneous multiprocessor systems are proposed.
M.N. Nyan, Francis E.H. Tay, D Guo, L Xu, K.L. Yap, L.K. Goh, B. Veeravalli   +6 more
doaj  

Operating System for Runtime Reconfigurable Multiprocessor Systems

International Journal of Reconfigurable Computing, 2011
Operating systems traditionally handle the task scheduling of one or more application instances on processor-like hardware architectures. RAMPSoC, a novel runtime adaptive multiprocessor System-on-Chip, exploits the dynamic reconfiguration on FPGAs to ...
Diana Göhringer, Michael Hübner, Etienne Nguepi Zeutebouo, Jürgen Becker   +3 more
doaj   +1 more source

Features of development and analysis of the simulation model of a multiprocessor computer system

Открытое образование (Москва), 2017
Over the past decade, multiprocessor systems have been applied in computer technology. At present,multi-core processors are equipped not only with supercomputers, but also with the vast majority of mobile devices.
O. M. Brekhov, G. A. Zvonareva, V. V. Ryabov   +2 more
doaj   +1 more source

Optimization of Batch Centralized Health Examination Scheduling Considering Inter‐Item Transition Time and Sex Differences: An Empirical Optimization Study

Health Science Reports, Volume 9, Issue 8, August 2026.
ABSTRACT Background and Aims With increasing health awareness among Chinese residents, the demand for health examinations has continued to grow, placing mounting pressure on hospitals and health examination centers. This problem is particularly evident in group batch health examinations, where a large instantaneous flow of examinees and numerous ...
Mengdi Lv, Xiaoming Zhao, Fangxu Sun, Yang Kong, Xin Wang   +4 more
wiley   +1 more source

METHOD OF DECREASING NUMBER OF MUTUAL TESTING DURING SELF-TESTING OF MULTIPROCESSOR SYSTEMS

Радіоелектронні і комп'ютерні системи, 2018
The subject matter of this article is the testing processes in multiprocessor systems, first of all - fault-tolerant control systems, when the number m of allowed failures from n processors is known in advance and is limited.
Виталий Алексеевич Романкевич, Алексей Витальевич Романкевич, Дарина Натиговна Ахмедова   +2 more
doaj   +1 more source

Bathymetry Prediction With SWOT Gravity Anomaly Using Machine Learning Methods: Paper 1–Model Development

Journal of Geophysical Research: Solid Earth, Volume 131, Issue 8, August 2026.
Abstract Only one quarter of the global ocean floor has been directly surveyed; the remaining three quarters are inferred from satellite altimeter‐derived gravity data using techniques developed in the 1990s. These classical methods correlate gravity anomalies with known depths and extrapolate bathymetry in unsounded regions.
David Sandwell, Benjamin J. Phrampus, Farshad Salajegheh, Bjarke Nilsson, Biao Lu, Yao Yu, Hugh Harper, Ole B. Andersen, Walter Smith, Paul Elmore, Jonathan Kirby, James Beale, Jamie Roberts, Luis Altamirano   +13 more
wiley   +1 more source

TASK OPTIMISATION IN MULTIPROCESSOR EMBEDDED SYSTEMS

Компютерні системи та інформаційні технології
In this work, a task execution optimization method using replication in a multiprocessor system has been developed. This method effectively minimizes the overall execution time, ensures load balancing, and reduces communication delays.
Дмитро МАРТИНЮК, Олексій ЛИГУН, Андрій ДРОЗД, Олексій БЕСЄДОВСЬКИЙ   +3 more
doaj   +1 more source