Results 111 to 120 of about 3,227,937 (329)
Formalizing Real-Time Embedded System into Promela
We propose an alternative of formalization of the real-time embedded system into Promela model. The proposed formal model supports the essential features of the real-time embedded system, including system resource-constrained handling, task ...
Sukvanich Punwess +2 more
doaj +1 more source
RIDE: real-time massive image processing platform on distributed environment
As the demand for real-time data processing increases, a high-speed processing platform for large-scale stream data becomes necessary. For fast processing large-scale stream data, it is essential to use multiple distributed nodes. So far, there have been
Yoon-Ki Kim +2 more
doaj +1 more source
A step‐efficient stateful logic architecture is demonstrated using a fabricated 32 × 32 memristor crossbar array, enabling parallel n‐bit full adder operations directly in memory. By optimizing load resistance and voltage configurations, the circuit achieves reliable NIMP, AND, and OR logic operations with minimized computational steps, enhanced ...
Jinwoo Park +3 more
wiley +1 more source
The U‐shaped electromembrane extraction with liquid chromatography‐mass spectrometry enables rapid multiclass pesticide screening in soil. The 15 min, low‐solvent workflow achieves high recoveries and robust linearity, while AGREEprep and GAPI assessments highlight a greener profile compared to literature reports, which represents a smart strategy for ...
Rafael O. Martins +9 more
wiley +1 more source
Exploiting nested task-parallelism in the H-LU factorization [PDF]
Rocío Carratalá-Sáez +5 more
semanticscholar +1 more source
Analysis of cranial endocast data of 181 extant and 41 fossil species from Euarchontoglires shows that there was a reduction in olfactory bulb size in Crown Primates, but that there were also subsequent reductions in various other primate clades (Anthropoidea, Catarrhini, Platyrrhini, crown Cercopithecoidea, Hominoidea).
Madlen Maryanna Lang +6 more
wiley +1 more source
Background RNA structure prediction problem is a computationally complex task, especially with pseudo-knots. The problem is well-studied in existing literature and predominantly uses highly coupled Dynamic Programming (DP) solutions.
Veeravalli Bharadwaj +2 more
doaj +1 more source
Abstract The study of morphological evolution is fundamentally tied to ontogeny, yet studies of these heterochronic processes in the fossil record are rare. Fossils belonging to an ontogenetic series are difficult to assign to an ontogenetic stage due to inconsistent proxies for skeletal ages, challenging to taxonomically assign due to morphological ...
Erika R. Goldsmith, Michelle R. Stocker
wiley +1 more source
A Survey on Task Scheduling Algorithms in Cloud Computing for Fast Big Data Processing
The recent explosion of data of all kinds (persistent and short-lived) have imposed processing speed constraints on big data processing systems (BDPSs).
Zahra Jalalian, Mohsen Sharifi
doaj
Benefit Corporations: The Moral Legitimacy That Requires More Rules
ABSTRACT This study examines why Italian for‐profit firms convert to Benefit Corporation status and how they navigate the ensuing hybridization. Survey data from 118 companies are interpreted through a pragmatic and moral legitimacy lens. Results show that the main trigger is pragmatic legitimacy: managers seek to strengthen trust with internal and ...
Laura Rocca +3 more
wiley +1 more source

