Results 261 to 270 of about 275,247 (311)
Incremental analysis for generalized TODIM
Central European Journal of Operations Research, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yuan-Sheng Lee, Hsu-Shih Shih
openaire +3 more sources
Incremental Analysis for Probabilistic Programs
, 2017 This paper presents Icpp, a new data-flow-based InCremental analysis for Probabilistic Programs, to infer their posterior probability distributions in response to small yet frequent changes to probabilistic knowledge, i.e., prior probability distributions and observations.
Jieyuan Zhang, Yulei Sui, Jingling Xue
openaire +2 more sources
An algorithm for incremental timing analysis
Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95, 1995 In recent years, many new algorithms have been proposed for performing a complete timing analysis of sequential logic circuits. In this paper, we present an incremental timing analysis algorithm. When an incremental design change is made on the logic network, this algorithm will identify the portion of design for which the timing is affected, and ...
Jin-Fuw Lee, Donald T. Tang
openaire +2 more sources
Incremental data-flow analysis algorithms
ACM Transactions on Programming Languages and Systems, 1988 An incremental update algorithm modifies the solution of a problem that has been changed, rather than re-solving the entire problem. ACINCF and ACINCB are incremental update algorithms for forward and backward data-flow analysis, respectively, based on our equations model of Allen-Cocke interval analysis. In addition, we have studied their
Ryder, Barbara G., Paull, Marvin C.
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
An incremental analysis to workflow specifications
12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005Workflow management technology helps modulizing and controlling complex business processes within an enterprise. Generally speaking, a workflow management system (WfMS) is composed of two primary components, a design environment and a run-time system. Structural, timing and resource verifications of a workflow specification are required to help assure ...
Hwai-Jong Hsu +2 more
openaire +1 more source
Incremental data dependence analysis
Proceedings of 3rd International Conference on High Performance Computing (HiPC), 2002Under the existing framework for dependence analysis, every time a program is modified, exhaustive reanalysis has to be carried out to restructure the program. Often the changes in the program may be limited to a small portion. This may not affect a major part of the value based dependences.
K. V. Praveen +2 more
openaire +1 more source
Commit-time incremental analysis
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2019Most changes to large systems that have been deployed are quite small compared to the size of the entire system. While standard summary-based analyses reduce the code that is re-analysed, they, nevertheless, analyse code that is not changed. For example, a backward summary-based analysis, will examine all the callers of the changed code even if the ...
Krishnan, Padmanabhan +3 more
openaire +3 more sources
Incremental reflexion analysis
Journal of Software: Evolution and Process, 2010SUMMARYArchitecture conformance checking is implemented in many commercial and research tools. These tools typically implement the reflexion analysis originally proposed by Murphy, Notkin, and Sullivan. This analysis allows for structural validation of an architecture model against a source model connected by a mapping from source entities onto ...
openaire +1 more source
Incremental switch-level analysis
IEEE Design & Test of Computers, 1988An algorithm is presented for extracting a two-level subnetwork hierarchy from flat netlists. They discuss the application of this algorithm to incremental circuit analysis in the Cosmos compiled switch-level simulator. The algorithm decreases the network preprocessing time for Cosmos by nearly an order of magnitude.
Derek L. Beatty, Randal E. Bryant
openaire +1 more source
ANALYSIS OF THE INCREMENTAL TUNER
IFAC Proceedings Volumes, 1992Abstract The tuning of PI(D) controllers is an issue that is always returning to the attention of researchers due to the wide spread use of those controllers. In a previous paper an incremental tuner was presented, based on the incremental pole placement adaptive controller.
openaire +1 more source