Results 11 to 20 of about 275,247 (311)
Incremental analysis of constraint logic programs [PDF]
ACM Transactions on Programming Languages and Systems, 2000 Global analyzers traditionally read and analyze the entire program at once, in a nonincremental way. However, there are many situations which are not well suited to this simple model and which instead require reanalysis of certain parts of a program which has already been analyzed.
Hermenegildo, Manuel V. +3 more
openaire +4 more sources
A multi-domain incremental analysis engine and its application to incremental resource analysis
Theoretical Computer Science, 2015 The aim of incremental analysis is, given a program, its analysis results, and a series of changes to the program, to obtain the new analysis results as eficiently as possible and, ideally, without having to (re-)analyze fragments of code which are not affected by the changes.
Elvira Albert +3 more
openaire +5 more sources
Incremental enamel and dentine isotopic data of faunal remains from the United Kingdom
Data in Brief, 2022 This paper collates previously published data from incremental isotopic studies performed on faunal remains found within the modern boundaries of the United Kingdom (UK).
Jacob I. Griffith +3 more
doaj +1 more source
Innovative method for incremental dynamic analysis curves in semi-isolated bridges
Građevinar, 2023 This paper proposes an innovative method for determining the approximate incremental dynamic analysis curves of semi-isolated bridges, including the derivation of statistical mathematical formulas. Ultimately, an innovative method is devised based on the
Hamid Ganjehei +2 more
doaj +1 more source
An Incremental Economic Analysis of Establishing Early Successional Habitat for Biodiversity
Resources, 2017 Early successional habitat (ESH) is an important component of natural landscapes and is crucial to maintaining biodiversity. ESH also impacts endangered species.
Slayton W. Hazard-Daniel +3 more
doaj +1 more source
Incremental Canonical Correlation Analysis
Applied Sciences, 2020 Canonical correlation analysis (CCA) is a kind of a simple yet effective multiview feature learning technique. In general, it learns separate subspaces for two views by maximizing their correlations.
Hongmin Zhao, Dongting Sun, Zhigang Luo
doaj +1 more source
Simplified numerical approach for incremental sheet metal forming process [PDF]
, 2014 The current work presents a finite element approach for numerical simulation of the incremental sheet metal forming (ISF) process, called here ‘‘ISF-SAM’’ (for ISF-Simplified Analysis Modelling).
BATOZ, Jean-Louis +4 more
core +1 more source
IEEE Access, 2021 This paper addresses the problems of exponentially quasi-incremental-(Q, S, R)-dissipativity and practically incremental stability analysis for a switched nonlinear system.
Hongbo Pang, Shuo Liu
doaj +1 more source
Incremental Confined Types Analysis [PDF]
Electronic Notes in Theoretical Computer Science, 2006 Research related to alias protection and related concepts, such as, confined types and ownership types has a long tradition and is a promising concept for the design and implementation of more reliable and secure software. Unfortunately, the use of these concepts is not widespread as most implementations are proofs of concept and fall short with ...
Michael Eichberg +4 more
openaire +1 more source
Incremental resource usage analysis [PDF]
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation, 2012 The aim of incremental global analysis is, given a program, its analysis results and a series of changes to the program, to obtain the new analysis results as efficiently as possible and, ideally, without having to (re-)analyze fragments of code which are not affected by the changes.
Elvira Albert +3 more
openaire +1 more source