A Hierarchical and Abstraction-Based Blockchain Model
Applied Sciences, 2019 In the nine years since its launch, amid intense research, scalability is always a serious concern in blockchain, especially in case of large-scale network generating huge number of transaction-records. In this paper, we propose a hierarchical blockchain
Swagatika Sahoo +3 more
doaj +1 more source
Abstract Interpretation for Probabilistic Termination of Biological Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 In a previous paper the authors applied the Abstract Interpretation approach for approximating the probabilistic semantics of biological systems, modeled specifically using the Chemical Ground Form calculus.
Roberta Gori, Francesca Levi
doaj +1 more source
Faster numeric static analyses with unconstrained variable oracles [PDF]
PeerJ Computer ScienceIn the context of static analysis based on abstract interpretation, we propose a lightweight pre-analysis step which is meant to suggest, at each program point, which program variables are likely to be unconstrained for a specific class of numeric ...
Vincenzo Arceri +3 more
doaj +2 more sources
Accelerating Data Dependence Profiling Through Abstract Interpretation of Loop Instructions
IEEE Access, 2022 Data dependence analysis is a must-do operation for parallelisation since it reveals the safe parallelisable regions of serial codes. Generally, it relies on dynamic analysis, which incurs substantial execution time and memory space overheads.
Mostafa Abbas +4 more
doaj +1 more source
Enabling Type Checking on Columns in Data Frame Libraries by Abstract Interpretation
IEEE Access, 2022 Data frames are a tabular data structure widely used in transforming data to an appropriate form in data analysis, especially in data wrangling. However, when data frames are implemented with libraries rather than supported at the language level, it is ...
Yungyu Zhuang, Ming-Yang Lu
doaj +1 more source
The quotient of an abstract interpretation
Theoretical Computer Science, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CORTESI A. +2 more
openaire +2 more sources
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper we provide a survey on the framework of abstract non-interference. In particular, we describe a general formalization of abstract non-interference by means of three dimensions (observation, protection and semantics) that can be instantiated
Isabella Mastroeni
doaj +1 more source
IR-Level Dynamic Data Dependence Using Abstract Interpretation Towards Speculative Parallelization
IEEE Access, 2020 Recently, with the wide usage of multicore architectures, automatic parallelization has become a pressing issue. Speculative parallelization, one of the most popular automatic parallelization techniques, depends on estimating probably-parallelized code ...
Rasha Omar, Ahmed El-Mahdy, Erven Rohou
doaj +1 more source
Abstract Interpretation of Microcontroller Code: Intervals meet Congruences [PDF]
, 2013 Bitwise instructions, loops and indirect data access present challenges to the verification of microcontroller programs. In particular, since registers are often memory mapped, it is necessary to show that an indirect store operation does not accidently ...
Brauer, Jorg +2 more
core +1 more source
Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality relation ...
Masanao Ozawa
doaj +1 more source