Results 21 to 30 of about 3,212 (267)
Program Equivalence in the Erlang Actor Model
ComputersThis paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have different ...
Péter Bereczky +2 more
doaj +1 more source
IoT Anomaly Detection with 1D CNN Using P4 Capabilities
Acta Electrotechnica et Informatica, 2023 Although the Internet of Things (IoT) is a rapidly developing technology, it also brings a number of security challenges, such as IoT attacks. Currently, research on IoT anomaly detection in Software-Defined Networking (SDN) relies only on the control ...
Altangerel Gereltsetseg +2 more
doaj +1 more source
CoRR, 2000 Abduction is one of the most important forms of reasoning; it has been successfully applied to several practical problems such as diagnosis. In this paper we investigate whether the computational complexity of abduction can be reduced by an appropriate use of preprocessing. This is motivated by the fact that part of the data of the problem (namely, the
LIBERATORE, Paolo, SCHAERF, Marco
openaire +4 more sources
Applied SciencesIn this paper, I propose Yul2Vec, a novel method for representing Yul programs as distributed embeddings in continuous space. Yul serves as an intermediate language between Solidity and Ethereum Virtual Machine (EVM) bytecode, designed to enable more ...
Krzysztof Fonał
doaj +1 more source
COMPARATIVE ANALYSIS OF SIMULATION SYSTEM FOR TEACHING COMPILERS
BizInfo, 2019 This paper analyses simulation systems for teaching compilers, represents their technical characteristics and topics addressed, their benefits in the teaching process, and the advantages and disadvantages of each simulator analyzed.
Srećko Stamenković, Nenad Jovanović
doaj +1 more source
Journal of Chinese Humanities, 2022 The canonization of Li Bai and Du Fu’s poetry occurred over a period that spanned centuries and dynasties. The treatment of Li Bai and Du Fu’s works differed through the ages.
Fang Fang Ding (丁放) Ding
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Central nervous system (CNS) involvement in childhood acute lymphoblastic leukemia (ALL) is assessed by cell counting and cytomorphology from cerebrospinal fluid (CSF) and is used for treatment stratification worldwide. The ratio of “CNS2” patients in clinical trials ranges from 3% to 40%, with unclear prognostic significance ...
Laura Almási +14 more
wiley +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Therapeutic apheresis (TA) is an established treatment modality for hematologic, neurologic, and immunologic disorders, yet access remains severely limited in sub‐Saharan Africa. Donor apheresis, including platelet apheresis collection from healthy donors, represents an important complementary modality supporting blood product ...
Nosa Bazuaye +33 more
wiley +1 more source
Code Detection for Hardware Acceleration Using Large Language Models
IEEE AccessLarge language models (LLMs) have been massively applied to many tasks, often surpassing state-of-the-art approaches. While their effectiveness in code generation has been extensively studied (e.g., AlphaCode), their potential for code detection remains ...
Pablo Antonio Martinez +2 more
doaj +1 more source
An Advanced Compiler Designed for a VLIW DSP for Sensors-Based Systems
Sensors, 2012 The VLIW architecture can be exploited to greatly enhance instruction level parallelism, thus it can provide computation power and energy efficiency advantages, which satisfies the requirements of future sensor-based systems.
Hu He, Xu Yang
doaj +1 more source